Program - SPIN 2017

Time Zone

The program is currently displayed in (GMT-07:00) Tijuana, Baja California.

Use conference time zone: (GMT-07:00) Tijuana, Baja CaliforniaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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

Wed 12 Jul
Times are displayed in time zone: Tijuana, Baja California change

09:00 - 10:00	Session 1RERS at Bren 1424

09:00 60m Day opening		RERS 2017 Challenge Overview, Scored Achievements, and Ranking (Bernhard Steffen) RERS

10:30 - 12:00	Session 2RERS at Bren 1424

10:30 90m Talk		Approaches and Results (presentations by participants) RERS

13:30 - 15:00	Session 3RERS at Bren 1424

13:30 45m Talk		Generating the RERS 2017 Parallel Verification Benchmarks (Marc Jasper) RERS
14:15 45m Talk		Exploiting Benchmark Data by Machine Learning (Jeroen Meijer) RERS

15:30 - 16:30	Session 4RERS at Bren 1424

15:30 60m Talk		Potential Future Additions - Data Race Detection and CIVL (invited talk by Stephen Siegel) RERS

16:30 - 17:30	Session 5RERS at Bren 1424

16:30 60m Day closing		Discussion Panel RERS

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 60m 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 30m 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	Thursday AM BreakCatering at ESB Courtyard

10:00 30m 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 30m 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 30m Talk		LeeTL: LTL with Quantifications Over Model Objects (Pouria Mellati, Ehsan Khamespanah and Ramtin Khosravi) SPIN Full Paper
11:30 30m 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 60m Talk		Byron Cook: Automated Formal Reasoning About Amazon Web Services SPIN Keynote

14:30 - 15:00	Session 5: Code VerificationSPIN Full Paper at ESB 1001 Chair(s): Alberto Salmeron

14:30 30m 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	Thursday PM BreakCatering at ESB Courtyard

15:00 30m Coffee break		Break Catering

15:30 - 16:30	Session 6: Runtime EnforcementSPIN Full Paper at ESB 1001 Chair(s): Axel Legay

15:30 30m Talk		Runtime Enforcement Using Büchi Games (Matthieu Renard, Antoine Rollet and Ylies Falcone) SPIN Full Paper
16:00 30m Talk		Runtime Enforcement of Reactive Systems Using Synchronous Enforcers (Srinivas Pinisetty, Partha Roop, Steven Smyth, Stavros Tripakis and Reinhard von Hanxleden) SPIN Full Paper

16:30 - 17:30	Session 7: Model CheckingSPIN Short Paper at ESB 1001 Chair(s): Pedro Merino Gomez

16:30 20m Talk		SIMPAL: A Compositional Reasoning Framework for Imperative Programs (Lucas Wagner, David Greve and Andrew Gacek) SPIN Short Paper
16:50 20m Talk		Verification-Driven Development of Icarous Based on Automatic Reachability Analysis (Marco Antonio Feliu Gabaldon, Camilo Rocha and Swee Balachandran) SPIN Short Paper
17:10 20m Talk		Formal Verification of Data-Intensive Applications through Model Checking Modulo Theories (Marcello M. Bersani, Madalina Erascu, Francesco Marconi, Silvio Ghilardi and Matteo Rossi) SPIN Short Paper

18:30 - 20:30	SPIN ReceptionCatering at Mosher Alumni House

18:30 2h Dinner		Dinner Catering

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 30m 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 30m 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 30m Talk		A Hot Method for Synthesising Cool Controllers (Idress Husien, Nicolas Berthier and Sven Schewe) SPIN Full Paper

10:00 - 10:30	Friday AM BreakCatering at ESB Courtyard

10:00 30m Coffee break		Break Catering

10:30 - 12:00	Session 9: Model CheckingSPIN Full Paper at ESB 1001 Chair(s): Konstantinos (Kostis) Sagonas

10:30 30m Talk		Backward Coverability with Pruning for Lossy Channel Systems (Thomas Geffroy, Jérôme Leroux and Grégoire Sutre) SPIN Full Paper
11:00 30m 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 30m 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 60m Talk		Domagoj Babic: SunDew - Systematic Automated Security Testing. SPIN Keynote

14:30 - 15:00	Session 11: Program SketchingSPIN Full Paper at ESB 1001 Chair(s): Madalina Erascu

14:30 30m Talk		EdSketch: Execution-Driven Sketching for Java (Jinru Hua and Sarfraz Khurshid) SPIN Full Paper

