Peter Collingbourne

Publication Activity (10 Years)

Years Active: 2010-2017
Publications (10 Years): 1

Top Topics

Reactive Systems

Signature Verification

Mechanical Engineering

Top Venues

USENIX Security Symposium

Publications

Raimondas Sasnauskas, Yang Chen, Peter Collingbourne, Jeroen Ketema, Jubi Taneja, John Regehr
Souper: A Synthesizing Superoptimizer. CoRR (2017)
Caroline Tice, Tom Roeder, Peter Collingbourne, Stephen Checkoway, Úlfar Erlingsson, Luis Lozano, Geoff Pike
Enforcing Forward-Edge Control-Flow Integrity in GCC & LLVM. USENIX Security Symposium (2014)
Peter Collingbourne, Cristian Cadar, Paul H. J. Kelly
Symbolic Crosschecking of Data-Parallel Floating-Point Code. IEEE Trans. Software Eng. 40 (7) (2014)
Ethel Bardsley, Adam Betts, Nathan Chong, Peter Collingbourne, Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema, Daniel Liew, Shaz Qadeer
Engineering a Static Verification Tool for GPU Kernels. CAV (2014)
Peter Collingbourne, Alastair F. Donaldson, Jeroen Ketema, Shaz Qadeer
Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels. ESOP (2013)
Peter Collingbourne, Cristian Cadar, Paul H. J. Kelly
Symbolic crosschecking of floating-point and SIMD code. EuroSys (2011)
Peter Collingbourne, Cristian Cadar, Paul H. J. Kelly
Symbolic Testing of OpenCL Code. Haifa Verification Conference (2011)
Peter Collingbourne, Paul H. J. Kelly
Inference of Session Types From Control Flow. Electron. Notes Theor. Comput. Sci. 238 (6) (2010)