papers.html

<h3 class="mt-5">Publications by Faculty Member</h3>
  <ul>
    <li><a href="https://www.cis.upenn.edu/~alur/onlinepub.html">Rajeev Alur's publications</a></li>
    <li><a href="https://trustml.github.io/publications"> Osbert Bastani's publications</a> </li>
    <li><a href="https://www.cis.upenn.edu/~mhnaik/pubs.html">Mayur Naik's publications</a></li>
    <li><a href="https://www.cis.upenn.edu/~bcpierce/papers/index.shtml">Benjamin Pierce's publications</a></li>
    <li><a href="https://www.cis.upenn.edu/~sweirich/publications.html">Stephanie Weirich's publications</a></li>
    <li><a href="https://www.cis.upenn.edu/~stevez/papers/publications.html">Steve Zdancewic's publications</a></li>
  </ul>

<h3 class="mt-5">Combined Publications</h3>
<ul>
$for(papers)$
	<li>$body$</li>
$endfor$
</ul>