Publications
Also see my Google Scholar page, or my dlbp entry.
Refereed Conference Publications
-
SwitchV: Automated SDN Switch Validation with P4 Models
by Kinan Dak Albab, Jonathan DiLorenzo, Stefan Heule, Ali Kheradmand, Steffen Smolka, Konstantin Weitz, Muhammad Timarzi, Jiaqi Gao, and Minlan Yu.
In Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication (SIGCOMM), 2022. -
SpaceSearch: A Library for Building and Verifying Solver-Aided Tools
by Konstantin Weitz, Steven Lyubomirsky, Stefan Heule, Emina Torlak, Michael D Ernst, and Zachary Tatlock.
In International Conference on Functional Programming (ICFP), 2017. -
Stratified Synthesis: Automatically Learning the x86-64 Instruction Set
by Stefan Heule, Eric Schkufza, Rahul Sharma, and Alex Aiken.
In Programming Language Design and Implementation (PLDI), 2016. -
Mimic: Computing Models for Opaque Code
by Stefan Heule, Manu Sridharan, and Satish Chandra.
In Foundations of Software Engineering (FSE), 2015. -
IFC Inside: Retrofitting Languages with Dynamic Information Flow Control
by Stefan Heule, Deian Stefan, Edward Z. Yang, John C. Mitchell, and Alejandro Russo.
In Principles of Security and Trust (POST), 2015. -
Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions
by Stefan Heule, Ioannis T. Kassios, Peter Müller, and Alexander J. Summers.
In European Conference on Object-Oriented Programming (ECOOP), 2013. -
HyperLogLog in Practice: Algorithmic Engineering of a State of The Art Cardinality Estimation Algorithm
by Stefan Heule, Marc Nunkesser, and Alexander Hall.
In Extending Database Technology (EDBT), 2013. -
Abstract Read Permissions: Fractional Permissions without the Fractions
by Stefan Heule, K. Rustan M. Leino, Peter Müller, and Alexander J. Summers.
In Verification, Model Checking, and Abstract Interpretation (VMCAI), 2013.
Refereed Workshop Publications
-
The Most Dangerous Code in the Browser
by Stefan Heule, Devon Rifkin, Alejandro Russo, and Deian Stefan.
In Hot Topics in Operating Systems (HotOS), 2015. -
Fractional Permissions without the Fractions
by Stefan Heule, K. Rustan M. Leino, Peter Müller, and Alexander J. Summers.
In Formal Techniques for Java-like Programs (FTfJP), 2011. Superseded by the VMCAI'13 publication.
Unrefereed Publications
-
Security and the Average Programmer
by Daniel Griffin, Stefan Heule, Amit Levy, David Mazières, John C. Mitchell, Alejandro Russo, Amy Shen, Deian Stefan, David Terei, and Edward Z. Yang.
In Principles of Security and Trust (POST), 2014. Invited Contribution.