1. Reasoning About Algebraic Data Types with Abstractions

   • Tuan-Hung Pham
   • Andrew Gacek
   • Michael W. Whalen

   OriginalPaper 29 March 2016 Pages: 281 - 318

   

2. A Formal C Memory Model for Separation Logic

   • Robbert Krebbers

   OriginalPaper Open access 10 May 2016 Pages: 319 - 387