Emina Torlak
Emina Torlak
University of Washington
Verified email at alum.mit.edu - Homepage
Title
Cited by
Cited by
Year
Syntax-guided synthesis
R Alur, R Bodik, G Juniwal, MMK Martin, M Raghothaman, SA Seshia, ...
2013 Formal Methods in Computer-Aided Design, 1-8, 2013
5362013
Kodkod: A relational model finder
E Torlak, D Jackson
International Conference on Tools and Algorithms for the Construction and …, 2007
5332007
A lightweight symbolic virtual machine for solver-aided host languages
E Torlak, R Bodik
ACM SIGPLAN Notices 49 (6), 530-541, 2014
1682014
Angelic debugging
S Chandra, E Torlak, S Barman, R Bodik
Proceedings of the 33rd International Conference on Software Engineering …, 2011
1442011
Growing solver-aided languages with rosette
E Torlak, R Bodik
Proceedings of the 2013 ACM international symposium on New ideas, new …, 2013
1392013
Controlled physical random functions and applications
B Gassend, MV Dijk, D Clarke, E Torlak, S Devadas, P Tuyls
ACM Transactions on Information and System Security (TISSEC) 10 (4), 1-22, 2008
962008
Finding minimal unsatisfiable cores of declarative specifications
E Torlak, FSH Chang, D Jackson
International Symposium on Formal Methods, 326-341, 2008
922008
MemSAT: checking axiomatic specifications of memory models
E Torlak, M Vaziri, J Dolby
ACM Sigplan Notices 45 (6), 341-350, 2010
892010
A constraint solver for software engineering: finding models and cores of large relational specifications
E Torlak
Massachusetts Institute of Technology, 2009
822009
Push-button verification of file systems via crash refinement
H Sigurbjarnarson, J Bornholt, E Torlak, X Wang
12th {USENIX} Symposium on Operating Systems Design and Implementation …, 2016
702016
Optimizing synthesis with metasketches
J Bornholt, E Torlak, D Grossman, L Ceze
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016
692016
Effective interprocedural resource leak detection
E Torlak, S Chandra
Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010
592010
Correct refactoring of concurrent java code
M Schäfer, J Dolby, M Sridharan, E Torlak, F Tip
European Conference on Object-Oriented Programming, 225-249, 2010
572010
A type system for object models
J Edwards, D Jackson, E Torlak
ACM SIGSOFT Software Engineering Notes 29 (6), 189-199, 2004
562004
Hyperkernel: Push-button verification of an OS kernel
L Nelson, H Sigurbjarnarson, K Zhang, D Johnson, J Bornholt, E Torlak, ...
Proceedings of the 26th Symposium on Operating Systems Principles, 252-269, 2017
502017
Specifying and checking file system crash-consistency models
J Bornholt, A Kaufmann, J Li, A Krishnamurthy, E Torlak, X Wang
Proceedings of the Twenty-First International Conference on Architectural …, 2016
442016
Kodkod for Alloy users
E Torlak, G Dennis
First ACM Alloy Workshop, Portland, Oregon, 2006
432006
Synthesizing memory models from framework sketches and litmus tests
J Bornholt, E Torlak
ACM SIGPLAN Notices 52 (6), 467-481, 2017
382017
Fast synthesis of fast collections
C Loncaric, E Torlak, MD Ernst
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language …, 2016
352016
Scalable verification of border gateway protocol configurations with an SMT solver
K Weitz, D Woos, E Torlak, MD Ernst, A Krishnamurthy, Z Tatlock
Proceedings of the 2016 ACM SIGPLAN International Conference on Object …, 2016
322016
The system can't perform the operation now. Try again later.
Articles 1–20