Peter Gammie

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 8

Top Topics

String Matching

Mutual Exclusion

Hybrid Automata

Top Venues

Arch. Formal Proofs

Publications

Peter Gammie
ConcurrentHOL. Arch. Formal Proofs 2024 (2024)
Peter Gammie
Putting the 'K' into Bird's derivation of Knuth-Morris-Pratt string matching. Arch. Formal Proofs 2020 (2020)
Peter Gammie, Gianpaolo Gioiosa
The Kuratowski Closure-Complement Theorem. Arch. Formal Proofs 2017 (2017)
Peter Gammie
Stable Matching. Arch. Formal Proofs 2016 (2016)
Peter Gammie, Antony L. Hosking, Kai Engelhardt
Relaxing safely: verified on-the-fly garbage collection for x86-TSO. PLDI (2015)
Peter Gammie
Concurrent IMP. Arch. Formal Proofs 2015 (2015)
Peter Gammie, Andreas Lochbihler
The Stern-Brocot Tree. Arch. Formal Proofs 2015 (2015)
Peter Gammie, Tony Hosking, Kai Engelhardt
Relaxing Safely: Verified On-the-Fly Garbage Collection for x86-TSO. Arch. Formal Proofs 2015 (2015)
Peter Gammie
Synchronous digital circuits as functional programs. ACM Comput. Surv. 46 (2) (2013)
Toby C. Murray, Daniel Matichuk, Matthew Brassil, Peter Gammie, Timothy Bourke, Sean Seefried, Corey Lewis, Xin Gao, Gerwin Klein
seL4: From General Purpose to a Proof of Information Flow Enforcement. IEEE Symposium on Security and Privacy (2013)
Toby C. Murray, Daniel Matichuk, Matthew Brassil, Peter Gammie, Gerwin Klein
Noninterference for Operating System Kernels. CPP (2012)
Peter Gammie
Logical Relations for PCF. Arch. Formal Proofs 2012 (2012)
Peter Gammie
Verified Synthesis of Knowledge-Based Programs in Finite Synchronous Environments. ITP (2011)
Gerwin Klein, Toby C. Murray, Peter Gammie, Thomas Sewell, Simon Winwood
Provable Security: How Feasible Is It? HotOS (2011)
Peter Gammie
Short note: Strict unwraps make worker/wrapper fusion totally correct. J. Funct. Program. 21 (2) (2011)
Peter Gammie
, Second Edition by J. R. Hindley and J. P. Seldin. J. Funct. Program. 21 (1) (2011)
Peter Gammie
Knowledge-based programs. Arch. Formal Proofs 2011 (2011)
Thomas Sewell, Simon Winwood, Peter Gammie, Toby C. Murray, June Andronick, Gerwin Klein
seL4 Enforces Integrity. ITP (2011)
Peter Gammie
. The MIT Press, 2004. ISBN: 0262220695 Price $70. 930pp. J. Funct. Program. 19 (2) (2009)
Peter Gammie
The Worker/Wrapper Transformation. Arch. Formal Proofs 2009 (2009)
Peter Gammie
Some classical results in Social Choice Theory. Arch. Formal Proofs 2008 (2008)
Kai Engelhardt, Peter Gammie, Ron van der Meyden
Model Checking Knowledge and Linear Time: PSPACE Cases. LFCS (2007)
Peter Gammie, Ron van der Meyden
MCK: Model Checking the Logic of Knowledge. CAV (2004)