Stefan Heule

According to our database, Stefan Heule authored at least 10 papers between 2011 and 2017.

Collaborative distances:

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

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