Author Search Results :: UTM Library Massive Scholar Tracking

Emina Torlak

Emina Torlak is an American computer scientist and software engineer whose research concerns software verification, program synthesis, and the integration of these techniques into domain-specific languages. She was previously professor of computer science at the University of Washington, and is currently a senior principal scientist for Amazon Web Services. Provided by Wikipedia

1

Subtyping in alloy by Torlak, Emina, 1979-

Published 2005

Get full text

Thesis
2

A constraint solver for software engineering : finding models and cores of large relational specifications by Torlak, Emina, 1979-

Published 2009

Get full text

Thesis
3

The Design of a Relational Engine by Torlak, Emina, Jackson, Daniel

Published 2006

Get full text
4

Knowledge Flow Analysis for Security Protocols by Torlak, Emina, van Dijk, Marten, Gassend, Blaise, Jackson, Daniel, Devadas, Srinivas

Published 2005

Get full text
5

Syntax-guided synthesis by Alur, Rajeev, Bodik, Rastislav, Juniwal, Garvit, Martin, Milo M. K., Raghothaman, Mukund, Seshia, Sanjit A., Singh, Rishabh, Torlak, Emina, Udupa, Abhishek, Solar-Lezama, Armando

Published 2014

Get full text
Get full text

Article
6

Syntax-Guided Synthesis by Alur, Rajeev, Bodik, Rastislav, Dallal, Eric, Fisman, Dana, Garg, Pranav, Juniwal, Garvit, Kress-Gazit, Hadas, Madhusudan, P., Martin, Milo M. K., Raghothaman, Mukund, Saha, Shamwaditya, Seshia, Sanjit A., Singh, Rishabh, Solar Lezama, Armando, Torlak, Emina, Udupa, Abhishek

Published 2021

Get full text

Article