フォロー
Emina Torlak
Emina Torlak
University of Washington
確認したメール アドレス: alum.mit.edu - ホームページ
タイトル
引用先
引用先
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
7112013
Kodkod: A relational model finder
E Torlak, D Jackson
International Conference on Tools and Algorithms for the Construction and …, 2007
5962007
A lightweight symbolic virtual machine for solver-aided host languages
E Torlak, R Bodik
ACM SIGPLAN Notices 49 (6), 530-541, 2014
2162014
Growing solver-aided languages with Rosette
E Torlak, R Bodik
Proceedings of the 2013 ACM international symposium on New ideas, new …, 2013
1952013
Angelic debugging
S Chandra, E Torlak, S Barman, R Bodik
Proceedings of the 33rd International Conference on Software Engineering …, 2011
1692011
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
1172008
{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 (OSDI …, 2016
1102016
Finding minimal unsatisfiable cores of declarative specifications
E Torlak, FSH Chang, D Jackson
International Symposium on Formal Methods, 326-341, 2008
1042008
MemSAT: checking axiomatic specifications of memory models
E Torlak, M Vaziri, J Dolby
ACM Sigplan Notices 45 (6), 341-350, 2010
972010
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
902016
A constraint solver for software engineering: finding models and cores of large relational specifications
E Torlak
Massachusetts Institute of Technology, 2009
902009
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
892017
Effective interprocedural resource leak detection
E Torlak, S Chandra
Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010
692010
Synthesizing memory models from framework sketches and litmus tests
J Bornholt, E Torlak
ACM SIGPLAN Notices 52 (6), 467-481, 2017
652017
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
652010
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
642016
Scaling symbolic evaluation for automated verification of systems code with Serval
L Nelson, J Bornholt, R Gu, A Baumann, E Torlak, X Wang
Proceedings of the 27th ACM Symposium on Operating Systems Principles, 225-242, 2019
632019
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
592016
A type system for object models
J Edwards, D Jackson, E Torlak
ACM SIGSOFT Software Engineering Notes 29 (6), 189-199, 2004
592004
Kodkod for Alloy users
E Torlak, G Dennis
First ACM Alloy Workshop, Portland, Oregon, 2006
492006
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20