TAPAS 2019: THE TENTH WORKSHOP ON TOOLS FOR AUTOMATIC PROGRAM ANALYSIS
PROGRAM
Tuesday, October 8th

View this program: with abstractssession overviewtalk overview

09:30-10:00 Session 1: Invited talk
Chair:
David Delmas (Airbus Operations SAS, France)
Location: room Google
09:30
Pascal Lacabanne (Airbus, France)
Transforming development processes of avionics software with formal methods (abstract)
10:30-12:30 Session 2
Chair:
Sandrine Blazy (University of Rennes 1, France)
Location: room Google
10:30
Deni Raco (RWTH Aachen University, Germany)
Bernhard Rumpe (RWTH Aachen University, Germany)
Sebastian Stüber (RWTH Aachen University, Germany)
Leveraging Highly Automated Theorem Proving for Certication (abstract)
11:00
Robert Husák (Charles University, Czechia)
Jan Kofron (Charles University, Czechia)
Filip Zavoral (Charles University, Czechia)
Handling Heap Data Structures in Backward Symbolic Execution (abstract)
11:30
Goran Piskachev (Fraunhofer, Germany)
Tobias Petrasch (BCG Platinion, Germany)
Johannes Späth (Fraunhofer, Germany)
Eric Bodden (Frauhofer IEM and Paderborn University, Germany)
AuthCheck: Program-state Analysis for Access-control Vulnerabilities (abstract)
12:00
Christophe Alias (INRIA, France)
fkcc: the Farkas Calculator (abstract)
14:00-15:00 Session 3: Invited talk (shared with NSAD)
Location: room Google
14:00
Enea Zaffanella (University of Parma, Italy)
Some thoughts on the design of abstract domains (abstract)
15:30-16:00 Session 4: Invited talk
Chair:
Manuel Hermenegildo (IMDEA Software Institute, Spain)
Location: room Google
15:30
Bernard Schmidt (Bosch, Germany)
Establishing Sound Static Analysis for Integration Verification of Large-Scale Software in Automotive Industry (abstract)
16:00-17:30 Session 5
Chair:
Virgile Prevosto (CEA Tech, France)
Location: room Google
16:00
Isabel Garcia-Contreras (IMDEA Software Institute and Universidad Politecnica de Madrid, Spain)
Jose F. Morales (IMDEA Software Research Institute, Spain)
Manuel V. Hermenegildo (IMDEA Software Institute and Universidad Politécnica de Madrid, Spain)
Experiments in Context-Sensitive Incremental and Modular Static Analysis in CiaoPP (Extended Abstract) (abstract)
16:30
Felipe R. Monteiro (Federal University of Amazonas, Brazil)
Mikhail R. Gadelha (Sidia, Brazil)
Lucas Cordeiro (The University of Manchester, UK)
Boost the Impact of Continuous Formal Verification in Industry (abstract)
17:00
Simon Cooksey (University of Kent, Canterbury, UK)
Sarah Harris (University of Kent, Canterbury, UK)
Mark Batty (University of Kent, Canterbury, UK)
Radu Grigore (University of Kent, UK)
Mikolas Janota (INESC-ID/IST, University of Lisbon, Portugal, Portugal)
PrideMM: Second Order Model Checking for Memory Consistency Models (abstract)