Inference of Session Types From Control Flow. - Peter Collingbourne; Paul H. J. Kelly (FESCA@ETAPS, 2008)

Symbolic crosschecking of floating-point and SIMD code. - Peter Collingbourne; Cristian Cadar; Paul H. J. Kelly (EuroSys, 2011)

Symbolic Testing of OpenCL Code. - Peter Collingbourne; Cristian Cadar; Paul H. J. Kelly (Haifa Verification Conference, 2011)

Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels. - Peter Collingbourne; Alastair F. Donaldson; Jeroen Ketema; Shaz Qadeer (ESOP, 2013)

Symbolic crosschecking of data-parallel floating point code. - Peter Cyrus Collingbourne (2013)

Engineering a Static Verification Tool for GPU Kernels. - Ethel Bardsley; Adam Betts; Nathan Chong; Peter Collingbourne; Pantazis Deligiannis; Alastair F. Donaldson; Jeroen Ketema; Daniel Liew; Shaz Qadeer (CAV, 2014)

Enforcing Forward-Edge Control-Flow Integrity in GCC & LLVM. - Caroline Tice; Tom Roeder; Peter Collingbourne; Stephen Checkoway; Úlfar Erlingsson; Luis Lozano; Geoff Pike (USENIX Security Symposium, 2014)

Symbolic Crosschecking of Data-Parallel Floating-Point Code. - Peter Collingbourne; Cristian Cadar; Paul H. J. Kelly (IEEE Trans. Software Eng., 2014)

Souper: A Synthesizing Superoptimizer. - Raimondas Sasnauskas; Yang Chen 024; Peter Collingbourne; Jeroen Ketema; Jubi Taneja; John Regehr (CoRR, 2017)