Emina Torlak

Registered user since Sun 7 Feb 2016

Name: Emina Torlak

Bio: Emina Torlak is an Assistant Professor at the University of Washington, working at the intersection of programming languages, formal methods, and software engineering. She received her Bachelors (2003), Masters (2004), and Ph.D. (2009) degrees from MIT, and subsequently worked at IBM Research, LogicBlox, and as a research scientist at U.C. Berkeley. Her research focuses on developing automated tools and programming models for computer-aided design, verification, and synthesis of software. She is the creator of the Kodkod constraint solver, which has been used in over 70 academic and industrial tools for software engineering. Emina has applied her expertise to a broad range of problems, from verification of memory-consistency models to generation of test data for decision support applications. Her current work on the Rosette solver-aided language integrates constraint solvers into programming languages to support computer-aided verification, debugging, and synthesis of code, making programming a collaboration between humans and machines.

Country: United States

Affiliation: University of Washington

Personal website: https://homes.cs.washington.edu/~emina/index.html

Research interests: solver-aided languages, verification, synthesis, lightweight formal methods


Onward! 2018Steering Committee Member in Steering Committee
SPLASH 2018Committee Member in Steering Committee
VMCAI 2018Author of A Framework for Computer-Aided Design of Educational Domain Models within the VMCAI 2018-track
Author of Refinement Types for Ruby within the VMCAI 2018-track
Onward! 2017Session Chair of Program Generation and Synthesis (part of Onward! Papers)
Steering Committee Member in Steering Committee
Program Chair in Program Committee within the Onward! Papers-track
Papers Chair in Organizing Committee
PLDI 2018Committee Member in Program Committee
ICFP 2017Author of SpaceSearch: A Library for Building and Verifying Solver-Aided Tools within the Research Papers-track
POPL 2018Author of Symbolic Types for Lenient Symbolic Execution within the Research Papers-track
Author of Symbolic Types for Lenient Symbolic Execution within the Artifact Evaluation-track
ISSTA 2018Presenter of Solver-Aided Programming for All within the ISSTA Keynotes-track
SPLASH 2017Onward! PC Chair in Organizing Committee
Onward! 2017 Papers Chair in Steering Committee
Onward! PC Chair of Onward! Program Chairs' Report within the Keynotes-track
PLDI 2017Author of Synthesizing Memory Models from Framework Sketches and Litmus Tests within the PLDI Research Papers-track
Onward! 2016Committee Member in Program Committee within the Onward! Papers-track
* ICSE 2018 *Author of Generalized Data Structure Synthesis within the Technical Papers -track
PLDI 2016Author of Fast Synthesis of Fast Collections within the Research Papers-track
ECOOP 2016Presenter of Synthesis and Verification for All (Junior DN Prize Lecture) within the Research Track-track
SPLASH 2016Author of Automated Reasoning for Web Page Layout within the OOPSLA-track
Author of Scalable Verification of Border Gateway Protocol Configurations with an SMT Solver within the OOPSLA-track
POPL 2016Committee Member in Program Committee within the Research Papers-track
Committee Member in Program Committee
Author of Optimizing Synthesis with Metasketches within the Research Papers-track
ML4PL 2015Author of Scaling Program Synthesis by Exploiting Existing Code within the ML4PL-track
Onward! 2015Author of Toward tool support for interactive synthesis within the Onward! Papers-track
DSLDICommittee Member in Program Committee within the DSLDI-track
ECOOP 2015Presenter of Synthesis and Verification for Everyone within the Summer School-track
SPLASH 2014Committee Member in External Review Committee within the OOPSLA-track
Onward! 2013Author of Growing Solver-Aided Languages with Rosette within the Research Papers-track
Committee Member in Committee within the Posters-track