Update.

emina · Jul 15, 2023 · d0fd3f6 · d0fd3f6
1 parent 76bdd82
commit d0fd3f6
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/cv.html b/cv.html
@@ -120,7 +120,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="depsynth:ecoop23">Jacob Van Geffen, Xi Wang, Emina Torlak, and James Bornholt. Synthesis-Aided Crash Consistency for Storage Systems. ECOOP, 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>
 <li id="jitterbug:osdi20">Luke Nelson, Jacob Van Geffen, Emina Torlak, and Xi Wang. <a href="https://www.usenix.org/conference/osdi20/presentation/nelson">Specification and verification in the field: Applying formal methods to BPF just-in-time compilers in the Linux kernel</a>. OSDI, 2020.</li>
@@ -361,7 +361,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 3 Jul 2023.</footer>
+<footer>&copy; Emina Torlak. All rights reserved. Built with <a href="https://docs.racket-lang.org/pollen/">Pollen</a>. Last updated 15 Jul 2023.</footer>
 
 </body>
 </html>
diff --git a/index.html b/index.html
@@ -52,7 +52,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 4 Jul 2023.</footer>
+<footer>&copy; Emina Torlak. All rights reserved. Built with <a href="https://docs.racket-lang.org/pollen/">Pollen</a>. Last updated 15 Jul 2023.</footer>
 
 </body>
 </html>
-Original file line number
+Diff line change
@@ Expand Up / @@ -52,7 +52,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 4 Jul 2023.</footer>
+    <footer>&copy; Emina Torlak. All rights reserved. Built with <a href="https://docs.racket-lang.org/pollen/">Pollen</a>. Last updated 15 Jul 2023.</footer>
     </body>
     </html>