diff --git a/cv.html b/cv.html index f91e7af..8d25d09 100644 --- a/cv.html +++ b/cv.html @@ -77,19 +77,19 @@

Awards

2020 -ASE Distinguished Paper Award [8] +ASE Distinguished Paper Award [9] 2020 -SOSP Best Paper and Distinguished Artifact Awards [11] +SOSP Best Paper and Distinguished Artifact Awards [12] 2019 -OOPSLA Distinguished Artifact Award [13] +OOPSLA Distinguished Artifact Award [14] 2018 -ICSE Distinguished Paper Award [15] +ICSE Distinguished Paper Award [16] 2018 @@ -105,11 +105,11 @@

Awards

2016 -OSDI Best Paper Award [24] +OSDI Best Paper Award [25] 2016 -FSE Distinguished Paper Award [42] +FSE Distinguished Paper Award [43] 2012 @@ -118,7 +118,8 @@

Publications

Conference and Journal Papers

    -
  1. 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. Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization. OOPSLA, 2024.
    2. +
  2. 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. How We Built Cedar: A Verification-Guided Approach. FSE, 2024.
    3. +
  3. 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. Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization. OOPSLA, 2024.
  4. Sorawee Porncharoenwase, Justin Pombrio, and Emina Torlak. A pretty expressive printer. OOPSLA, 2023.
  5. Jacob Van Geffen, Xi Wang, Emina Torlak, and James Bornholt. Synthesis-Aided Crash Consistency for Storage Systems. ECOOP, 2023.
  6. Ahmed Irfan, Sorawee Porncharoenwase, Zvonimir Rakamaric, Neha Rungta, and Emina Torlak. Testing Dafny (experience paper). ISSTA, 2022.
    7. @@ -369,7 +370,7 @@

    Teaching

    - + \ No newline at end of file diff --git a/index.html b/index.html index 8c5fb9c..202f82b 100644 --- a/index.html +++ b/index.html @@ -30,16 +30,14 @@

    Emina Torlak

    -

    -My research aims to help people build better software more easily. I develop +

    My research aims to help people build better software more easily. I develop languages and tools for program verification and synthesis. I created Rosette -and Kodkod, and co-lead the development of Cedar (with Mike Hicks). -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 Amazon Verified Permissions and AWS Verified Access. -

    +and Kodkod, and lead the design and development of Cedar. 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 Amazon Verified Permissions and AWS Verified Access.

    - + \ No newline at end of file