Stefan Heule

Publication Activity (10 Years)

Years Active: 2011-2022
Publications (10 Years): 3

Top Topics

Information Flow Control

Abstraction Hierarchy

Estimation Algorithm

Top Venues

Proc. ACM Program. Lang.

Publications

Kinan Dak Albab, Jonathan DiLorenzo, Stefan Heule, Ali Kheradmand, Steffen Smolka, Konstantin Weitz, Muhammad Timarzi, Jiaqi Gao, Minlan Yu
SwitchV: automated SDN switch validation with P4 models. SIGCOMM (2022)
Konstantin Weitz, Steven Lyubomirsky, Stefan Heule, Emina Torlak, Michael D. Ernst, Zachary Tatlock
SpaceSearch: a library for building and verifying solver-aided tools. Proc. ACM Program. Lang. 1 (ICFP) (2017)
Stefan Heule, Eric Schkufza, Rahul Sharma, Alex Aiken
Stratified synthesis: automatically learning the x86-64 instruction set. PLDI (2016)
Stefan Heule, Manu Sridharan, Satish Chandra
Mimic: computing models for opaque code. ESEC/SIGSOFT FSE (2015)
Stefan Heule, Devon Rifkin, Alejandro Russo, Deian Stefan
The Most Dangerous Code in the Browser. HotOS (2015)
Stefan Heule, Deian Stefan, Edward Z. Yang, John C. Mitchell, Alejandro Russo
IFC Inside: Retrofitting Languages with Dynamic Information Flow Control (Extended Version). CoRR (2015)
Stefan Heule, Deian Stefan, Edward Z. Yang, John C. Mitchell, Alejandro Russo
IFC Inside: Retrofitting Languages with Dynamic Information Flow Control. POST (2015)
Stefan Heule, Ioannis T. Kassios, Peter Müller, Alexander J. Summers
Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions. ECOOP (2013)
Stefan Heule, Marc Nunkesser, Alexander Hall
HyperLogLog in practice: algorithmic engineering of a state of the art cardinality estimation algorithm. EDBT (2013)
Stefan Heule, K. Rustan M. Leino, Peter Müller, Alexander J. Summers
Abstract Read Permissions: Fractional Permissions without the Fractions. VMCAI (2013)
Stefan Heule, K. Rustan M. Leino, Peter Müller, Alexander J. Summers
Fractional permissions without the fractions. FTfJP@ECOOP (2011)