SLE 2018
Sun 4 - Fri 9 November 2018 Boston, Massachusetts, United States
co-located with SPLASH 2018
David Pearce

Registered user since Wed 7 Jan 2015

Name: David Pearce

Bio: David (@whileydave) graduated with a PhD from Imperial College London in 2005, and took up a lecturer position at Victoria University of Wellington, NZ. David’s PhD thesis was on efficient algorithms for pointer analysis of C, and his techniques have since been incorporated into GCC. His interests are in programming languages, compilers and static analysis. Since 2009, he has been developing the Whiley Programming Language (whiley.org) which is designed specifically to simplify program verification. Prior to that, David developed the Java Compiler Kit (JKit), which is an open source Java Compiler aimed at simplifying static analysis. David has previously interned at Bell Labs, New Jersey, where he worked on compilers for FPGAs; and also at IBM Hursely, UK, where he worked with the AspectJ development team on profiling systems.

Country: New Zealand

Affiliation: Victoria University of Wellington

Personal website: http://homepages.ecs.vuw.ac.nz/~djp/

Research interests: Programming Languages, Compilers, Software Verification

Contributions

VMIL 2018Author of Towards Compilation of an Imperative Language for FPGAs within the VMIL 2018-track
SLE 2018General Chair in Organizing Committee within the SLE 2018-track
Author of Opening within the SLE 2018-track
GPCE 2018Author of Awards within the GPCE 2018-track
Author of Opening within the GPCE 2018-track
SPLASH 2018Mentor in Mentors within the Breakfasts-track
Session Chair of Safe Merging (part of OOPSLA)
Show activities from other conferences

SPLASH 2018-profile
View general profile