SPIoT 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
co-located with ETAPS 2019
ETAPS 2019 (series) / SPIoT 2019 (series) / Charles University /

Room information: S1 (PERR)

VenueCharles University
Room nameS1 (PERR)
Floor0
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Sat 6 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
IPERR at S1 (PERR)
09:00
60m
Talk
Invited talk by Margus Veanes
PERR
Margus Veanes Microsoft Research
10:00
30m
Talk
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
IIPERR at S1 (PERR)
11:00
30m
Talk
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
30m
Talk
Analysis of program differences with numerical abstract interpretation
PERR
David Delmas Airbus & Sorbonne Université, Antoine Miné UPMC, France
Link to publication Pre-print File Attached
12:00
30m
Talk
On Quantitative Comparison of Chemical Reaction Network Models
PERR
Ozan Kahramanogullari
14:00 - 15:30
IIIPERR at S1 (PERR)
14:00
60m
Talk
Invited talk by Marco Eilers
PERR
Marco Eilers ETH Zurich
15:00
30m
Talk
Relational Verification via Invariant-Guided Synchronization
PERR
Qi Zhou , David Heath , William Harris
16:00 - 18:00
IVPERR at S1 (PERR)
16:00
30m
Talk
Automatic Equivalence Proofs for Programs with Algebraic Data Types
PERR
Moritz Kiefer , Mattias Ulbrich Karlsruhe Institute of Technology
16:30
30m
Talk
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
30m
Talk
Semantics-Based Proofs of Equivalence for Functions with Accumulators
PERR
Stefan Ciobaca Alexandru Ioan Cuza University of Iasi, Dorel Lucanu , Sebastian Buruiana

Sat 6 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
S1 (PERR)

PERR

I

PERR

II

PERR

III

PERR

IV

Sat 6 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
S1 (PERR)
PERR
Invited talk by Margus Veanes
09:00 - 10:00
PERR
Local Reasoning for Robust Observational Equivalence
10:00 - 10:30
PERR
Understanding Counterexamples for Relational Properties with DIbugger
11:00 - 11:30
PERR
Analysis of program differences with numerical abstract interpretation
11:30 - 12:00
PERR
On Quantitative Comparison of Chemical Reaction Network Models
12:00 - 12:30
PERR
Invited talk by Marco Eilers
14:00 - 15:00
PERR
Relational Verification via Invariant-Guided Synchronization
15:00 - 15:30
PERR
Automatic Equivalence Proofs for Programs with Algebraic Data Types
16:00 - 16:30
PERR
Proving Program Equivalence with Constrained Rewriting Induction and Ctrl
16:30 - 17:00
PERR
Semantics-Based Proofs of Equivalence for Functions with Accumulators
17:00 - 17:30