X86 instruction semantics and basic block symbolic execution by Freek Verbeek, Abhijith Bharadwaj, Joshua Bockenek, Ian Roessle, Timmy Weerwag and Binoy Ravindran Oct 13
Clean - An Abstract Imperative Programming Language and its Theory by Frédéric Tuong and Burkhart Wolff Oct 04
A Formal Development of a Polychronous Polytimed Coordination Language by Hai Nguyen Van, Frédéric Boulanger and Burkhart Wolff Jul 30
Quantum Hoare Logic by Junyi Liu, Bohua Zhan, Shuling Wang, Shenggang Ying, Tao Liu, Yangjia Li, Mingsheng Ying and Naijun Zhan Mar 24