Peter is currently a software engineer at Google.
Group Publications
-
Symbolic Crosschecking of Data-Parallel Floating-Point Code
Peter Collingbourne, Cristian Cadar, Paul H. J. Kelly
IEEE Transactions on Software Engineering (TSE 2014)
-
Symbolic Crosschecking of Floating-Point and SIMD Code
Peter Collingbourne, Cristian Cadar, Paul H. J. Kelly
European Conference on Computer Systems (EuroSys 2011)
-
Symbolic Testing of OpenCL Code
Peter Collingbourne, Cristian Cadar, Paul H. J. Kelly
Haifa Verification Conference (HVC 2011)