conference and journal papers

A Lightweight Symbolic Virtual Machine for Solver-Aided Host Languages
Emina Torlak and Ras Bodik.
Programming Language Design and Implementation (PLDI'14), June 2014.
[ ACM | PDF ]
Growing Solver-Aided Languages with Rosette
Emina Torlak and Ras Bodik.
Proceedings of the 2013 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward'13), October 2013.
[ ACM | PDF ]
Syntax-Guided Synthesis
Rajeev Alur, Rastislav Bodik, Garvit Juniwal, Milo M. K. Martin, Mukund Raghothaman, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, and Abhishek Udupa.
IEEE International Conference on Formal Methods in Computer-Aided Design (FMCAD'13), October 2013.
[ PDF ]
Applications and Extensions of Alloy: Past, Present, and Future.
Emina Torlak, Mana Taghdiri, Greg Dennis, and Joseph Near.
Mathematical Structures in Computer Science (MSCS), Special Issue on Lightweight Formal Methods, Invited Paper, 2013.
[ Cambridge University Press | PDF ]
Scalable Test Data Generation from Multidimensional Models
Emina Torlak.
20th International Symposium on the Foundations of Software Engineering (FSE'12), November 2012. Distinguished Paper Award.
[ ACM | PDF ]
Angelic Debugging
Satish Chandra, Emina Torlak, Shaon Barman and Ras Bodik.
33rd International Conference on Software Engineering (ICSE'11), May 2011.
[ ACM | PDF ]
Correct Refactoring of Concurrent Java Code
Max Schäfer, Julian Dolby, Manu Sridharan, Emina Torlak and Frank Tip.
24th European Conference on Object-Oriented Programming (ECOOP'10), June 2010.
[ Springer | PDF ]
MemSAT: Checking Axiomatic Specifications of Memory Models
Emina Torlak, Mandana Vaziri and Julian Dolby.
Programming Language Design and Implementation (PLDI'10), June 2010.
[ ACM | PDF ]
Effective Interprocedural Resource Leak Detection
Emina Torlak and Satish Chandra.
32nd International Conference on Software Engineering (ICSE'10), May 2010.
[ ACM | PDF ]
Finding Minimal Unsatisfiable Cores of Declarative Specifications
Emina Torlak, Felix Sheng-Ho Chang and Daniel Jackson.
15th International Symposium on Formal Methods (FM'08), May 2008.
[ Springer | PDF ]
Controlled Physical Random Functions and Applications
Blaise Gassend, Marten van Dijk, Dwaine E. Clarke, Emina Torlak, Srinivas Devadas and Pim Tuyls.
ACM Transactions on Information and System Security (TISSEC), Vol. 10, No. 4, 2008.
[ ACM | PDF ]
Kodkod: A Relational Model Finder
Emina Torlak and Daniel Jackson.
13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'07), March 2007.
[ Springer | PDF ]
Kodkod for Alloy Users
Emina Torlak and Greg Dennis.
First Alloy Workshop (Alloy'06), November 2006.
[ PDF ]
Faster Constraint Solving with Subtypes
Jonathan Edwards, Daniel Jackson, Emina Torlak and Vincent Yeung.
International Symposium on Software Testing and Analysis (ISSTA'04), July 2004.
[ ACM | PDF ]
A Type System for Object Models
Jonathan Edwards, Daniel Jackson and Emina Torlak.
12th International Symposium on Foundations of Software Engineering (FSE'04), October 2004.
[ ACM | PDF ]

technical reports

Scalable Test Data Generation from Multidimensional Models
Emina Torlak.
University of California, Berkeley, Technical Report, July 2012.
[ UCB/EECS-2012-177 ]
Discovering Algorithms in Angelic Programs
Shaon Barman, Ras Bodik, Satish Chandra and Emina Torlak.
IBM Research Report RC25023, 2010.
The Design of a Relational Engine
Emina Torlak and Daniel Jackson.
MIT CSAIL Technical Report, September 2006.
[ MIT-CSAIL-TR-2006-068 ]
A Generalized Two-Phase Analysis of Knowledge Flows in Security Protocols
Marten van Dijk, Emina Torlak, Blaise Gassend and Srinivas Devadas.
arXiv.org Technical Report, May 2006.
[ arXiv:cs/0605097v1 ]
Knowledge Flow Analysis for Security Protocols
Emina Torlak, Marten van Dijk, Blaise Gassend, Daniel Jackson and Srinivas Devadas.
arXiv.org Technical Report, May 2006.
[ arXiv:cs/0605109v1 ]

theses

A Constraint Solver for Software Engineering: Finding Models and Cores of Large Relational Specifications
Emina Torlak.
MIT Ph.D. Thesis, February 2009.
[ ACM | PDF ]
Subtyping in Alloy
Emina Torlak.
MIT Masters Thesis, May 2004.
[ PDF ]