David Greenaway

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 2

Top Topics

Formal Verification

Top Venues

Arch. Formal Proofs

J. Autom. Reason.

University of New South Wales, Sydney, Australia (PHD)

Education History

University of New South Wales, Sydney, Australia

PHD

Publications

Matthew Brecknell, David Greenaway, Johannes Hölzl, Fabian Immler, Gerwin Klein, Rafal Kolanski, Japheth Lim, Michael Norrish, Norbert Schirmer, Salomon Sickert, Thomas Sewell, Harvey Tuch, Simon Wimmer
AutoCorres2. Arch. Formal Proofs 2024 (2024)
Jasmin Christian Blanchette, David Greenaway, Cezary Kaliszyk, Daniel Kühlwein, Josef Urban
A Learning-Based Fact Selector for Isabelle/HOL. J. Autom. Reason. 57 (3) (2016)
David Greenaway, Japheth Lim, June Andronick, Gerwin Klein
Don't sweat the small stuff: formal verification of C code without the pain. PLDI (2014)
Andrew Boyton, June Andronick, Callum Bannister, Matthew Fernandez, Xin Gao, David Greenaway, Gerwin Klein, Corey Lewis, Thomas Sewell
Formally Verified System Initialisation. ICFEM (2013)
David Greenaway, June Andronick, Gerwin Klein
Bridging the Gap: Automatic Verified Abstraction of C. ITP (2012)
June Andronick, David Greenaway, Kevin Elphinstone
Towards Proving Security in the Presence of Large Untrusted Components. SSV (2010)