Skip to content

Commit

Permalink
Update.
Browse files Browse the repository at this point in the history
  • Loading branch information
emina committed Dec 31, 2023
1 parent 3d3560a commit 006045d
Show file tree
Hide file tree
Showing 2 changed files with 10 additions and 6 deletions.
14 changes: 9 additions & 5 deletions cv.html
Original file line number Diff line number Diff line change
Expand Up @@ -118,7 +118,7 @@ <h2 id="Publications">Publications</h2>

<h3 id="Conference_and_Journal_Papers">Conference and Journal Papers</h3>
<ol>
<li id="prettyprinter:oopsla23">Sorawee Porncharoenwase, Justin Pombrio, and Emina Torlak. A pretty expressive printer. OOPSLA, 2023.</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>
<li id="rosette:popl22">Sorawee Porncharoenwase, Luke Nelson, Xi Wang, and Emina Torlak. <a href="https://doi.org/10.1145/3498709">A formal foundation for symbolic evaluation with merging</a>. POPL, 2022.</li>
Expand Down Expand Up @@ -183,6 +183,10 @@ <h3 id="Patents_and_Theses">Patents and Theses</h3>
<h2 id="Service">Service</h2>
<table>
<tr>
<td>PLDI, <strong>Area Chair</strong></td>
<td>2024</td>
</tr>
<tr>
<td>The Dahl–Nygaard Prize Committee, Member</td>
<td>2024</td>
</tr>
Expand Down Expand Up @@ -343,19 +347,19 @@ <h2 id="Students">Students</h2>
<h2 id="Teaching">Teaching</h2>
<table>
<tr>
<td><a href="https://courses.cs.washington.edu/courses/cse507/">CSE 507: Computer-Aided Reasoning for Software</a></td>
<td><a href="https://courses.cs.washington.edu/courses/cse507/21au/">CSE 507: Computer-Aided Reasoning for Software</a></td>
<td>2014&ndash;2021</td>
</tr>
<tr>
<td><a href="https://courses.cs.washington.edu/courses/cse311/">CSE 311: Foundations of Computing I</a></td>
<td><a href="https://courses.cs.washington.edu/courses/cse311/20sp/">CSE 311: Foundations of Computing I</a></td>
<td>2018&ndash;2020</td>
</tr>
<tr>
<td><a href="https://courses.cs.washington.edu/courses/cse403/">CSE 403: Software Engineering</a></td>
<td>2015&ndash;2016</td>
</tr>
<tr>
<td><a href="https://courses.cs.washington.edu/courses/cse599a2/">CSE 599 A2: Advanced Computer-Aided Reasoning for Software</a></td>
<td><a href="https://courses.cs.washington.edu/courses/cse599a2/15wi/">CSE 599 A2: Advanced Computer-Aided Reasoning for Software</a></td>
<td>2015</td>
</tr>
<tr>
Expand All @@ -364,7 +368,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 1 Oct 2023.</footer>
<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>

</body>
</html>
2 changes: 1 addition & 1 deletion index.html
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 1 Oct 2023.</footer>
<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>

</body>
</html>

0 comments on commit 006045d

Please sign in to comment.