Stefan Heule

According to our database, Stefan Heule authored at least 12 papers between 2011 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

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

Proceedings of the SIGCOMM '22: ACM SIGCOMM 2022 Conference, Amsterdam, The Netherlands, August 22, 2022

2018

Guided randomized search over programs for synthesis and program optimization.

Stefan Heule

PhD thesis, 2018

2017

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

2016

Stratified synthesis: automatically learning the x86-64 instruction set.

Stefan Heule, Eric Schkufza, Rahul Sharma, Alex Aiken

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

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

Mimic: computing models for opaque code.

Stefan Heule, Manu Sridharan, Satish Chandra

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

IFC Inside: Retrofitting Languages with Dynamic Information Flow Control.

Stefan Heule, Deian Stefan, Edward Z. Yang, John C. Mitchell, Alejandro Russo

Proceedings of the Principles of Security and Trust - 4th International Conference, 2015

The Most Dangerous Code in the Browser.

Stefan Heule, Devon Rifkin, Alejandro Russo, Deian Stefan

Proceedings of the 15th Workshop on Hot Topics in Operating Systems, 2015

2013

Abstract Read Permissions: Fractional Permissions without the Fractions.

Stefan Heule, K. Rustan M. Leino, Peter Müller, Alexander J. Summers

Proceedings of the Verification, 2013

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

Stefan Heule, Marc Nunkesser, Alexander Hall

Proceedings of the Joint 2013 EDBT/ICDT Conferences, 2013

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

Stefan Heule, Ioannis T. Kassios, Peter Müller, Alexander J. Summers

Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013

2011

Fractional permissions without the fractions.

Stefan Heule, K. Rustan M. Leino, Peter Müller, Alexander J. Summers

Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs, 2011