CAV papers......

I co-authored a couple of papers that will appear at this year's CAV conference:

• Proving Conditional Termination, with Sumit Gulwani, Tal Lev-Ami, Andrey Rybalchenko, and Mooly Sagiv
  
• Scalable Shape Analysis for Systems Code, with the East London Massive