Program - SPIN 2017

Write a Blog >>

Thu 13 - Fri 14 July 2017 Santa Barbara, California, United States

co-located with ISSTA 2017

Filter

Wed 12 Jul

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

09:00 - 10:00
Day opening

RERS 2017 Challenge Overview, Scored Achievements, and Ranking (Bernhard Steffen)

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

10:30 - 12:00
Talk

Approaches and Results (presentations by participants)

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

13:30 - 14:15
Talk

Generating the RERS 2017 Parallel Verification Benchmarks (Marc Jasper)

14:15 - 15:00
Talk

Exploiting Benchmark Data by Machine Learning (Jeroen Meijer)

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

15:30 - 16:30
Talk

Potential Future Additions - Data Race Detection and CIVL (invited talk by Stephen Siegel)

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

16:30 - 17:30
Day closing

Discussion Panel

Thu 13 Jul

08:30 - 09:30: SPIN Keynote - Session 1 at ESB 1001
Chair(s): Klaus Havelund, Hakan Erdogmus

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 Havelund

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

10:30 - 12:00: SPIN Full Paper - Session 3: Model Checking at ESB 1001
Chair(s): Neha Rungta

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 Havelund

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

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

Fri 14 Jul

08:30 - 10:00: SPIN Full Paper - Session 8: Program Synthesis at ESB 1001
Chair(s): Stefan Leue

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

10:30 - 12:00: SPIN Full Paper - Session 9: Model Checking at ESB 1001
Chair(s): 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 Falcone

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

15:30 - 16:30: SPIN Full Paper - Session 12: Testing at ESB 1001
Chair(s): Jaco van de Pol

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 Havelund, Hakan Erdogmus, 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	RERS Session 1 09:00 - 10:00																		RERS Session 2 10:30 - 12:00																																				RERS Session 3 13:30 - 15:00																								RERS Session 4 15:30 - 16:30												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																									Catering Thursday AM Break 10:00 - 10:30																																																												Catering Thursday PM Break 15:00 - 15:30
Mosher Alumni House																																																																	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																									Catering Friday AM Break 10:00 - 10:30																																																												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 2017 RERS RERS 2017 Challenge Overview, Scored Achievements, and Ranking (Bernha ... 09:00 - 10:00																		SPIN 2017 RERS Approaches and Results (presentations by participants) 10:30 - 12:00																																				SPIN 2017 RERS Generating the RERS 2017 Parallel Verification Benchmarks (Marc Jasper) 13:30 - 14:15									SPIN 2017 RERS Exploiting Benchmark Data by Machine Learning (Jeroen Meijer) 14:15 - 15:00															SPIN 2017 RERS Potential Future Additions - Data Race Detection and CIVL (invited talk ... 15:30 - 16:30												SPIN 2017 RERS Discussion Panel 16:30 - 17:30
Bren Courtyard													SPIN 2017 RERS RERS AM Break 10:00 - 10:30																																																												SPIN 2017 RERS RERS PM Break 15:00 - 15:30
DLG Commons																																					SPIN 2017 RERS RERS Lunch 12:00 - 13: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
DLG Commons																																																	SPIN 2017 Catering Lunch 12:00 - 13:30
ESB 1001							SPIN 2017 SPIN Keynote Gerard Holzmann: Cobra - Fast Structural Code Checking 08:30 - 09:30												SPIN 2017 SPIN Full Paper Distributed Binary Decision Diagrams for Symbolic Reachability (Wytse O ... 09:30 - 10:00												SPIN 2017 SPIN Full Paper Addressing Challenges In Obtaining High Coverage When Model Checking An ... 10:30 - 11:00						SPIN 2017 SPIN Full Paper LeeTL: LTL with Quantifications Over Model Objects (Pouria Mellati, Eh ... 11:00 - 11:30						SPIN 2017 SPIN Full Paper Explicit State Model Checking with Generalized Büchi and Rabin Automata ... 11:30 - 12:00																								SPIN 2017 SPIN Keynote Byron Cook: Automated Formal Reasoning About Amazon Web Services 13:30 - 14:30												SPIN 2017 SPIN Full Paper Increasing Usability of Spin-based C Code Verification Using a Harness ... 14:30 - 15:00												SPIN 2017 SPIN Full Paper Runtime Enforcement Using Büchi Games (Matthieu Renard, Antoine Rollet ... 15:30 - 16:00						SPIN 2017 SPIN Full Paper Runtime Enforcement of Reactive Systems Using Synchronous Enforcers (Sr ... 16:00 - 16:30						SPIN 2017 SPIN Short Paper SIMPAL: A Compositional Reasoning Framework for Imperative Programs (Lu ... 16:30 - 16:50				SPIN 2017 SPIN Short Paper Verification-Driven Development of Icarous Based on Automatic Reachabil ... 16:50 - 17:10				SPIN 2017 SPIN Short Paper Formal Verification of Data-Intensive Applications through Model Checki ... 17:10 - 17:30
ESB Courtyard																									SPIN 2017 Catering Break 10:00 - 10:30																																																												SPIN 2017 Catering Break 15:00 - 15:30
Mosher Alumni House																																																																	SPIN 2017 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
DLG Commons																																																	SPIN 2017 Catering Lunch 12:00 - 13:30
ESB 1001							SPIN 2017 SPIN Full Paper Practical Controller Synthesis for MTL_{0,∞} (Guangyuan Li, Peter Gjøl ... 08:30 - 09:00						SPIN 2017 SPIN Full Paper An Ordered Approach to Solving Parity Games in Quasi Polynomial Time an ... 09:00 - 09:30						SPIN 2017 SPIN Full Paper A Hot Method for Synthesising Cool Controllers (Idress Husien, Nicolas ... 09:30 - 10:00												SPIN 2017 SPIN Full Paper Backward Coverability with Pruning for Lossy Channel Systems (Thomas Ge ... 10:30 - 11:00						SPIN 2017 SPIN Full Paper Model Learning and Model Checking of SSH Implementations (Paul Fiterau- ... 11:00 - 11:30						SPIN 2017 SPIN Full Paper CARET Model Checking for Malware Detection (Huu Vu Nguyen and Tayssir T ... 11:30 - 12:00																								SPIN 2017 SPIN Keynote Domagoj Babic: SunDew - Systematic Automated Security Testing. 13:30 - 14:30												SPIN 2017 SPIN Full Paper EdSketch: Execution-Driven Sketching for Java (Jinru Hua and Sarfraz Kh ... 14:30 - 15:00												SPIN 2017 SPIN Full Paper Stateless Model Checking of the Linux Kernel's Hierarchical Read-Copy-U ... 15:30 - 16:00						SPIN 2017 SPIN Full Paper Optimizing Parallel Korat Using Invalid Ranges (Nima Dini, Cagdas Yelen ... 16:00 - 16:30						SPIN 2017 SPIN Short Paper Guided Test Case Generation for Mobile Apps in the TRIANGLE Project (La ... 16:30 - 16:50				SPIN 2017 SPIN Short Paper ExpoSE: Practical Symbolic Execution of Standalone JavaScript (Blake Lo ... 16:50 - 17:10				SPIN 2017 SPIN Agenda SPIN 2018, Best Paper Awards, and Closing 17:10 - 17:30
ESB Courtyard																									SPIN 2017 Catering Break 10:00 - 10:30																																																												SPIN 2017 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