PROGRAM
Days: Sunday, October 27th Monday, October 28th Tuesday, October 29th Wednesday, October 30th Thursday, October 31st
Sunday, October 27th
View this program: with abstractssession overviewtalk overview
Monday, October 28th
View this program: with abstractssession overviewtalk overview
09:00-10:00 Session 5: Invited talk 1
Chair:
09:00 | In Search of a Foundation for Next Generation Autonomous Systems (abstract) |
10:30-12:00 Session 6: Tutorial 1
(slides)
Chair:
10:30 | Theoretical Foundations of Random Testing (abstract) |
15:30-17:00 Session 8: Tutorial 3
(slides)
Chair:
15:30 | A Tutorial in Game Theory for Verification (abstract) |
Tuesday, October 29th
View this program: with abstractssession overviewtalk overview
09:00-10:00 Session 10: Invited talk 2
(slides)
Chair:
09:00 | Lazy Abstraction-Based Controller Synthesis (abstract) |
10:30-12:00 Session 11: Cyber-Physical Systems
Chair:
10:30 | Teaching Stratego to Play Ball : Optimal Synthesis for Continuous Space MDPs (abstract) |
11:00 | Using Symmetry Transformations in Equivariant Dynamical Systems for their Safety Verification [Best Paper Award Candidate] (abstract) |
11:30 | Parametric Timed Model Checking for Guaranteeing Timed Opacity (abstract) |
13:30-15:00 Session 12: Runtime techniques
Chair:
13:30 | Adaptive Online First-Order Monitoring (abstract) |
14:00 | Multi-Head Monitoring of Metric Temporal Logic (abstract) |
14:30 | An Efficient Algorithm for Computing Causal Trace Sets in Causality Checking (abstract) |
15:30-17:15 Session 13: Testing
Chair:
15:30 | Conditional Testing: Off-the-Shelf Combination of Test-Case Generators (abstract) |
16:00 | Enhancing Symbolic Execution of Heap-based Programs with Separation Logic for Test Input Generation (abstract) |
16:30 | BUBEN: Automated Library Abstractions Enabling Scalable Bug Detection for Large Programs with I/O and Complex Environment (abstract) |
17:00 | KLUZZER: Whitebox Fuzzing on top of LLVM (abstract) |
Wednesday, October 30th
View this program: with abstractssession overviewtalk overview
09:00-10:00 Session 14: Invited talk 3
(slides)
Chair:
09:00 | Truth Assignments as Conditional Autarkies (abstract) |
10:30-12:00 Session 15: Program analysis
Chair:
10:30 | Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops (abstract) |
11:00 | Chain Free String Constraints [Best Paper Award Candidate] (abstract) |
11:30 | Synthesizing Efficient Low-Precision Kernels (abstract) |
13:30-15:00 Session 16: Automata
Chair:
13:30 | New Optimizations and Heuristics for Determinization of Büchi Automata (abstract) |
14:00 | Approximate Automata for Omega-regular Languages (abstract) |
14:30 | DEQ : Equivalence Checker for Deterministic Register Automata (abstract) |
14:45 | LTL3TELA: Small Deterministic or Nondeterministic Automata from LTL (abstract) |
15:30-17:30 Session 17: Synthesis
Chair:
15:30 | Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems (abstract) |
16:00 | Reactive Synthesis of Graphical User Interface Glue Code (abstract) |
16:30 | Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis [Best Paper Award Candidate] (abstract) |
17:00 | Program Repair for Hyperproperties [Best Paper Award Candidate] (abstract) |
Thursday, October 31st
View this program: with abstractssession overviewtalk overview
10:30-12:00 Session 19: Stochastic systems
Chair:
10:30 | Generic Emptiness Check for Fun and Profit (abstract) |
11:00 | Deciding Fast Termination for Probabilistic VASS with Nondeterminism (abstract) |
11:30 | Are Parametric Markov Chains Monotonic? (abstract) |
13:30-15:00 Session 20: Model checking
Chair:
13:30 | Efficient Information-Flow Verification under Speculative Execution (abstract) |
14:00 | Model Checking Data Flows in Concurrent Network Updates (abstract) |
14:30 | Performance Evaluation of NDN Data Plane Using Statistical Model Checking (abstract) |