Skip to content

Commit

Permalink
Update papers.
Browse files Browse the repository at this point in the history
  • Loading branch information
@emina
emina committed Mar 23, 2024
1 parent 006045d commit 310663e
Show file tree
Hide file tree
Showing 2 changed files with 9 additions and 8 deletions.
15 changes: 8 additions & 7 deletions cv.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -77,19 +77,19 @@ <h2 id="Awards">Awards</h2>
<td>2020</td>
</tr>
<tr>
<td>ASE Distinguished Paper Award [<a href="#solar:ase20">7</a>]</td>
<td>ASE Distinguished Paper Award [<a href="#solar:ase20">8</a>]</td>
<td>2020</td>
</tr>
<tr>
<td>SOSP Best Paper and Distinguished Artifact Awards [<a href="#serval:sosp19">10</a>]</td>
<td>SOSP Best Paper and Distinguished Artifact Awards [<a href="#serval:sosp19">11</a>]</td>
<td>2019</td>
</tr>
<tr>
<td>OOPSLA Distinguished Artifact Award [<a href="#sympro:oopsla18">12</a>]</td>
<td>OOPSLA Distinguished Artifact Award [<a href="#sympro:oopsla18">13</a>]</td>
<td>2018</td>
</tr>
<tr>
<td>ICSE Distinguished Paper Award [<a href="#daisy:icse18">14</a>]</td>
<td>ICSE Distinguished Paper Award [<a href="#daisy:icse18">15</a>]</td>
<td>2018</td>
</tr>
<tr>
Expand All @@ -105,11 +105,11 @@ <h2 id="Awards">Awards</h2>
<td>2016</td>
</tr>
<tr>
<td>OSDI Best Paper Award [<a href="#yggy:osdi16">23</a>]</td>
<td>OSDI Best Paper Award [<a href="#yggy:osdi16">24</a>]</td>
<td>2016</td>
</tr>
<tr>
<td>FSE Distinguished Paper Award [<a href="#testblox:fse12">41</a>]</td>
<td>FSE Distinguished Paper Award [<a href="#testblox:fse12">42</a>]</td>
<td>2012</td>
</tr>
</table>
Expand All @@ -118,6 +118,7 @@ <h2 id="Publications">Publications</h2>

<h3 id="Conference_and_Journal_Papers">Conference and Journal Papers</h3>
<ol>
<li id="cedar:oopsla24">Joseph W. Cutler, Craig Disselkoen, Aaron Eline, Shaobo He, Kyle Headley, Michael Hicks, Kesha Hietala, Eleftherios Ioannidis, John Kastner, Anwar Mamat, Darin McAdams, Matt McCutchen, Neha Rungta, Emina Torlak, and Andrew Wells. <a href="https://arxiv.org/abs/2403.04651">Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization</a>. OOPSLA, 2024.</li>
<li id="prettyprinter:oopsla23">Sorawee Porncharoenwase, Justin Pombrio, and Emina Torlak. <a href="https://dl.acm.org/doi/abs/10.1145/3622837">A pretty expressive printer</a>. OOPSLA, 2023.</li>
<li id="depsynth:ecoop23">Jacob Van Geffen, Xi Wang, Emina Torlak, and James Bornholt. <a href="https://doi.org/10.4230/LIPIcs.ECOOP.2023.35">Synthesis-Aided Crash Consistency for Storage Systems</a>. ECOOP, 2023.</li>
<li id="xdsmith:issta22">Ahmed Irfan, Sorawee Porncharoenwase, Zvonimir Rakamaric, Neha Rungta, and Emina Torlak. <a href="https://dl.acm.org/doi/abs/10.1145/3533767.3534382">Testing Dafny (experience paper)</a>. ISSTA, 2022.</li>
Expand Down Expand Up @@ -368,7 +369,7 @@ <h2 id="Teaching">Teaching</h2>
</tr>
</table>

<footer>&copy; Emina Torlak. All rights reserved. Built with <a href="https://docs.racket-lang.org/pollen/">Pollen</a>. Last updated 31 Dec 2023.</footer>
<footer>&copy; Emina Torlak. All rights reserved. Built with <a href="https://docs.racket-lang.org/pollen/">Pollen</a>. Last updated 23 Mar 2024.</footer>

</body>
</html>
2 changes: 1 addition & 1 deletion index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -51,7 +51,7 @@ <h1>Emina Torlak</h1>
</ul>
</nav>

<footer>&copy; Emina Torlak. All rights reserved. Built with <a href="https://docs.racket-lang.org/pollen/">Pollen</a>. Last updated 31 Dec 2023.</footer>
<footer>&copy; Emina Torlak. All rights reserved. Built with <a href="https://docs.racket-lang.org/pollen/">Pollen</a>. Last updated 23 Mar 2024.</footer>

</body>
</html>

0 comments on commit 310663e

Please sign in to comment.