Nicholas Hollingum

Publication Activity (10 Years)

Years Active: 2015-2017
Publications (10 Years): 2

Top Topics

Context Free Languages

Grammatical Inference

Top Venues

University of Sydney, Australia (PHD)

Education History

University of Sydney, Australia

PHD

Publications

Nicholas Hollingum, Bernhard Scholz
Cauliflower: a Solver Generator for Context-Free Language Reachability. LPAR (2017)
Jens Dietrich, Nicholas Hollingum, Bernhard Scholz
A Note on the Soundness of Difference Propagation. FTfJP@ECOOP (2016)
Nicholas Hollingum, Bernhard Scholz
Towards a Scalable Framework for Context-Free Language Reachability. CC (2015)
Jens Dietrich, Nicholas Hollingum, Bernhard Scholz
Giga-scale exhaustive points-to analysis for Java in under a minute. OOPSLA (2015)