Peter Gammie
Peter Gammie
Verifierad e-postadress på anu.edu.au - Startsida
Titel
Citeras av
Citeras av
År
MCK: Model checking the logic of knowledge
P Gammie, R Van Der Meyden
International Conference on Computer Aided Verification, 479-483, 2004
2912004
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
2242013
seL4 enforces integrity
T Sewell, S Winwood, P Gammie, T Murray, J Andronick, G Klein
International Conference on Interactive Theorem Proving, 325-340, 2011
992011
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
622012
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
342015
Synchronous digital circuits as functional programs
P Gammie
ACM Computing Surveys (CSUR) 46 (2), 1-27, 2013
242013
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
82011
The Stern–Brocot tree. Archive of Formal Proofs (2015)
P Gammie, A Lochbihler
52012
The worker/wrapper transformation
P Gammie
Archive of Formal Proofs (Oct. 2009). URL: http://afp. sf. net/entries …, 2009
52009
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
P Gammie, JP Hindley
Journal of Functional Programming 21 (1), 115, 2011
12011
Concepts, Techniques, and Models of Computer Programming
P Gammie, P Van, S Roy
Journal of Functional Programming 19 (2), 254, 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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20