Program

All SPIN sessions take place in room MDCL 1009.

Wednesday

• 10:30–11:30 Orna Grumberg: Developments in Symbolic Model Checking (Keynote)
• 11:30–12:00 Yibo Dong, Xiwei Wu, Jianwen Li, Geguang Pu and Ofer Strichman: Accelerating CAR-based Model-Checking with Multiple Unsatisfiable Cores
• 12:00–12:30 Daniel Hausmann, Merlin Humml, Simon Prucker and Lutz Schröder: Efficient Model Checking for the Alternating-Time µ-Calculus via Effectivity Frames (Tool Paper)

• 12:30–14:00 Lunch Break

• 14:00–15:30 MoXI session
  • 14:00–14:15 Kristin Rozier
  • 14:15–14:45 Cesare Tinelli
  • 14:45–14:55 Chris Johannsen
  • 14:55–15:10 Rob Lorch
  • 15:10–15:25 Po-Chun Chien
  • 15:25–15:40 Nicola Gigante
  • 15:40–16:00 Open Discussion

• 16:00–16:30 Coffee Break

• 16:30–17:00 Csanád Telbisz, Levente Bajczi, Dániel Szekeres and András Vörös: On-the-fly Cone-of-Influence Reduction for Model Checking Concurrent Software
• 17:00–17:30 Dirk Beyer, Marek Jankola, Marian Lingsch-Rosenfeld, Tian Xia and Xiyue Zheng: A Modular Program-Transformation Framework for Reducing Specifications to Reachability
• 17:30–18:00 Alberto Bombardelli, Laura Bozzelli, Cesar Sanchez and Stefano Tonetta: (Asynchronous) Temporal Logics for Hyperproperties on Finite Traces

Thursday

• 10:30–11:30 Alexandre Duret-Lutz: Growing an ω-automata library (Keynote)
• 11:30–12:00 Scott Stoller, Balaji Jayasankar and Yanhong A. Liu: Resilience through Automated Adaptive Configuration for Distribution and Replication
• 12:00–12:30 Theo De Castro Pinto, Antoine Rollet and Grégoire Sutre: An Efficient and Versatile Approach to Shortest Path Problems in Interprocedural Programs

• 12:30–14:00 Lunch Break

• 14:00–14:30 Yanni Dong, Milan Lopuhaä-Zwakenberg and Marielle Stoelinga: 0-1 Laws for LTL and CTL over Random Transition Systems (Best paper)
• 14:30–15:00 Filip Kliber and Pavel Parizek: Locating Concurrency Errors in Windows .NET Applications by Fuzzing over Thread Schedules

• 15:00–15:30 Gidon Ernst and Jose F. Morales: Presentation of the results of CHC-COMP

• 15:30–16:00 Coffee Break

Last change to the program: May 7, 14:00. The ETAPS website may not yet represent the latest state.