Nicholas Hollingum

According to our database, Nicholas Hollingum authored at least 5 papers between 2015 and 2017.

Collaborative distances:

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

2017

On the Practice and Application of Context-Free Language Reachability.

Nicholas Hollingum

PhD thesis, 2017

Cauliflower: a Solver Generator for Context-Free Language Reachability.

Nicholas Hollingum, Bernhard Scholz

Proceedings of the LPAR-21, 2017

2016

A Note on the Soundness of Difference Propagation.

Jens Dietrich, Nicholas Hollingum, Bernhard Scholz

Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, 2016

2015

Giga-scale exhaustive points-to analysis for Java in under a minute.

Jens Dietrich, Nicholas Hollingum, Bernhard Scholz

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Towards a Scalable Framework for Context-Free Language Reachability.

Nicholas Hollingum, Bernhard Scholz

Proceedings of the Compiler Construction - 24th International Conference, 2015