David Greenaway

According to our database, David Greenaway authored at least 7 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

AutoCorres2.

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

Arch. Formal Proofs, 2024

2016

A Learning-Based Fact Selector for Isabelle/HOL.

Jasmin Christian Blanchette, David Greenaway, Cezary Kaliszyk, Daniel Kühlwein, Josef Urban

J. Autom. Reason., 2016

2014

Automated proof-producing abstraction of C code.

David Greenaway

PhD thesis, 2014

Don't sweat the small stuff: formal verification of C code without the pain.

David Greenaway, Japheth Lim, June Andronick, Gerwin Klein

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

2013

Formally Verified System Initialisation.

Andrew Boyton, June Andronick, Callum Bannister, Matthew Fernandez, Xin Gao, David Greenaway, Gerwin Klein, Corey Lewis, Thomas Sewell

Proceedings of the Formal Methods and Software Engineering, 2013

2012

Bridging the Gap: Automatic Verified Abstraction of C.

David Greenaway, June Andronick, Gerwin Klein

Proceedings of the Interactive Theorem Proving - Third International Conference, 2012

2010

Towards Proving Security in the Presence of Large Untrusted Components.

June Andronick, David Greenaway, Kevin Elphinstone

Proceedings of the 5th International Workshop on Systems Software Verification, 2010