Program - SPIN 2017

08:30 - 09:30: SPIN Keynote - Session 1 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

09:30 - 10:00: SPIN Full Paper - Session 2: Symbolic Verification 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)

10:00 - 10:30: Catering - Thursday AM Break at ESB Courtyard

10:00 - 10:30
Coffee break

Break

10:30 - 12:00: SPIN Full Paper - Session 3: Model Checking 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)

11:00 - 11:30
Talk

LeeTL: LTL with Quantifications Over Model Objects (Pouria Mellati, Ehsan Khamespanah and Ramtin Khosravi)

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)

13:30 - 14:30: SPIN Keynote - Session 4 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

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

14:30 - 15:00
Talk

Increasing Usability of Spin-based C Code Verification Using a Harness Definition Language (Daniel Ratiu and Andreas Ulrich)

15:00 - 15:30: Catering - Thursday PM Break at ESB Courtyard

15:00 - 15:30
Coffee break

Break

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

15:30 - 16:00
Talk

Runtime Enforcement Using Büchi Games (Matthieu Renard, Antoine Rollet and Ylies Falcone)

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)

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

16:30 - 16:50
Talk

SIMPAL: A Compositional Reasoning Framework for Imperative Programs (Lucas Wagner, David Greve and Andrew Gacek)

16:50 - 17:10
Talk

Verification-Driven Development of Icarous Based on Automatic Reachability Analysis (Marco Antonio Feliu Gabaldon, Camilo Rocha and Swee Balachandran)

17:10 - 17:30
Talk

Formal Verification of Data-Intensive Applications through Model Checking Modulo Theories (Marcello M. Bersani, Madalina Erascu, Francesco Marconi, Silvio Ghilardi and Matteo Rossi)

18:30 - 20:30: Catering - SPIN Reception at Mosher Alumni House

18:30 - 20:30
Dinner

Dinner

Fri 14 Jul

08:30 - 10:00: SPIN Full Paper - Session 8: Program Synthesis 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)

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)

09:30 - 10:00
Talk

A Hot Method for Synthesising Cool Controllers (Idress Husien, Nicolas Berthier and Sven Schewe)

10:00 - 10:30: Catering - Friday AM Break at ESB Courtyard

10:00 - 10:30
Coffee break

Break

10:30 - 12:00: SPIN Full Paper - Session 9: Model Checking 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)

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)

11:30 - 12:00
Talk

CARET Model Checking for Malware Detection (Huu Vu Nguyen and Tayssir Touili)

13:30 - 14:30: SPIN Keynote - Session 10 at ESB 1001
Chair(s): Yliès FalconeUniv. Grenoble Alpes, Inria

13:30 - 14:30
Talk

Domagoj Babic: SunDew - Systematic Automated Security Testing.

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

14:30 - 15:00
Talk

EdSketch: Execution-Driven Sketching for Java (Jinru Hua and Sarfraz Khurshid)

15:00 - 15:30: Catering - Friday PM Break at ESB Courtyard

15:00 - 15:30
Coffee break

Break

15:30 - 16:30: SPIN Full Paper - Session 12: Testing 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)

16:00 - 16:30
Talk

Optimizing Parallel Korat Using Invalid Ranges (Nima Dini, Cagdas Yelen and Sarfraz Khurshid)

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

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)

16:50 - 17:10
Talk

ExpoSE: Practical Symbolic Execution of Standalone JavaScript (Blake Loring, Duncan Mitchell and Johannes Kinder)

17:10 - 17:30: SPIN Agenda - Session 14 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

Wed 12 Jul 2017


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	SPIN RERS Session 1 09:00 - 10:00																		SPIN RERS Session 2 10:30 - 12:00																																				SPIN RERS Session 3 13:30 - 15:00																								SPIN RERS Session 4 15:30 - 16:30												SPIN RERS Session 5 16:30 - 17:30

Thu 13 Jul 2017


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 08:30 - 09:30		SPIN Full Paper Session 2: Symbolic Verification 09:30 - 10:00		SPIN Full Paper Session 3: Model Checking 10:30 - 12:00							SPIN Keynote Session 4 13:30 - 14:30		SPIN Full Paper Session 5: Code Verification 14:30 - 15:00		SPIN Full Paper Session 6: Runtime Enforcement 15:30 - 16:30		SPIN Short Paper Session 7: Model Checking 16:30 - 17:30
ESB Courtyard					SPIN Catering Thursday AM Break 10:00 - 10:30											SPIN Catering Thursday PM Break 15:00 - 15:30
Mosher Alumni House												SPIN Catering SPIN Reception 18:30 - 20:30

Fri 14 Jul 2017


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 08:30 - 10:00				SPIN Full Paper Session 9: Model Checking 10:30 - 12:00						SPIN Keynote Session 10 13:30 - 14:30		SPIN Full Paper Session 11: Program Sketching 14:30 - 15:00		SPIN Full Paper Session 12: Testing 15:30 - 16:30		SPIN Short Paper Session 13: Testing 16:30 - 17:10		SPIN Agenda Session 14 17:10 - 17:30
ESB Courtyard					SPIN Catering Friday AM Break 10:00 - 10:30										SPIN Catering Friday PM Break 15:00 - 15:30

Wed 12 Jul 2017


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 2017


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 2017


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

Wed 12 Jul

Thu 13 Jul

Fri 14 Jul

Wed 12 Jul 2017

SPIN RERS

SPIN RERS

SPIN RERS

SPIN RERS

SPIN RERS

Thu 13 Jul 2017

SPIN Keynote

SPIN Full Paper

SPIN Full Paper

SPIN Keynote

SPIN Full Paper

SPIN Full Paper

SPIN Short Paper

SPIN Catering

SPIN Catering

SPIN Catering

Fri 14 Jul 2017

SPIN Full Paper

SPIN Full Paper

SPIN Keynote

SPIN Full Paper

SPIN Full Paper

SPIN Short Paper

SPIN Agenda

SPIN Catering

SPIN Catering

Wed 12 Jul 2017

Thu 13 Jul 2017

Fri 14 Jul 2017

Tracks