Conference Dates
Conference Dates are in time zone (GMT-07:00) Tijuana, Baja California, and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your Program
Wed 12 Jul Times are displayed in time zone: Tijuana, Baja California change
Wed 12 Jul
Times are displayed in time zone: Tijuana, Baja California change
09:00 - 10:00 Day opening | RERS 2017 Challenge Overview, Scored Achievements, and Ranking (Bernhard Steffen) RERS |
10:30 - 12:00 Talk | Approaches and Results (presentations by participants) RERS |
13:30 - 14:15 Talk | Generating the RERS 2017 Parallel Verification Benchmarks (Marc Jasper) RERS | ||
14:15 - 15:00 Talk | Exploiting Benchmark Data by Machine Learning (Jeroen Meijer) RERS |
15:30 - 16:30 Talk | Potential Future Additions - Data Race Detection and CIVL (invited talk by Stephen Siegel) RERS |
16:30 - 17:30 Day closing | Discussion Panel RERS |
Thu 13 Jul Times are displayed in time zone: Tijuana, Baja California change
Thu 13 Jul
Times are displayed in time zone: Tijuana, Baja California change
08:30 - 09:30: Session 1SPIN Keynote at ESB 1001 Chair(s): Klaus HavelundNASA/Caltech Jet Propulsion Laboratory, Hakan ErdogmusCarnegie Mellon University | |||
08:30 - 09:30 Talk | Gerard Holzmann: Cobra - Fast Structural Code Checking SPIN Keynote |
09:30 - 10:00: Session 2: Symbolic VerificationSPIN Full Paper at ESB 1001 Chair(s): Klaus HavelundNASA/Caltech Jet Propulsion Laboratory | |||
09:30 - 10:00 Talk | Distributed Binary Decision Diagrams for Symbolic Reachability (Wytse Oortwijn, Tom van Dijk and Jaco van de Pol) SPIN Full Paper |
10:00 - 10:30 Coffee break | Break Catering |
10:30 - 12:00: Session 3: Model CheckingSPIN Full Paper at ESB 1001 Chair(s): Neha RungtaAmazon Web Services | |||
10:30 - 11:00 Talk | Addressing Challenges In Obtaining High Coverage When Model Checking Android Applications (Heila Botha, Oksana Tkachuk, Brink Van Der Merwe and Willem Visser) SPIN Full Paper | ||
11:00 - 11:30 Talk | LeeTL: LTL with Quantifications Over Model Objects (Pouria Mellati, Ehsan Khamespanah and Ramtin Khosravi) SPIN Full Paper | ||
11:30 - 12:00 Talk | Explicit State Model Checking with Generalized Büchi and Rabin Automata (Vincent Bloemen, Alexandre Duret-Lutz and Jaco van de Pol) SPIN Full Paper |
13:30 - 14:30: Session 4SPIN Keynote at ESB 1001 Chair(s): Klaus HavelundNASA/Caltech Jet Propulsion Laboratory | |||
13:30 - 14:30 Talk | Byron Cook: Automated Formal Reasoning About Amazon Web Services SPIN Keynote |
14:30 - 15:00 Talk | Increasing Usability of Spin-based C Code Verification Using a Harness Definition Language (Daniel Ratiu and Andreas Ulrich) SPIN Full Paper |
15:00 - 15:30 Coffee break | Break Catering |
15:30 - 16:00 Talk | Runtime Enforcement Using Büchi Games (Matthieu Renard, Antoine Rollet and Ylies Falcone) SPIN Full Paper | ||
16:00 - 16:30 Talk | Runtime Enforcement of Reactive Systems Using Synchronous Enforcers (Srinivas Pinisetty, Partha Roop, Steven Smyth, Stavros Tripakis and Reinhard von Hanxleden) SPIN Full Paper |
18:30 - 20:30 Dinner | Dinner Catering |
Fri 14 Jul Times are displayed in time zone: Tijuana, Baja California change
Fri 14 Jul
Times are displayed in time zone: Tijuana, Baja California change
08:30 - 10:00: Session 8: Program Synthesis SPIN Full Paper at ESB 1001 Chair(s): Stefan LeueUniversity of Konstanz | |||
08:30 - 09:00 Talk | Practical Controller Synthesis for MTL_{0,∞} (Guangyuan Li, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay and Danny Bøgsted Poulsen) SPIN Full Paper | ||
09:00 - 09:30 Talk | An Ordered Approach to Solving Parity Games in Quasi Polynomial Time and Quasi Linear Space (John Fearnley, Sanjay Jain, Sven Schewe, Frank Stephan and Dominik Wojtczak) SPIN Full Paper | ||
09:30 - 10:00 Talk | A Hot Method for Synthesising Cool Controllers (Idress Husien, Nicolas Berthier and Sven Schewe) SPIN Full Paper |
10:00 - 10:30 Coffee break | Break Catering |
10:30 - 12:00: Session 9: Model CheckingSPIN Full Paper at ESB 1001 Chair(s): Konstantinos (Kostis) Sagonas | |||
10:30 - 11:00 Talk | Backward Coverability with Pruning for Lossy Channel Systems (Thomas Geffroy, Jérôme Leroux and Grégoire Sutre) SPIN Full Paper | ||
11:00 - 11:30 Talk | Model Learning and Model Checking of SSH Implementations (Paul Fiterau-Brostean, Frits Vaandrager, Erik Poll, Joeri de Ruiter, Toon Lenaerts and Patrick Verleg) SPIN Full Paper | ||
11:30 - 12:00 Talk | CARET Model Checking for Malware Detection (Huu Vu Nguyen and Tayssir Touili) SPIN Full Paper |
13:30 - 14:30: Session 10SPIN Keynote at ESB 1001 Chair(s): Yliès FalconeUniv. Grenoble Alpes, Inria | |||
13:30 - 14:30 Talk | Domagoj Babic: SunDew - Systematic Automated Security Testing. SPIN Keynote |
14:30 - 15:00 Talk | EdSketch: Execution-Driven Sketching for Java (Jinru Hua and Sarfraz Khurshid) SPIN Full Paper |
15:00 - 15:30 Coffee break | Break Catering |
15:30 - 16:30: Session 12: TestingSPIN Full Paper at ESB 1001 Chair(s): Jaco van de PolUniversity of Twente | |||
15:30 - 16:00 Talk | Stateless Model Checking of the Linux Kernel's Hierarchical Read-Copy-Update (Tree RCU) (Michalis Kokologiannakis and Konstantinos Sagonas) SPIN Full Paper | ||
16:00 - 16:30 Talk | Optimizing Parallel Korat Using Invalid Ranges (Nima Dini, Cagdas Yelen and Sarfraz Khurshid) SPIN Full Paper |
16:30 - 16:50 Talk | Guided Test Case Generation for Mobile Apps in the TRIANGLE Project (Laura Panizo, Alberto Salmerón, Maria Del Mar Gallardo and Pedro Merino) SPIN Short Paper | ||
16:50 - 17:10 Talk | ExpoSE: Practical Symbolic Execution of Standalone JavaScript (Blake Loring, Duncan Mitchell and Johannes Kinder) SPIN Short Paper |
17:10 - 17:30: Session 14SPIN Agenda at ESB 1001 Chair(s): Klaus HavelundNASA/Caltech Jet Propulsion Laboratory, Hakan ErdogmusCarnegie Mellon University, Pedro Merino Gomez | |||
17:10 - 17:30 Day closing | SPIN 2018, Best Paper Awards, and Closing SPIN Agenda |
Wed 12 Jul Times are displayed in time zone: Tijuana, Baja California change
Wed 12 Jul
Times are displayed in time zone: Tijuana, Baja California change
Room | 9:00 | 30 | 10:00 | 30 | 11:00 | 30 | 12:00 | 30 | 13:00 | 30 | 14:00 | 30 | 15:00 | 30 | 16:00 | 30 | 17:00 | 30 |
---|
Thu 13 Jul Times are displayed in time zone: Tijuana, Baja California change
Thu 13 Jul
Times are displayed in time zone: Tijuana, Baja California change
Room | 8:00 | 30 | 9:00 | 30 | 10:00 | 30 | 11:00 | 30 | 12:00 | 30 | 13:00 | 30 | 14:00 | 30 | 15:00 | 30 | 16:00 | 30 | 17:00 | 30 | 18:00 | 30 | 19:00 | 30 | 20:00 | 30 |
---|
Wed 12 Jul Times are displayed in time zone: Tijuana, Baja California change
Wed 12 Jul
Times are displayed in time zone: Tijuana, Baja California change
Room | 9:00 | 15 | 30 | 45 | 10:00 | 15 | 30 | 45 | 11:00 | 15 | 30 | 45 | 12:00 | 15 | 30 | 45 | 13:00 | 15 | 30 | 45 | 14:00 | 15 | 30 | 45 | 15:00 | 15 | 30 | 45 | 16:00 | 15 | 30 | 45 | 17:00 | 15 | 30 | 45 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Bren 1424 | SPIN RERS Discussion Panel 16:30 - 17:30 |
Thu 13 Jul Times are displayed in time zone: Tijuana, Baja California change
Thu 13 Jul
Times are displayed in time zone: Tijuana, Baja California change
Room | 8:00 | 15 | 30 | 45 | 9:00 | 15 | 30 | 45 | 10:00 | 15 | 30 | 45 | 11:00 | 15 | 30 | 45 | 12:00 | 15 | 30 | 45 | 13:00 | 15 | 30 | 45 | 14:00 | 15 | 30 | 45 | 15:00 | 15 | 30 | 45 | 16:00 | 15 | 30 | 45 | 17:00 | 15 | 30 | 45 | 18:00 | 15 | 30 | 45 | 19:00 | 15 | 30 | 45 | 20:00 | 15 | 30 | 45 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
ESB Courtyard | SPIN Catering Break 10:00 - 10:30 | SPIN Catering Break 15:00 - 15:30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Mosher Alumni House | SPIN Catering Dinner 18:30 - 20:30 |
Fri 14 Jul Times are displayed in time zone: Tijuana, Baja California change
Fri 14 Jul
Times are displayed in time zone: Tijuana, Baja California change
Room | 8:00 | 15 | 30 | 45 | 9:00 | 15 | 30 | 45 | 10:00 | 15 | 30 | 45 | 11:00 | 15 | 30 | 45 | 12:00 | 15 | 30 | 45 | 13:00 | 15 | 30 | 45 | 14:00 | 15 | 30 | 45 | 15:00 | 15 | 30 | 45 | 16:00 | 15 | 30 | 45 | 17:00 | 15 | 30 | 45 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
ESB Courtyard | SPIN Catering Break 10:00 - 10:30 | SPIN Catering Break 15:00 - 15:30 |
iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format