We stand with Ukraine  

Peter Gammie

Affiliations:
  • Australian National University


According to our database1, Peter Gammie authored at least 22 papers between 2004 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
ConcurrentHOL.
[BibTeX]
[DOI]
Peter Gammie
Arch. Formal Proofs, 2024

2020
Putting the 'K' into Bird's derivation of Knuth-Morris-Pratt string matching.
[BibTeX]
[DOI]
Peter Gammie
Arch. Formal Proofs, 2020

2017
The Kuratowski Closure-Complement Theorem.
[BibTeX]
[DOI]
Peter Gammie
,
Gianpaolo Gioiosa
Arch. Formal Proofs, 2017

2016
Stable Matching.
[BibTeX]
[DOI]
Peter Gammie
Arch. Formal Proofs, 2016

2015
The Stern-Brocot Tree.
[BibTeX]
[DOI]
Peter Gammie
,
Andreas Lochbihler
Arch. Formal Proofs, 2015

Relaxing Safely: Verified On-the-Fly Garbage Collection for x86-TSO.
[BibTeX]
[DOI]
Peter Gammie
,
Tony Hosking
,
Kai Engelhardt
Arch. Formal Proofs, 2015

Concurrent IMP.
[BibTeX]
[DOI]
Peter Gammie
Arch. Formal Proofs, 2015

2013
Synchronous digital circuits as functional programs.
[BibTeX]
[DOI]
Peter Gammie
ACM Comput. Surv., 2013

seL4: From General Purpose to a Proof of Information Flow Enforcement.
[BibTeX]
[DOI]
Toby C. Murray
,
Daniel Matichuk
,
Matthew Brassil
,
Peter Gammie
,
Timothy Bourke
,
Sean Seefried
,
Corey Lewis
,
Xin Gao
,
Gerwin Klein
Proceedings of the 2013 IEEE Symposium on Security and Privacy, 2013

2012
Logical Relations for PCF.
[BibTeX]
[DOI]
Peter Gammie
Arch. Formal Proofs, 2012

Noninterference for Operating System Kernels.
[BibTeX]
[DOI]
Toby C. Murray
,
Daniel Matichuk
,
Matthew Brassil
,
Peter Gammie
,
Gerwin Klein
Proceedings of the Certified Programs and Proofs - Second International Conference, 2012

2011
Short note: Strict unwraps make worker/wrapper fusion totally correct.
[BibTeX]
[DOI]
Peter Gammie
J. Funct. Program., 2011

<i>Review: Lambda-Calculus and Combinators: An Introduction</i>, Second Edition by J. R. Hindley and J. P. Seldin.
[BibTeX]
[DOI]
Peter Gammie
J. Funct. Program., 2011

Knowledge-based programs.
[BibTeX]
[DOI]
Peter Gammie
Arch. Formal Proofs, 2011

seL4 Enforces Integrity.
[BibTeX]
[DOI]
Thomas Sewell
,
Simon Winwood
,
Peter Gammie
,
Toby C. Murray
,
June Andronick
,
Gerwin Klein
Proceedings of the Interactive Theorem Proving - Second International Conference, 2011

Verified Synthesis of Knowledge-Based Programs in Finite Synchronous Environments.
[BibTeX]
[DOI]
Peter Gammie
Proceedings of the Interactive Theorem Proving - Second International Conference, 2011

Provable Security: How Feasible Is It?
[BibTeX]
[DOI]
Gerwin Klein
,
Toby C. Murray
,
Peter Gammie
,
Thomas Sewell
,
Simon Winwood
Proceedings of the 13th Workshop on Hot Topics in Operating Systems, 2011

2009
Peter Van Roy and Seif Haridi. <i>Concepts, Techniques, and Models of Computer Programming</i>. The MIT Press, 2004. ISBN: 0262220695 Price $70. 930pp.
[BibTeX]
[DOI]
Peter Gammie
J. Funct. Program., 2009

The Worker/Wrapper Transformation.
[BibTeX]
[DOI]
Peter Gammie
Arch. Formal Proofs, 2009

2008
Some classical results in Social Choice Theory.
[BibTeX]
[DOI]
Peter Gammie
Arch. Formal Proofs, 2008

2007
Model Checking Knowledge and Linear Time: PSPACE Cases.
[BibTeX]
[DOI]
Kai Engelhardt
,
Peter Gammie
,
Ron van der Meyden
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2007

2004
MCK: Model Checking the Logic of Knowledge.
[BibTeX]
[DOI]
Peter Gammie
,
Ron van der Meyden
Proceedings of the Computer Aided Verification, 16th International Conference, 2004


  Loading...