xThe data center, from which the conference websites are hosted, is currently experiencing power issues. Our colleagues are working hard to resolve the issue and keep downtime to a minimum.
SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
David J. Pearce

Registered user since Wed 7 Jan 2015

Name:David J. Pearce
Bio:

David (@whileydave) graduated with a PhD from Imperial College London in 2005, and was an A/Prof at Victoria University of Wellington before joining ConsenSys in 2022. 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, David 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:United States
Affiliation:ConsenSys
Personal website:https://whileydave.com
Research interests:Programming Languages, Compilers, Software Verification

Contributions

FTSCS 2022 Committee Member in Program Committee within the Formal Techniques for Safety-Critical Systems-track
SPLASH 2022 Putting the Semantics into Semantic Versioning
GPCE 2022 Language Design meets Verifying Compilers
Show activities from other conferences

Using general profile