TAPAS 2019: THE TENTH WORKSHOP ON TOOLS FOR AUTOMATIC PROGRAM ANALYSIS
SLIDES

PrideMM: Second Order Model Checking for Memory Consistency Models

Simon Cooksey, Sarah Harris, Mark Batty, Radu Grigore and Mikolas Janota

fkcc: the Farkas Calculator

Christophe Alias

AuthCheck: Program-state Analysis for Access-control Vulnerabilities

Goran Piskachev, Tobias Petrasch, Johannes Späth and Eric Bodden

Handling Heap Data Structures in Backward Symbolic Execution

Robert Husák, Jan Kofron and Filip Zavoral

Leveraging Highly Automated Theorem Proving for Certication

Deni Raco, Bernhard Rumpe and Sebastian Stüber
Total: 5 presentations.