Peter Gammie
Peter Gammie
Verified email at anu.edu.au - Homepage
Title
Cited by
Cited by
Year
MCK: Model checking the logic of knowledge
P Gammie, R Van Der Meyden
International Conference on Computer Aided Verification, 479-483, 2004
2932004
seL4: from general purpose to a proof of information flow enforcement
T Murray, D Matichuk, M Brassil, P Gammie, T Bourke, S Seefried, ...
2013 IEEE Symposium on Security and Privacy, 415-429, 2013
2252013
seL4 enforces integrity
T Sewell, S Winwood, P Gammie, T Murray, J Andronick, G Klein
International Conference on Interactive Theorem Proving, 325-340, 2011
1012011
Noninterference for operating system kernels
T Murray, D Matichuk, M Brassil, P Gammie, G Klein
International Conference on Certified Programs and Proofs, 126-142, 2012
652012
Relaxing safely: verified on-the-fly garbage collection for x86-TSO
P Gammie, AL Hosking, K Engelhardt
ACM SIGPLAN Notices 50 (6), 99-109, 2015
332015
Synchronous digital circuits as functional programs
P Gammie
ACM Computing Surveys (CSUR) 46 (2), 1-27, 2013
262013
Model checking knowledge and linear time: PSPACE cases
K Engelhardt, P Gammie, R Van Der Meyden
International Symposium on Logical Foundations of Computer Science, 195-211, 2007
182007
Provable Security: How feasible is it?
G Klein, TC Murray, P Gammie, T Sewell, S Winwood
HotOS, 2011
152011
Short note: Strict unwraps make worker/wrapper fusion totally correct
P Gammie
Journal of Functional Programming 21 (2), 209-213, 2011
72011
The worker/wrapper transformation
P Gammie
Archive of Formal Proofs (Oct. 2009). URL: http://afp. sf. net/entries …, 2009
52009
The Stern–Brocot tree. Archive of Formal Proofs (2015)
P Gammie, A Lochbihler
42012
Stable matching
P Gammie
Archive of Formal Proofs, 2016
22016
CAmkES glue code semantics
M Fernandez, P Gammie, J Andronick, G Klein, I Kuz
NICTA and UNSW, 2013
22013
Verified synthesis of knowledge-based programs in finite synchronous environments
P Gammie
International Conference on Interactive Theorem Proving, 87-102, 2011
12011
Lambda-Calculus and Combinators: An Introduction, by JR Hindley and JP Seldin
P Gammie
Journal of Functional Programming 21 (1), 115-117, 2011
12011
Peter Van Roy and Seif Haridi. Concepts, Techniques, and Models of Computer Programming. The MIT Press, 2004. ISBN: 0262220695 Price $70. 930pp.
P Gammie
Journal of Functional Programming 19 (2), 254-256, 2009
12009
Putting the ‘K’into Bird’s derivation of Knuth-Morris-Pratt string matching
P Gammie
2021
February 23, 2021
P Gammie
2021
The Kuratowski Closure-Complement Theorem
P Gammie, G Gioiosa
2021
The Tortoise and the Hare Algorithm
P Gammie
2016
The system can't perform the operation now. Try again later.
Articles 1–20