Holger Siegel

According to our database, Holger Siegel authored at least 6 papers between 2007 and 2016.

Collaborative distances:

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

2016

Numeric Inference of Heap Shapes for the Automated Analysis of Heap-Allocating Programs.

Holger Siegel

PhD thesis, 2016

2015

Shape Analysis with Connectors.

Holger Siegel, Axel Simon

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

2013

FESA: Fold- and Expand-Based Shape Analysis.

Holger Siegel, Axel Simon

Proceedings of the Compiler Construction - 22nd International Conference, 2013

The Undefined Domain: Precise Relational Information for Entities That Do Not Exist.

Holger Siegel, Bogdan Mihaila, Axel Simon

Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013

2011

Summarized Dimensions Revisited.

Holger Siegel, Axel Simon

Proceedings of the Third International Workshop on Numerical and Symbolic Abstract Domains, 2011

2007

Debugging Lazy Functional Programs by Asking the Oracle.

Bernd Braßel, Holger Siegel

Proceedings of the Implementation and Application of Functional Languages, 2007