Emina Torlak

Photo of Emina by Dennis Wise

Associate Professor
UNSAT and PLSE research groups
Paul G. Allen School of Computer Science & Engineering


CSE 596

CV GitHub DBLP GoogleScholar

Research

My research aims to help people create better software more easily. I develop new languages and tools for computer-aided verification and synthesis of software. My collaborators and I apply these techniques to all kinds of systems, from radiotherapy machines to K-12 algebra tutors. A lot of our work is based on Rosette, a new language that makes it easy to create efficient tools for program verification, synthesis, and more.

News

11/07/19

Our paper on fixing performance bottlenecks in code under symbolic evaluation will appear at VMCAI 2020.

10/28/19

Our paper on scaling automated verification with Serval won a best paper award and a distinguished artifact award at SOSP 2019.

10/27/19

Luke, Xi, and I gave a tutorial on Serval at SOSP 2019.

See all posts.

Students

Teaching

Service