Emina Torlak

Photo of Emina by Dennis Wise

Assistant Professor
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. As part of this agenda, 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

08/16/18

Our paper on symbolic profiling for solver-aided languages and frameworks will appear at OOPSLA 2018.

07/20/18

Our paper on the Nickel framework for design and verification of information flow control systems will appear at OSDI 2018.

07/16/18

Gave a keynote on solver-aided programming at ISSTA 2018.

See all posts.

Students

Teaching

Service