According to our database1, Stefan Heule authored at least 10 papers between 2011 and 2017.
Legend:Book In proceedings Article PhD thesis Other
Proc. ACM Program. Lang., 2017
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016
IFC Inside: Retrofitting Languages with Dynamic Information Flow Control (Extended Version).
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015
Proceedings of the Principles of Security and Trust - 4th International Conference, 2015
Proceedings of the 15th Workshop on Hot Topics in Operating Systems, 2015
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
Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs, 2011