Stefan Heule

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
SpaceSearch: a library for building and verifying solver-aided tools.
Proc. ACM Program. Lang., 2017

2016
Stratified synthesis: automatically learning the x86-64 instruction set.
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).
CoRR, 2015

Mimic: computing models for opaque code.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

IFC Inside: Retrofitting Languages with Dynamic Information Flow Control.
Proceedings of the Principles of Security and Trust - 4th International Conference, 2015

The Most Dangerous Code in the Browser.
Proceedings of the 15th Workshop on Hot Topics in Operating Systems, 2015

2013
Abstract Read Permissions: Fractional Permissions without the Fractions.
Proceedings of the Verification, 2013

HyperLogLog in practice: algorithmic engineering of a state of the art cardinality estimation algorithm.
Proceedings of the Joint 2013 EDBT/ICDT Conferences, 2013

Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions.
Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013

2011
Fractional permissions without the fractions.
Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs, 2011


  Loading...