Peter Collingbourne

Contact

E-mail:

(my PGP key)
Post:

Mr Peter Collingbourne
PhD Student
Department of Computing
Imperial College London
180 Queen's Gate
London SW7 2AZ

P. Collingbourne and P. Kelly. Inference of session types from control flow. In Formal Foundations of Embedded Software and Component-Based Software Architectures (FESCA 2008), 2008.
P. Collingbourne. Semantic lifting and active libraries. PhD Transfer Report, September 2008.
P. Collingbourne and P. Kelly. A Compile-Time Infrastructure for GCC Using Haskell (extended version) (source code). In GCC Research Opportunities Workshop (GROW 2009), 2009.
P. Collingbourne, C. Cadar and P. Kelly. Symbolic Crosschecking of Floating-Point and SIMD Code. In European Conference on Computer Systems (EuroSys 2011), 2011.

CHS -- A set of compiler extensions based on the functional language, Haskell.
KLEE-FP -- A symbolic execution tool based on KLEE with floating point, SIMD and GPGPU extensions.