SPIN 2023

    April 26-27
    Paris

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

Program

Time Wednesday 26 Thursday 27
10:30-11:30 Keynote (Simon Gay) Keynote (Raúl Pardo)
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 Dal, Alfons W. 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) Keynote (Caterina Urban)
15:00-15:30 Hugues Evrard and Alastair 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 Nickovic 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:00 Peter Gjøl Jensen, Kim Guldstrand Larsen, Jiri 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, Jiri Srba, Adam M. Stuck 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