Computing Publications

Publications Home » Authors » Mr David Cunningham

Authors

Mr David Cunningham

6 publications for this author.

Journal Special Issue Article

Universe Types for Topology and Encapsulation [PDF]
David Cunningham, Werner Dietl, Sophia Drossopoulou, Adrian Francalanza, Peter , Alexander Summers
Formal Methods for Components (FMCO) 2007
Volume 5382, pp.72–112
Lecture Notes in Computer Science, Springer Verlag
2008

Conference and Workshop Papers

Lock Inference Proven Correct [PDF]
David Cunningham, Sophia Drossopoulou, Susan Eisenbach
FTfJP
July, 2008
Keep Off The Grass: Locking the Right Path for Atomicity [PDF]
David Cunningham, Khilan Gudka, Susan Eisenbach
Compiler Construction 2008
Volume 4959, pp.276–290
Lecture Notes in Computer Science, Springer Berlin / Heidelberg
April, 2008
Universe Types for Race Safety [PDF]
David Cunningham, Sophia Drossopoulou, Susan Eisenbach
VAMP 07
pp.20–51
September, 2007

PhD Theses

Locking Atomic Sections [PDF]
David Cunningham
May, 2010
Locking Atomic Sections
David Cunningham
May, 2010

BibTeX file for these publications

 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.