| MCK: Model checking the logic of knowledge P Gammie, R Van Der Meyden International Conference on Computer Aided Verification, 479-483, 2004 | 288 | 2004 |
| 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 | 218 | 2013 |
| seL4 enforces integrity T Sewell, S Winwood, P Gammie, T Murray, J Andronick, G Klein International Conference on Interactive Theorem Proving, 325-340, 2011 | 98 | 2011 |
| 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 | 62 | 2012 |
| 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 | 34 | 2015 |
| Synchronous digital circuits as functional programs P Gammie ACM Computing Surveys (CSUR) 46 (2), 1-27, 2013 | 24 | 2013 |
| 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 | 18 | 2007 |
| Provable Security: How feasible is it? G Klein, TC Murray, P Gammie, T Sewell, S Winwood HotOS, 2011 | 15 | 2011 |
| Short note: Strict unwraps make worker/wrapper fusion totally correct P Gammie Journal of Functional Programming 21 (2), 209-213, 2011 | 8 | 2011 |
| The Stern–Brocot tree. Archive of Formal Proofs (2015) P Gammie, A Lochbihler | 5 | 2012 |
| The worker/wrapper transformation P Gammie Archive of Formal Proofs (Oct. 2009). URL: http://afp. sf. net/entries …, 2009 | 5 | 2009 |
| CAmkES glue code semantics M Fernandez, P Gammie, J Andronick, G Klein, I Kuz NICTA and UNSW, 2013 | 2 | 2013 |
| Stable matching P Gammie Archive of Formal Proofs (October 2016) http://isa-afp. org/entries …, 2016 | 1 | 2016 |
| Verified synthesis of knowledge-based programs in finite synchronous environments P Gammie International Conference on Interactive Theorem Proving, 87-102, 2011 | 1 | 2011 |
| Lambda-Calculus and Combinators: An Introduction P Gammie, JP Hindley Journal of Functional Programming 21 (1), 115, 2011 | 1 | 2011 |
| Concepts, Techniques, and Models of Computer Programming P Gammie, P Van, S Roy Journal of Functional Programming 19 (2), 254, 2009 | 1 | 2009 |
| 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 |
Gerwin KleinData61 and UNSWVerified email at cse.unsw.edu.au
