Travelled to:2 × USA
Collaborated with:R.v.d.Meyden A.L.Hosking K.Engelhardt
Talks about:knowledg (1) collect (1) verifi (1) garbag (1) relax (1) model (1) logic (1) check (1) safe (1) tso (1)
Person: Peter Gammie
DBLP: Gammie:Peter
Contributed to:
2015
2004Wrote 2 papers:
- PLDI-2015-GammieHE #garbage collection #on the fly
- Relaxing safely: verified on-the-fly garbage collection for x86-TSO (PG, ALH, KE), pp. 99–109.
- CAV-2004-GammieM #logic #model checking #named
- MCK: Model Checking the Logic of Knowledge (PG, RvdM), pp. 479–483.