Peter Collingbourne

According to our database, Peter Collingbourne authored at least 9 papers between 2008 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Souper: A Synthesizing Superoptimizer.

Raimondas Sasnauskas, Yang Chen, Peter Collingbourne, Jeroen Ketema, Jubi Taneja, John Regehr

CoRR, 2017

2014

Symbolic Crosschecking of Data-Parallel Floating-Point Code.

Peter Collingbourne, Cristian Cadar, Paul H. J. Kelly

IEEE Trans. Software Eng., 2014

Enforcing Forward-Edge Control-Flow Integrity in GCC & LLVM.

Caroline Tice, Tom Roeder, Peter Collingbourne, Stephen Checkoway, Úlfar Erlingsson, Luis Lozano, Geoff Pike

Proceedings of the 23rd USENIX Security Symposium, San Diego, CA, USA, August 20-22, 2014., 2014

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

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Symbolic crosschecking of data-parallel floating point code.

Peter Cyrus Collingbourne

PhD thesis, 2013

Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels.

Peter Collingbourne, Alastair F. Donaldson, Jeroen Ketema, Shaz Qadeer

Proceedings of the Programming Languages and Systems, 2013

2011

Symbolic Testing of OpenCL Code.

Peter Collingbourne, Cristian Cadar, Paul H. J. Kelly

Proceedings of the Hardware and Software: Verification and Testing, 2011

Symbolic crosschecking of floating-point and SIMD code.

Peter Collingbourne, Cristian Cadar, Paul H. J. Kelly

Proceedings of the European Conference on Computer Systems, 2011

2008

Inference of Session Types From Control Flow.

Peter Collingbourne, Paul H. J. Kelly

Proceedings of the 5th International Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, 2008