Shape Analysis
- Josh Berdine, Cristiano Calcagno, and Peter W. O’Hearn. Symbolic Execution with Separation Logic. APLAS 2005.
- Dino Distefano, Peter W. O’Hearn, and Hongseok Yang. A Local Shape Analysis based on Separation Logic. TACAS 2006.
- Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter O’Hearn, Thomas Wies, and Hongseok Yang. Shape analysis for composite data structures. CAV 2007.
Information Flow
- Torben Amtoft, Sruthi Bandhakavi, and Anindya Banerjee. A Logic for Information Flow in Object-Oriented Programs. POPL 2006.
Reading one paper each day, makes the doctor go away 
