David J. Pearce

Summary

• 2 papers in 2 bundles
• Top 3 popular topics:
  • T5D: Formal Methods (2 times)
  • T1A: Design (1 times)
  • T1B: Static Semantics (1 times)
• Top 2 coauthors:
  • Lindsay Groves (1 times)
  • ∅ (1 times)
• Made 6 contributions (see below)

List of contributions

• (SLE 2013) Coauthored Whiley: A Platform for Research in Software Verification (David J. Pearce, Lindsay Groves)
• (SLE 2014) Served as a Programme Chair
• (SLE 2014 SI) Served as an Editor
• (SLE 2015) Authored The Whiley Rewrite Language (WyRL) (David J. Pearce)
• (SLE 2015) Served on PC
• (SLE 2018) Served as a General Chair

---

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.