Emina Torlak
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
35
Venues
16
Active years
2004–2025
Best venue rank
A*
Where they publish
Papers
35 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICSE | Formally Verified Cloud-Scale Authorization. | Aleks Chakarov, Jaco Geldenhuys, Matthew Heck, Michael Hicks, Sam Huang, Georges-Axel Jaloyan, Anjali Joshi, K. Rustan M. Leino, Mikael Mayer, Sean McLaughlin, Akhilesh Mritunjai, Clment Pit-Claudel, Sorawee Porncharoenwase, Florian Rabe, Marianna Rapoport, Giles Reger, Cody Roux, Neha Rungta, Robin Salkeld, Matthias Schlaipfer, Daniel Schoepe, Johanna Schwartzentruber, Serdar Tasiran, Aaron Tomb, Emina Torlak, Jean-Baptiste Tristan, Lucas G. Wagner, Michael W. Whalen, Remy Willems, Tongtong Xiang, Taejoon Byun, Joshua M. Cohen, Ruijie Fang, Junyoung Jang, Jakob Rath, Hira Taqdees Syeda, Dominik Wagner, Yongwei Yuan |
| 2023 | ECOOP | Synthesis-Aided Crash Consistency for Storage Systems. | Jacob Van Geffen, Xi Wang, Emina Torlak, James Bornholt |
| 2022 | ISSTA | Testing Dafny (experience paper). | Ahmed Irfan, Sorawee Porncharoenwase, Zvonimir Rakamaric, Neha Rungta, Emina Torlak |
| 2020 | CAV | Synthesizing JIT Compilers for In-Kernel DSLs. | Jacob Van Geffen, Luke Nelson, Isil Dillig, Xi Wang, Emina Torlak |
| 2020 | OSDI | Specification and verification in the field: Applying formal methods to BPF just-in-time compilers in the Linux kernel. | Luke Nelson, Jacob Van Geffen, Emina Torlak, Xi Wang |
| 2020 | VMCAI | Fixing Code that Explodes Under Symbolic Evaluation. | Sorawee Porncharoenwase, James Bornholt, Emina Torlak |
| 2019 | ASPLOS | Swizzle Inventor: Data Movement Synthesis for GPU Kernels. | Phitchaya Mangpo Phothilimthana, Archibald Samuel Elliott, An Wang, Abhinav Jangda, Bastian Hagedorn, Henrik Barthels, Samuel J. Kaufman, Vinod Grover, Emina Torlak, Rastislav Bodk |
| 2019 | SOSP | Scaling symbolic evaluation for automated verification of systems code with Serval. | Luke Nelson, James Bornholt, Ronghui Gu, Andrew Baumann, Emina Torlak, Xi Wang |
| 2018 | ICSE | Generalized data structure synthesis. | Calvin Loncaric, Michael D. Ernst, Emina Torlak |
| 2018 | OSDI | Nickel: A Framework for Design and Verification of Information Flow Control Systems. | Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, Xi Wang |
| 2018 | VMCAI | A Framework for Computer-Aided Design of Educational Domain Models. | Eric Butler, Emina Torlak, Zoran Popovic |
| 2018 | VMCAI | Refinement Types for Ruby. | Milod Kazerounian, Niki Vazou, Austin Bourgerie, Jeffrey S. Foster, Emina Torlak |
| 2017 | FDG | Synthesizing interpretable strategies for solving puzzle games. | Eric Butler, Emina Torlak, Zoran Popovic |
| 2017 | PLDI | Synthesizing memory models from framework sketches and Litmus tests. | James Bornholt, Emina Torlak |
| 2017 | SOSP | Hyperkernel: Push-Button Verification of an OS Kernel. | Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, Xi Wang |
| 2016 | ASPLOS | Specifying and Checking File System Crash-Consistency Models. | James Bornholt, Antoine Kaufmann, Jialin Li, Arvind Krishnamurthy, Emina Torlak, Xi Wang |
| 2016 | CAV | Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable Checkers. | Stuart Pernsteiner, Calvin Loncaric, Emina Torlak, Zachary Tatlock, Xi Wang, Michael D. Ernst, Jonathan Jacky |
| 2016 | ITS | A Framework for Parameterized Design of Rule Systems Applied to Algebra. | Eric Butler, Emina Torlak, Zoran Popovic |
| 2016 | OOPSLA | Automated reasoning for web page layout. | Pavel Panchekha, Emina Torlak |
| 2016 | OOPSLA | Scalable verification of border gateway protocol configurations with an SMT solver. | Konstantin Weitz, Doug Woos, Emina Torlak, Michael D. Ernst, Arvind Krishnamurthy, Zachary Tatlock |
| 2016 | OSDI | Push-Button Verification of File Systems via Crash Refinement. | Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang |
| 2016 | PLDI | Fast synthesis of fast collections. | Calvin Loncaric, Emina Torlak, Michael D. Ernst |
| 2016 | POPL | Optimizing synthesis with metasketches. | James Bornholt, Emina Torlak, Dan Grossman, Luis Ceze |
| 2015 | OOPSLA | Toward tool support for interactive synthesis. | Shaon Barman, Rastislav Bodk, Satish Chandra, Emina Torlak, Arka Aloke Bhattacharya, David E. Culler |
| 2014 | PLDI | A lightweight symbolic virtual machine for solver-aided host languages. | Emina Torlak, Rastislav Bodk |
| 2013 | FMCAD | Syntax-guided synthesis. | Rajeev Alur, Rastislav Bodk, Garvit Juniwal, Milo M. K. Martin, Mukund Raghothaman, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, Abhishek Udupa |
| 2013 | OOPSLA | Growing solver-aided languages with rosette. | Emina Torlak, Rastislav Bodk |
| 2012 | CAV | Synthesizing Programs with Constraint Solvers. | Rastislav Bodk, Emina Torlak |
| 2011 | ICSE | Angelic debugging. | Satish Chandra, Emina Torlak, Shaon Barman, Rastislav Bodk |
| 2010 | ECOOP | Correct Refactoring of Concurrent Java Code. | Max Schfer, Julian Dolby, Manu Sridharan, Emina Torlak, Frank Tip |
| 2010 | ICSE | Effective interprocedural resource leak detection. | Emina Torlak, Satish Chandra |
| 2010 | PLDI | MemSAT: checking axiomatic specifications of memory models. | Emina Torlak, Mandana Vaziri, Julian Dolby |
| 2008 | FM | Finding Minimal Unsatisfiable Cores of Declarative Specifications. | Emina Torlak, Felix Sheng-Ho Chang, Daniel Jackson |
| 2007 | TACAS | Kodkod: A Relational Model Finder. | Emina Torlak, Daniel Jackson |
| 2004 | ISSTA | Faster constraint solving with subtypes. | Jonathan Edwards, Daniel Jackson, Emina Torlak, Vincent Yeung |