Publications

• Blaming the Client: On Data Refinement in Presence of Pointers (.pdf)
  I Filipovic, P O'Hearn, N Torp-Smith and H Yang.
  To appear in Formal Aspects of Computing
• Abstraction for Concurrent Objects (.pdf)
  I Filipovic, PW O'Hearn, N Rinetzky and H Yang, ESOP 09
• Separation and Data Refinement (.pdf)
  Ivana Mijajlovic
  PhD Thesis, June 2007
• Data Refinement with Low-level Pointer Operations (.pdf)
  Ivana Mijajlovic and Hongseok Yang
  In Proceedings of APLAS 2005, November 2005.
• Refinement and Separation Contexts (.pdf)
  Ivana Mijajlovic, Noah Torp-Smith and Peter O'Hearn
  In Proceedings of FSTTCS 2004, December 2004.
• Refinement in a Separation Context (.pdf)
  Ivana Mijajlovic and Noah Torp-Smith
  Presented at the SPACE workshop, January 2004.