Update.

emina · Sep 20, 2024 · 99d8f55 · 99d8f55
1 parent 310663e
commit 99d8f55
Show file tree

Hide file tree

Showing 2 changed files with 17 additions and 18 deletions.
diff --git a/cv.html b/cv.html
@@ -77,19 +77,19 @@ <h2 id="Awards">Awards</h2>
 <td>2020</td>
 </tr>
 <tr>
-<td>ASE Distinguished Paper Award [<a href="#solar:ase20">8</a>]</td>
+<td>ASE Distinguished Paper Award [<a href="#solar:ase20">9</a>]</td>
 <td>2020</td>
 </tr>
 <tr>
-<td>SOSP Best Paper and Distinguished Artifact Awards [<a href="#serval:sosp19">11</a>]</td>
+<td>SOSP Best Paper and Distinguished Artifact Awards [<a href="#serval:sosp19">12</a>]</td>
 <td>2019</td>
 </tr>
 <tr>
-<td>OOPSLA Distinguished Artifact Award [<a href="#sympro:oopsla18">13</a>]</td>
+<td>OOPSLA Distinguished Artifact Award [<a href="#sympro:oopsla18">14</a>]</td>
 <td>2018</td>
 </tr>
 <tr>
-<td>ICSE Distinguished Paper Award [<a href="#daisy:icse18">15</a>]</td>
+<td>ICSE Distinguished Paper Award [<a href="#daisy:icse18">16</a>]</td>
 <td>2018</td>
 </tr>
 <tr>
@@ -105,11 +105,11 @@ <h2 id="Awards">Awards</h2>
 <td>2016</td>
 </tr>
 <tr>
-<td>OSDI Best Paper Award [<a href="#yggy:osdi16">24</a>]</td>
+<td>OSDI Best Paper Award [<a href="#yggy:osdi16">25</a>]</td>
 <td>2016</td>
 </tr>
 <tr>
-<td>FSE Distinguished Paper Award [<a href="#testblox:fse12">42</a>]</td>
+<td>FSE Distinguished Paper Award [<a href="#testblox:fse12">43</a>]</td>
 <td>2012</td>
 </tr>
 </table>
@@ -118,7 +118,8 @@ <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="vgd:fse24">Craig Disselkoen, Aaron Eline, Shaobo He, Kyle Headley, Michael Hicks, Kesha Hietala, John Kastner, Anwar Mamat, Matt McCutchen, Neha Rungta, Bhakti Shah, Emina Torlak, and Andrew Wells. <a href="https://doi.org/10.1145/3663529.3663854">How We Built Cedar: A Verification-Guided Approach</a>. FSE, 2024.</li>
+<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://dl.acm.org/doi/10.1145/3649835">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>
@@ -369,7 +370,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 23 Mar 2024.</footer>
+<footer>&copy; Emina Torlak. All rights reserved. Built with <a href="https://docs.racket-lang.org/pollen/">Pollen</a>. Last updated 19 Sep 2024.</footer>
 
 </body>
 </html>
diff --git a/index.html b/index.html
@@ -30,16 +30,14 @@ <h1>Emina Torlak</h1>
   </nav>
 </header>
 
-<p>
-My research aims to help people build better software more easily. I develop
+<p> My research aims to help people build better software more easily. I develop
 languages and tools for program verification and synthesis. I created <a href="https://emina.github.io/rosette/">Rosette</a>
-and <a href="https://emina.github.io/kodkod/">Kodkod</a>, and co-lead the development of <a href="https://www.cedarpolicy.com/en">Cedar</a> (with <a href="https://mhicks.me">Mike Hicks</a>).
-Rosette is a solver-aided language that powers verification and synthesis tools
-for all kinds of systems, from radiation therapy control to Linux JIT compilers.
-Kodkod is a solver for relational logic, used widely in tools for software
-analysis and design. Cedar is an expressive, fast, and analyzable language for
-authorization, used by <a href="https://aws.amazon.com/verified-permissions/">Amazon Verified Permissions</a> and <a href="https://aws.amazon.com/verified-access/">AWS Verified Access</a>.
-</p>
+and <a href="https://emina.github.io/kodkod/">Kodkod</a>, and lead the design and development of <a href="https://www.cedarpolicy.com/en">Cedar</a>. Rosette is a
+solver-aided language that powers verification and synthesis tools for all kinds
+of systems, from radiation therapy control to Linux JIT compilers. Kodkod is a
+solver for relational logic, used widely in tools for software analysis and
+design. Cedar is an expressive, fast, and analyzable language for authorization,
+used by cloud services such as <a href="https://aws.amazon.com/verified-permissions/">Amazon Verified Permissions</a> and <a href="https://aws.amazon.com/verified-access/">AWS Verified Access</a>. </p>
 
 <nav>
 <ul>
@@ -51,7 +49,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 23 Mar 2024.</footer>
+<footer>&copy; Emina Torlak. All rights reserved. Built with <a href="https://docs.racket-lang.org/pollen/">Pollen</a>. Last updated 19 Sep 2024.</footer>
 
 </body>
 </html>