Emina Torlak
Emina Torlak
University of Washington
Dirección de correo verificada de alum.mit.edu - Página principal
Título
Citado por
Citado por
Año
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
5802013
Kodkod: A relational model finder
E Torlak, D Jackson
International Conference on Tools and Algorithms for the Construction and …, 2007
5472007
A lightweight symbolic virtual machine for solver-aided host languages
E Torlak, R Bodik
ACM SIGPLAN Notices 49 (6), 530-541, 2014
1832014
Angelic debugging
S Chandra, E Torlak, S Barman, R Bodik
Proceedings of the 33rd International Conference on Software Engineering …, 2011
1572011
Growing solver-aided languages with Rosette
E Torlak, R Bodik
Proceedings of the 2013 ACM international symposium on New ideas, new …, 2013
1552013
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
1022008
Finding minimal unsatisfiable cores of declarative specifications
E Torlak, FSH Chang, D Jackson
International Symposium on Formal Methods, 326-341, 2008
992008
MemSAT: checking axiomatic specifications of memory models
E Torlak, M Vaziri, J Dolby
ACM Sigplan Notices 45 (6), 341-350, 2010
902010
A constraint solver for software engineering: finding models and cores of large relational specifications
E Torlak
Massachusetts Institute of Technology, 2009
852009
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
832016
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
742016
Effective interprocedural resource leak detection
E Torlak, S Chandra
Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010
662010
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
612017
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
582010
A type system for object models
J Edwards, D Jackson, E Torlak
ACM SIGSOFT Software Engineering Notes 29 (6), 189-199, 2004
552004
Kodkod for Alloy users
E Torlak, G Dennis
First ACM Alloy Workshop, Portland, Oregon, 2006
482006
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
462016
Synthesizing memory models from framework sketches and litmus tests
J Bornholt, E Torlak
ACM SIGPLAN Notices 52 (6), 467-481, 2017
442017
Fast synthesis of fast collections
C Loncaric, E Torlak, MD Ernst
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language …, 2016
392016
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
372016
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20