publications

A Constraint Solver for Software Engineering: Finding Models and Cores of Large Relational Specifications
Emina Torlak.
MIT Ph.D. Thesis, February 2009.
[ 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 ]
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 ]
The Design of a Relational Engine
Emina Torlak and Daniel Jackson.
MIT CSAIL Technical Report, September 2006.
[ MIT-CSAIL-TR-2006-068 ]