Fractional permissions without the fractions. - Stefan Heule; K. Rustan M. Leino; Peter Müller 001; Alexander J. Summers (FTfJP@ECOOP, 2011)

Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions. - Stefan Heule; Ioannis T. Kassios; Peter Müller 001; Alexander J. Summers (ECOOP, 2013)

HyperLogLog in practice: algorithmic engineering of a state of the art cardinality estimation algorithm. - Stefan Heule; Marc Nunkesser; Alexander Hall (EDBT, 2013)

Abstract Read Permissions: Fractional Permissions without the Fractions. - Stefan Heule; K. Rustan M. Leino; Peter Müller 001; Alexander J. Summers (VMCAI, 2013)

The Most Dangerous Code in the Browser. - Stefan Heule; Devon Rifkin; Alejandro Russo; Deian Stefan (HotOS, 2015)

IFC Inside: Retrofitting Languages with Dynamic Information Flow Control. - Stefan Heule; Deian Stefan; Edward Z. Yang; John C. Mitchell; Alejandro Russo (POST, 2015)

Mimic: computing models for opaque code. - Stefan Heule; Manu Sridharan; Satish Chandra 001 (ESEC/SIGSOFT FSE, 2015)

IFC Inside: Retrofitting Languages with Dynamic Information Flow Control (Extended Version). - Stefan Heule; Deian Stefan; Edward Z. Yang; John C. Mitchell; Alejandro Russo (CoRR, 2015)

Stratified synthesis: automatically learning the x86-64 instruction set. - Stefan Heule; Eric Schkufza; Rahul Sharma 001; Alex Aiken (PLDI, 2016)

SpaceSearch: a library for building and verifying solver-aided tools. - Konstantin Weitz; Steven Lyubomirsky; Stefan Heule; Emina Torlak; Michael D. Ernst; Zachary Tatlock (Proc. ACM Program. Lang., 2017)

Guided randomized search over programs for synthesis and program optimization. - Stefan Heule (2018)

SwitchV: automated SDN switch validation with P4 models. - Kinan Dak Albab; Jonathan DiLorenzo; Stefan Heule; Ali Kheradmand; Steffen Smolka; Konstantin Weitz; Muhammad Timarzi; Jiaqi Gao; Minlan Yu (SIGCOMM, 2022)