David Greenaway
David Greenaway
NICTA and School of Computer Science, University of New South Wales
Verified email at - Homepage
Cited by
Cited by
Bridging the gap: Automatic verified abstraction of C
D Greenaway, J Andronick, G Klein
Interactive Theorem Proving: Third International Conference, ITP 2012 …, 2012
Don't sweat the small stuff: formal verification of C code without the pain
D Greenaway, J Lim, J Andronick, G Klein
ACM SIGPLAN Notices 49 (6), 429-439, 2014
A learning-based fact selector for Isabelle/HOL
JC Blanchette, D Greenaway, C Kaliszyk, D Kühlwein, J Urban
Journal of Automated Reasoning 57, 219-244, 2016
Towards proving security in the presence of large untrusted components
J Andronick, D Greenaway, K Elphinstone
5th International Workshop on Systems Software Verification (SSV 10), 2010
Formally verified system initialisation
A Boyton, J Andronick, C Bannister, M Fernandez, X Gao, D Greenaway, ...
Formal Methods and Software Engineering: 15th International Conference on …, 2013
Automated proof-producing abstraction of C code
D Greenaway
UNSW Sydney, 2014
Lazy queueing and direct process switch—merit or myths?
K Elphinstone, D Greenaway, S Ruocco
Workshop on Operating Systems Platforms for Embedded Real-Time applications, 69, 2007
From ‘real fast’to real-time: quantifying the effects of scheduling on IPC performance
D Greenaway
B. Sc. thesis, School of Computer Science and Engineering, The University of …, 2007
Getting Started with AutoCorres
J Lim, R Jacob-Rao, D Greenaway
Don’t Sweat the Small Stuff
D Greenaway, J Lim, J Andronick, G Klein
The system can't perform the operation now. Try again later.
Articles 1–10