Publication and Note

• A Semantic Basis for Local Reasoning,
  with Peter W. O'Hearn, October, 2001, FOSSACS 2002 ©Springer-Verlag (To Appear)
• Local Reasoning about Programs that Alter Data Structures,
  with Peter W. O'Hearn and John Reynolds, June, 2001, CSL 2001 ©Springer-Verlag
• Local Reasoning for Stateful Programs,
  Ph.D. thesis, July, 2001
• Computability and Complexity Results for a Spatial Assertion Language for Data Structures,
  with Cristiano Calcagno and Peter W. O'Hearn, May, 2001, FSTTCS 2001 ©Springer-Verlag

• Parametric Sheaves for modelling Store Locality,
  with Uday S. Reddy, July, 2000, Submitted to Theoretical Computer Science

• An example of local reasoning in BI pointer logic:the Schorr-Waite graph marking algorithm,
  November, 2000, SPACE 2001 workshop in London
• Possible Worlds and Resources: The Semantics of BI,
  with Peter W. O'Hearn and David J. Pym, October, 2000, Submitted to Theoretical Computer Science
• Petri Net Semantics of Bunched Implication,
  with Peter W. O'Hearn, October, 1999, electric manuscript

• On the Semantics of Refinement Calculi,
  with Uday S. Reddy, October, 1999, FOSSACS 2000, ©Springer-Verlag

• Type Reconstruction for Syntactic Control of Interference, Part 2,
  with Howard Huang, ICCL 1998
• Imperative Lambda Calculus Revisited,
  with Uday S. Reddy, August, 1997, electric manuscript