COMPLX: A Verification Framework for Concurrent Imperative Programs by Sidney Amani, June Andronick, Maksym Bortin, Corey Lewis, Christine Rizkallah and Joseph Tuong Nov 29
AutoFocus Stream Processing for Single-Clocking and Multi-Clocking Semantics by David Trachtenherz Feb 23
Locally Nameless Sigma Calculus by Ludovic Henrio, Florian Kammüller, Bianca Lutz and Henry Sudhof Apr 30
A Sequential Imperative Programming Language Syntax, Semantics, Hoare Logics and Verification Environment by Norbert Schirmer Feb 29