SPIN 2023

    April 26-27

Abstract: Jan 20 AoE
Submission: Jan 23 AoE
Notification: Feb 23 AoE


Time Wednesday 26 Thursday 27
10:30-11:30 Keynote (Simon Gay)        Chair: Max Tschaikowski Keynote (Raúl Pardo)        Chair: Sergio Mover
11:30-12:00 Lieuwe Vinkhuijzen, Thomas Grurl, Stefan Hillmich, Sebastiaan Brand, Robert Wille and Alfons Laarman:
Efficient Implementation of LIMDDs for Quantum Circuit Simulation
Bryant Israelsen, Landon Taylor and Zhen Zhang:
Efficient Trace Generation for Rare-Event Analysis in Chemical Reaction Networks
12:00-12:30 Giso H. Dal, Alfons Laarman and Peter J.F. Lucas:
ParaGnosis: A Tool for Parallel Knowledge Compilation
Roi Fogler, Itay Cohen and Doron Peled:
Accelerating black box testing with light-weight learning
12:30-14:00 Lunch break Lunch break
14:00-15:00 Keynote (Joost-Pieter Katoen)        Chair: Arnd Hartmanns Keynote (Caterina Urban)        Chair: Matthias Heizmann
15:00-15:30 Hugues Evrard and Alastair F. Donaldson:
Model Checking Futexes
Théo Matricon, Nathanaël Fijalkow and Gaëtan Margueritte:
WikiCoder: Learning to Write Knowledge-Powered Code
15:30-16:00 Chukri Soueidi and Yliès Falcone:
Sound Concurrent Traces for Online Monitoring
Benedikt Maderbacher, Stefan Schupp, Ezio Bartocci, Roderick Bloem, Dejan Ničković and Bettina Könighofer:
Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties
16:00-16:30 Coffee break Coffee break
16:30-17:40 Chair: Alfons Laarman  
16:30-17:00 Peter Gjøl Jensen, Kim Guldstrand Larsen, Jiří Srba and Nikolaj Jensen Ulrik:
Elimination of Detached Regions in Dependency Graph Verification
17:00-17:20 Emil G. Henriksen, Alan M. Khorsid, Esben Nielsen, Theodor Risager, Jiří Srba, Adam M. Stück and Andreas S. Sørensen:
Potency-Based Heuristic Search with Randomness for Explicit Model Checking
17:20-17:40 Anton Wijs and Muhammad Osama:
GPUexplore 3.0: GPU Accelerated State Space Exploration for Concurrent Systems with Data