SPLASH 2014
Mon 20 - Fri 24 October 2014 Portland, Oregon, United States
Emina Torlak

Registered user since Sun 7 Feb 2016

Name:Emina Torlak
Bio:

I am a computer scientist at the University of California, Berkeley, CA, USA.

Research Interests: my research focuses on improving software design and development through automation. I have developed a variety of automated techniques for analyzing and synthesizing software artifacts, including specifications, programs, executions, test data, and memory models. I am currently working on Rosette, a new solver-aided language, which enables easy creation of domain-specific tools for (bounded) verification, synthesis, angelic execution, and fault localization.

Affiliation:University of California, Berkeley

Contributions

Show activities from other conferences

SPLASH 2014-profile
View general profile