15:00 - 15:30	Friday PM BreakCatering at ESB Courtyard

15:00 30m 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 30m 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 30m Talk		Optimizing Parallel Korat Using Invalid Ranges (Nima Dini, Cagdas Yelen and Sarfraz Khurshid) SPIN Full Paper

16:30 - 17:10	Session 13: TestingSPIN Short Paper at ESB 1001 Chair(s): Antoine Rollet

16:30 20m 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 20m 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 20m Day closing		SPIN 2018, Best Paper Awards, and Closing SPIN Agenda

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
Bren 1424	RERS Session 1																		RERS Session 2																																				RERS Session 3																								RERS Session 4												RERS Session 5

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
ESB 1001		SPIN Keynote Session 1		SPIN Full Paper Session 2: Symbolic Verification		SPIN Full Paper Session 3: Model Checking							SPIN Keynote Session 4		SPIN Full Paper Session 5: Code Verification		SPIN Full Paper Session 6: Runtime Enforcement		SPIN Short Paper Session 7: Model Checking
ESB Courtyard					Catering Thursday AM Break											Catering Thursday PM Break
Mosher Alumni House												Catering SPIN Reception

Fri 14 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
ESB 1001		SPIN Full Paper Session 8: Program Synthesis				SPIN Full Paper Session 9: Model Checking						SPIN Keynote Session 10		SPIN Full Paper Session 11: Program Sketching		SPIN Full Paper Session 12: Testing		SPIN Short Paper Session 13: Testing		SPIN Agenda Session 14
ESB Courtyard					Catering Friday AM Break										Catering Friday PM Break

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 RERS 2017 Challenge Overview, Scored Achievements, and Ranking (Bernha ... 09:00 - 10:00																		SPIN RERS Approaches and Results (presentations by participants) 10:30 - 12:00																																				SPIN RERS Generating the RERS 2017 Parallel Verification Benchmarks (Marc Jasper) 13:30 - 14:15									SPIN RERS Exploiting Benchmark Data by Machine Learning (Jeroen Meijer) 14:15 - 15:00															SPIN RERS Potential Future Additions - Data Race Detection and CIVL (invited talk ... 15:30 - 16:30												SPIN RERS Discussion Panel 16:30 - 17:30

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 1001			SPIN Keynote Gerard Holzmann: Cobra - Fast Structural Code Checking 08:30 - 09:30				SPIN Full Paper Distributed Binary Decision Diagrams for Symbolic Reachability (Wytse O ... 09:30 - 10:00				SPIN Full Paper Addressing Challenges In Obtaining High Coverage When Model Checking An ... 10:30 - 11:00		SPIN Full Paper LeeTL: LTL with Quantifications Over Model Objects (Pouria Mellati, Eh ... 11:00 - 11:30		SPIN Full Paper Explicit State Model Checking with Generalized Büchi and Rabin Automata ... 11:30 - 12:00									SPIN Keynote Byron Cook: Automated Formal Reasoning About Amazon Web Services 13:30 - 14:30				SPIN Full Paper Increasing Usability of Spin-based C Code Verification Using a Harness ... 14:30 - 15:00				SPIN Full Paper Runtime Enforcement Using Büchi Games (Matthieu Renard, Antoine Rollet ... 15:30 - 16:00		SPIN Full Paper Runtime Enforcement of Reactive Systems Using Synchronous Enforcers (Sr ... 16:00 - 16:30		SPIN Short Paper SIMPAL: A Compositional Reasoning Framework for Imperative Programs (Lu ... 16:30 - 16:50		SPIN Short Paper Verification-Driven Development of Icarous Based on Automatic Reachabil ... 16:50 - 17:10		SPIN Short Paper Formal Verification of Data-Intensive Applications through Model Checki ... 17:10 - 17:30
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


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 1001			SPIN Full Paper Practical Controller Synthesis for MTL_{0,∞} (Guangyuan Li, Peter Gjøl ... 08:30 - 09:00		SPIN Full Paper An Ordered Approach to Solving Parity Games in Quasi Polynomial Time an ... 09:00 - 09:30		SPIN Full Paper A Hot Method for Synthesising Cool Controllers (Idress Husien, Nicolas ... 09:30 - 10:00				SPIN Full Paper Backward Coverability with Pruning for Lossy Channel Systems (Thomas Ge ... 10:30 - 11:00		SPIN Full Paper Model Learning and Model Checking of SSH Implementations (Paul Fiterau- ... 11:00 - 11:30		SPIN Full Paper CARET Model Checking for Malware Detection (Huu Vu Nguyen and Tayssir T ... 11:30 - 12:00								SPIN Keynote Domagoj Babic: SunDew - Systematic Automated Security Testing. 13:30 - 14:30				SPIN Full Paper EdSketch: Execution-Driven Sketching for Java (Jinru Hua and Sarfraz Kh ... 14:30 - 15:00				SPIN Full Paper Stateless Model Checking of the Linux Kernel's Hierarchical Read-Copy-U ... 15:30 - 16:00		SPIN Full Paper Optimizing Parallel Korat Using Invalid Ranges (Nima Dini, Cagdas Yelen ... 16:00 - 16:30		SPIN Short Paper Guided Test Case Generation for Mobile Apps in the TRIANGLE Project (La ... 16:30 - 16:50		SPIN Short Paper ExpoSE: Practical Symbolic Execution of Standalone JavaScript (Blake Lo ... 16:50 - 17:10		SPIN Agenda SPIN 2018, Best Paper Awards, and Closing 17:10 - 17:30
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

SPIN 2017 Program

Filter Program

Wed 12 Jul
Times are displayed in time zone: Tijuana, Baja California change

Thu 13 Jul
Times are displayed in time zone: Tijuana, Baja California change

Fri 14 Jul
Times are displayed in time zone: Tijuana, Baja California change

Wed 12 Jul
Times are displayed in time zone: Tijuana, Baja California change

RERS

RERS

RERS

RERS

RERS

Thu 13 Jul
Times are displayed in time zone: Tijuana, Baja California change

SPIN Keynote

SPIN Full Paper

SPIN Full Paper

SPIN Keynote

SPIN Full Paper

SPIN Full Paper

SPIN Short Paper

Catering

Catering

Catering

Fri 14 Jul
Times are displayed in time zone: Tijuana, Baja California change

SPIN Full Paper

SPIN Full Paper

SPIN Keynote

SPIN Full Paper

SPIN Full Paper

SPIN Short Paper

SPIN Agenda

Catering

Catering

Wed 12 Jul
Times are displayed in time zone: Tijuana, Baja California change

Thu 13 Jul
Times are displayed in time zone: Tijuana, Baja California change

Fri 14 Jul
Times are displayed in time zone: Tijuana, Baja California change

Tracks

SPIN 2017 Program

Filter Program

Program Display Configuration

Wed 12 Jul Times are displayed in time zone: Tijuana, Baja California change

Thu 13 Jul Times are displayed in time zone: Tijuana, Baja California change

Fri 14 Jul Times are displayed in time zone: Tijuana, Baja California change

Wed 12 Jul Times are displayed in time zone: Tijuana, Baja California change

RERS

RERS

RERS

RERS

RERS

Thu 13 Jul Times are displayed in time zone: Tijuana, Baja California change

SPIN Keynote

SPIN Full Paper

SPIN Full Paper

SPIN Keynote

SPIN Full Paper

SPIN Full Paper

SPIN Short Paper

Catering

Catering

Catering

Fri 14 Jul Times are displayed in time zone: Tijuana, Baja California change

SPIN Full Paper

SPIN Full Paper

SPIN Keynote

SPIN Full Paper

SPIN Full Paper

SPIN Short Paper

SPIN Agenda

Catering

Catering

Wed 12 Jul Times are displayed in time zone: Tijuana, Baja California change

Thu 13 Jul Times are displayed in time zone: Tijuana, Baja California change

Fri 14 Jul Times are displayed in time zone: Tijuana, Baja California change

Wed 12 Jul
Times are displayed in time zone: Tijuana, Baja California change

Thu 13 Jul
Times are displayed in time zone: Tijuana, Baja California change

Fri 14 Jul
Times are displayed in time zone: Tijuana, Baja California change

Wed 12 Jul
Times are displayed in time zone: Tijuana, Baja California change

Thu 13 Jul
Times are displayed in time zone: Tijuana, Baja California change

Fri 14 Jul
Times are displayed in time zone: Tijuana, Baja California change

Wed 12 Jul
Times are displayed in time zone: Tijuana, Baja California change

Thu 13 Jul
Times are displayed in time zone: Tijuana, Baja California change

Fri 14 Jul
Times are displayed in time zone: Tijuana, Baja California change