Concepedia

Peter Collingbourne

PC

Statistics

Publications

4

Citations

388

H-Index

4

Active since

2011

Affiliations

Imperial College London(Current)

Peter Collingbourne is an author at Imperial College London specializing in program analysis, computer engineering, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisComputer EngineeringComputer ArchitectureVerificationParallel ComputingFormal Verification

Publications per year

2011–2017

4

Publications

4

Enforcing forward-edge control-flow integrity in GCC & LLVM

Caroline Tice, Tom Roeder, Peter Collingbourne et al. · 2014 · 242 citations

Engineering, Compiler Technology, Verification +23

Symbolic crosschecking of floating-point and SIMD code

Peter Collingbourne, Cristian Cadar, Paul H. J. Kelly · 2011 · 81 citations

Numerical Analysis, Mathematical Programming, Symbolic Crosschecking +23

Souper: A Synthesizing Superoptimizer

Raimondas Sasnauskas, Yang Chen, Peter Collingbourne et al. · arXiv (Cornell University) · 2017 · 42 citations · Full text

Engineering, Compiler Technology, Computer Architecture +22

Symbolic Crosschecking of Data-Parallel Floating-Point Code

Peter Collingbourne, Cristian Cadar, Paul H. J. Kelly · IEEE Transactions on Software Engineering · 2014 · 23 citations · Full text

Symbolic Crosschecking, Engineering, Compiler Technology +20

1–4 of 4