Author

Stefan Heule

Observed names: Heule, Stefan, Stefan, Heule

Observed institutions: ETH Zurich, Stanford University

OpenAlex ID: A5064408830

HyperLogLog in practice: algorithmic engineering of a state of the art cardinality estimation algorithm

2013 · Stefan Heule, Marc Nunkesser, et al. · International Conference on Extending Database Technology (EDBT) · 327

Stratified synthesis: automatically learning the x86-64 instruction set

2016 · Stefan Heule, Eric Schkufza, et al. · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 70

PDF

Composer 2 Technical Report

2026 · Research, Cursor, :, et al. · arXiv (Cornell University) · 36

PDF

Mimic: computing models for opaque code

2015 · Stefan Heule, Manu Sridharan, et al. · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · 29

Abstract Read Permissions: Fractional Permissions without the Fractions

2013 · Stefan Heule, K. Rustan M. Leino, et al. · Lecture notes in computer science · 27

Fractional permissions without the fractions

2011 · Stefan Heule, K. Rustan M. Leino, et al. · Formal Techniques for Java-like Programs · 21

Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions

2013 · Stefan Heule, Ioannis T. Kassios, et al. · Lecture notes in computer science · 20

SwitchV: automated SDN switch validation with P4 models

2022 · Kinan Dak Albab, Jonathan DiLorenzo, et al. · ACM SIGCOMM Conference (SIGCOMM) · 18

PDF

IFC Inside: Retrofitting Languages with Dynamic Information Flow Control

2015 · Stefan Heule, Deian Stefan, et al. · Lecture notes in computer science · 18

The most dangerous code in the browser

2015 · Stefan Heule, Devon Rifkin, et al. · 15

Stratified synthesis: automatically learning the x86-64 instruction set

2016 · Stefan Heule, Eric Schkufza, et al. · ACM SIGPLAN Notices · 14

SpaceSearch: a library for building and verifying solver-aided tools

2017 · Konstantin Weitz, Steven Lyubomirsky, et al. · Proceedings of the ACM on Programming Languages · 9

PDF

IFC Inside: Retrofitting Languages with Dynamic Information Flow Control (Extended Version)

2015 · Heule, Stefan, Stefan, Deian, et al. · arXiv (Cornell University) · 1

PDF

Verification condition generation for permission logics with abstract predicates and abstraction functions

2012 · Heule, Stefan, Kassios, Ioannis T., et al. · Repository for Publications and Research Data (ETH Zurich) · 1

Verification Condition Generation for Permission Logics with Abstraction Functions

2012 · Heule, Stefan, Kassios, Ioannis T., et al. · Repository for Publications and Research Data (ETH Zurich) · 1

SpaceSearch: A Library for Building and Verifying Solver-Aided Tools

2017 · Konstantin Weitz, Steven Lyubomirsky, et al. · International Conference on Functional Programming

The Most Dangerous Code in your Browser

2015 · Stefan Heule, Devon Rifkin, et al. · Chalmers Publication Library (Chalmers University of Technology)

Security and the Average Programmer

2014 · Daniel Griffin, Stefan Heule, et al. · Principles of Security and Trust

Works count: 24

Citation count: 607

H-index: 11

I10-index: 11