Towards a Scalable Framework for Context-Free Language Reachability. - Nicholas Hollingum; Bernhard Scholz (CC, 2015)

Giga-scale exhaustive points-to analysis for Java in under a minute. - Jens Dietrich 001; Nicholas Hollingum; Bernhard Scholz (OOPSLA, 2015)

A Note on the Soundness of Difference Propagation. - Jens Dietrich 001; Nicholas Hollingum; Bernhard Scholz (FTfJP@ECOOP, 2016)

Cauliflower: a Solver Generator for Context-Free Language Reachability. - Nicholas Hollingum; Bernhard Scholz (LPAR, 2017)

On the Practice and Application of Context-Free Language Reachability. - Nicholas Hollingum (2017)