Analyzing Array Manipulating Programs by Program Transformation. - J. Robert M. Cornish; Graeme Gange; Jorge A. Navas; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (LOPSTR, 2014)

Algorithms and modelling for large-scale Bayesian data analysis. - J. Robert M. Cornish (2019)