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

Twitter:https://twitter.com/WhileyDave

Research interests:Programming Languages, Compilers, Software Verification

Contributions

SPLASH 2024	Committee Member in Review Committee within the OOPSLA 2024-track
ECOOP 2023	Author of On Leveraging Tests to Infer Nullable Annotations within the Research Papers-track
FTSCS 2022	Committee Member in Program Committee within the Formal Techniques for Safety-Critical Systems-track
SPLASH 2022	Author of Putting the Semantics into Semantic Versioning within the COVID Time Papers In Person-track
GPCE 2022	Author of Language Design meets Verifying Compilers within the GPCE Keynote-track
SLE 2021	Committee Member in Steering Committee within the SLE-track
‹Programming› 2021	Author of Finding Bugs with Specification-Based Testing is Easy! within the Research Papers-track
SPLASH 2020	Author of Putting the Semantics into Semantic Versioning within the Onward! Essays-track
GPCE 2020	Session Chair of (part of GPCE)
MoreVMs'20	Committee Member in Program Committee within the MoreVMs'20-track
GPCE 2019	Committee Member in Program Committee within the GPCE 2019-track
VMIL 2019	Committee Member in Program Committee within the VMIL 2019-track
ECOOP 2019	Committee Member in Program Committee within the Research Papers-track
MSR 2019	Author of Dependency Versioning in the Wild within the MSR 2019 Technical Papers-track
SLE 2018	General Chair in Organizing Committee within the SLE 2018-track Author of Opening within the SLE 2018-track
SPLASH 2018	Mentor in Mentors within the Breakfasts-track Session Chair of Safe Merging (part of OOPSLA)
VMIL 2018	Author of Towards Compilation of an Imperative Language for FPGAs within the VMIL 2018-track
GPCE 2018	Author of Awards within the GPCE 2018-track Author of Opening within the GPCE 2018-track
PLDI 2018	Committee Member in External Review Committee
SLE 2017	Committee Member in Steering Committee within the SLE-track
GPCE 2017	Author of Rewriting for Sound and Complete Union, Intersection and Negation Types within the GPCE 2017-track
ARRAY 2017	Author of Array Programming in Whiley within the ARRAY 2017-track
ECOOP 2017	Author of Contracts in the Wild: A Study of Java Programs within the ECOOP Research Papers-track
SPLASH 2016	Committee Member in Program Committee within the Workshops-track
ECOOP 2016	Committee Member in External Review Committee within the Research Track-track
FTfJP 2016	Author of A Mechanical Soundness Proof for Subtyping Over Recursive Types within the FTfJP-track
NOOL 2015	Author of Whiley: a Better C? within the NOOL-track
PLATEAU 2015	Author of Some Usability Hypotheses for Verification within the PLATEAU-track
SLE 2015	SLE Steering Committee Member in Steering Committee Author of The Whiley Rewrite Language (WyRL) within the SLE-track Committee Member in Program Committee within the SLE-track Session Chair of Tools I (part of SLE)
SLE 2013	Author of Whiley: a Platform for Research in Software Verification within the Research Papers-track