Stefan Heule
Stefan Heule
Unknown affiliation
Verified email at - Homepage
Cited by
Cited by
HyperLogLog in practice: algorithmic engineering of a state of the art cardinality estimation algorithm
S Heule, M Nunkesser, A Hall
Proceedings of the 16th International Conference on Extending Database …, 2013
Stratified Synthesis: Automatically Learning the x86-64 Instruction Set
S Heule, E Schkufza, R Sharma, A Aiken
37th annual ACM SIGPLAN conference on Programming Language Design and …, 2016
Abstract read permissions: Fractional permissions without the fractions
S Heule, KRM Leino, P Müller, AJ Summers
International Workshop on Verification, Model Checking, and Abstract …, 2013
Verification condition generation for permission logics with abstract predicates and abstraction functions
S Heule, IT Kassios, P Müller, AJ Summers
ETH Zurich, 2012
Mimic: Computing Models for Opaque Code
S Heule, M Sridharan, S Chandra
Foundations of Software Engineering (FSE), 2015
Fractional Permissions Without the Fractions
S Heule, KRM Leino, P Müller, AJ Summers
Proceedings of the 13th Workshop on Formal Techniues for Java-Like Programs, 1, 2011
IFC Inside: Retrofitting Languages with Dynamic Information Flow Control
S Heule, D Stefan, EZ Yang, JC Mitchell, A Russo
Principles of Security and Trust (POST), 2015
The Most Dangerous Code in the Browser
S Heule, D Rifkin, A Russo, D Stefan
15th Workshop on Hot Topics in Operating Systems (HotOS XV), 2015
SpaceSearch: a library for building and verifying solver-aided tools
K Weitz, S Lyubomirsky, S Heule, E Torlak, MD Ernst, Z Tatlock
Proceedings of the ACM on Programming Languages 1 (ICFP), 1-28, 2017
Verification condition generation for the intermediate verification language SIL
S Heule, P Müller
Master’s thesis, Dept. of Computer Science, ETH Zurich, 2013
Security and the Average Programmer
D Giffin, S Heule, A Levy, D Mazieres, J Mitchell, A Russo, A Shen, ...
Verification Condition Generation for Permission Logics with Abstraction Functions
S Heule, IT Kassios, AJ Summers, P Müller
ETH Zurich, Department of Computer Science, 2012
SWITCHV: Automated SDN Switch Validation with P4 Models
KD Albab, J Dilorenzo, S Heule, A Kheradmand, S Smolka, K Weitz, ...
Guided Randomized Search over Programs for Synthesis and Program Optimization
S Heule
Stanford University, 2018
IFC Inside: Retrofitting Languages with Dynamic Information Flow Control (Extended Version)
S Heule, D Stefan, EZ Yang, JC Mitchell, A Russo
arXiv preprint arXiv:1501.04132, 2015
Improving Permission-Based Verification of Concurrent Programs with Chalice
S Heule
Bachelor Thesis, ETH Zurich, 2011
The system can't perform the operation now. Try again later.
Articles 1–16