Stefan Heule
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2011–2022
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | SIGCOMM | 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 |
| 2016 | PLDI | Stratified synthesis: automatically learning the x86-64 instruction set. | Stefan Heule, Eric Schkufza, Rahul Sharma, Alex Aiken |
| 2015 | HotOS | The Most Dangerous Code in the Browser. | Stefan Heule, Devon Rifkin, Alejandro Russo, Deian Stefan |
| 2013 | ECOOP | Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions. | Stefan Heule, Ioannis T. Kassios, Peter Mller, Alexander J. Summers |
| 2013 | EDBT | HyperLogLog in practice: algorithmic engineering of a state of the art cardinality estimation algorithm. | Stefan Heule, Marc Nunkesser, Alexander Hall |
| 2013 | VMCAI | Abstract Read Permissions: Fractional Permissions without the Fractions. | Stefan Heule, K. Rustan M. Leino, Peter Mller, Alexander J. Summers |
| 2011 | ECOOP | Fractional permissions without the fractions. | Stefan Heule, K. Rustan M. Leino, Peter Mller, Alexander J. Summers |