Concepedia

Peter Collingbourne

PC

Statistics

Publications

4

Citations

391

H-Index

4

Active since

2011

Affiliations

Imperial College London(Current)

Google (United States)

Peter Collingbourne is an author at Imperial College London specializing in computer science, control-flow analysis, and data-flow analysis.

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 · 243 citations

, , +14

Symbolic crosschecking of floating-point and SIMD code

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

, , +13

Souper: A Synthesizing Superoptimizer

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

, , +14

Symbolic Crosschecking of Data-Parallel Floating-Point Code

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

, , +16

1–4 of 4