Research Interests
I am interested in the application of theory and tools for the specification and verification of semi-structured and heap-based data update. I am also interested in type safe code generation.
 
Software
Smallfoot: automatic verification in separation logic. The cousin SmallfootRG supports fine-grained concurrency. For news about Space Invader, see Dino’s Blog.

MetaOCaml: a multi-staged extension of OCaml.
 
Publications
Here is a complete list
 
Program Committees
+ LICS 2008
+ PEPM 2008
+ FOSSACS 2007
+ HAV 2007 (Heap Analysis and Verification)
+ GPCE 2005
+ MetaOCaml 2005
+ COSMICAH 2005
+ MetaOCaml 2004
+ SPACE 2004
 
Links
I am also a member of the East London Massive.
 
 
Cristiano Calcagno            
EPSRC Advanced Fellow
Department of Computing
Imperial College London
 
Contact
ccrisXdoc.ic.ac.uk where X is @.
 
Department of Computing
Imperial College of Science, Technology and Medicine
180 Queen's Gate
London SW7 2BZ
 
Teaching
Object Oriented Design and Programming (UML and C++)
last updated: 21 Jul 2008