ETAPS 2019 (series) / PERR 2019 (series) /
PERR 2019 Program
This is the PERR 2019 program - see the full program for ETAPS 2019 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sat 6 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sat 6 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:00 60mTalk | Invited talk by Margus Veanes PERR Margus Veanes Microsoft Research | ||
10:00 30mTalk | Local Reasoning for Robust Observational Equivalence PERR Dan Ghica University of Birmingham, Koko Muroya RIMS, Kyoto University, JP & University of Birmingham, UK, Todd Waugh Ambridge University of Birmingham | ||
11:00 - 12:30 | |||
11:00 30mTalk | Understanding Counterexamples for Relational Properties with DIbugger PERR Mihai Herda , Michael Kirsten Karlsruhe Institute of Technology (KIT), Etienne Brunner , Joana Plewnia , Ulla Scheler , Chiara Staudenmaier , Benedikt Wagner , Pascal Zwick , Bernhard Beckert Karlsruhe Institute of Technology | ||
11:30 30mTalk | Analysis of program differences with numerical abstract interpretation PERR Link to publication Pre-print File Attached | ||
12:00 30mTalk | On Quantitative Comparison of Chemical Reaction Network Models PERR | ||
14:00 - 15:30 | |||
14:00 60mTalk | Invited talk by Marco Eilers PERR Marco Eilers ETH Zurich | ||
15:00 30mTalk | Relational Verification via Invariant-Guided Synchronization PERR | ||
16:00 - 18:00 | |||
16:00 30mTalk | Automatic Equivalence Proofs for Programs with Algebraic Data Types PERR | ||
16:30 30mTalk | Proving Program Equivalence with Constrained Rewriting Induction and Ctrl PERR Carsten Fuhs Birkbeck, University of London, Cynthia Kop Radboud University Nijmegen, Naoki Nishida Nagoya University | ||
17:00 30mTalk | Semantics-Based Proofs of Equivalence for Functions with Accumulators PERR | ||