Abstract is missing.
- Prusti: deductive verification for Rust (keynote)Alexander J. Summers. 1 [doi]
- History-based specification and verification of Java collections in KeY (keynote)Frank S. de Boer, Hans-Dieter A. Hiep. 2-3 [doi]
- An inductive abstract semantics for coFJPietro Barbieri, Francesco Dagnino, Elena Zucca. 4-9 [doi]
- Towards verified construction of correct and optimised GPU softwareMarieke Huisman, Anton Wijs. 10-14 [doi]
- ConSysT: tunable, safe consistency meets object-oriented programmingMirko Köhler, Nafise Eskandani Masoule, Alessandro Margara, Guido Salvaneschi. 15-17 [doi]
- Salsa: static analysis of serialization featuresJoanna C. S. Santos, Reese A. Jones, Mehdi Mirakhorli. 18-25 [doi]
- A separation logic to verify termination of busy-waiting for abrupt program exitTobias Reinhard, Amin Timany, Bart Jacobs 0002. 26-32 [doi]