| 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 | 580 | 2013 |
| Kodkod: A relational model finder E Torlak, D Jackson International Conference on Tools and Algorithms for the Construction and …, 2007 | 547 | 2007 |
| A lightweight symbolic virtual machine for solver-aided host languages E Torlak, R Bodik ACM SIGPLAN Notices 49 (6), 530-541, 2014 | 183 | 2014 |
| Angelic debugging S Chandra, E Torlak, S Barman, R Bodik Proceedings of the 33rd International Conference on Software Engineering …, 2011 | 157 | 2011 |
| Growing solver-aided languages with Rosette E Torlak, R Bodik Proceedings of the 2013 ACM international symposium on New ideas, new …, 2013 | 155 | 2013 |
| 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 | 102 | 2008 |
| Finding minimal unsatisfiable cores of declarative specifications E Torlak, FSH Chang, D Jackson International Symposium on Formal Methods, 326-341, 2008 | 99 | 2008 |
| MemSAT: checking axiomatic specifications of memory models E Torlak, M Vaziri, J Dolby ACM Sigplan Notices 45 (6), 341-350, 2010 | 90 | 2010 |
| A constraint solver for software engineering: finding models and cores of large relational specifications E Torlak Massachusetts Institute of Technology, 2009 | 85 | 2009 |
| 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 | 83 | 2016 |
| 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 | 74 | 2016 |
| Effective interprocedural resource leak detection E Torlak, S Chandra Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010 | 66 | 2010 |
| 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 | 61 | 2017 |
| 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 | 58 | 2010 |
| A type system for object models J Edwards, D Jackson, E Torlak ACM SIGSOFT Software Engineering Notes 29 (6), 189-199, 2004 | 55 | 2004 |
| Kodkod for Alloy users E Torlak, G Dennis First ACM Alloy Workshop, Portland, Oregon, 2006 | 48 | 2006 |
| 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 | 46 | 2016 |
| Synthesizing memory models from framework sketches and litmus tests J Bornholt, E Torlak ACM SIGPLAN Notices 52 (6), 467-481, 2017 | 44 | 2017 |
| Fast synthesis of fast collections C Loncaric, E Torlak, MD Ernst Proceedings of the 37th ACM SIGPLAN Conference on Programming Language …, 2016 | 39 | 2016 |
| 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 | 37 | 2016 |
