Sören van der Wall

Scientific Contributions

• On the Complexity of Multi-Pushdown Games Settles the Complexity for three decidable restrictions of alternating multi-pushdown systems, a model for concurrent, recursive programs with finite data domain. Published at: FSTTCS 2020.
• Model-based Fault Classification for Automotive Software Development of a Tool that automatically classifies erroneous traces of automotive ECUs. It needs the specification for the ECU as a timed automaton with storage and automatically finds errors in traces, localises and explains them before using a novel approach to compare them. Published at: APLAS 2022.
• Urgency Annotations for Alternating Choices Introduces a novel, very generic language construct that is capable to express many other constructs: E.g. concurrency, imperfect information games, and hyperproperties. Published in: "Principles of Verification: Cycling the Probabilistic Landscape".
• SNIP: Speculative Execution and Non-Interference Preservation for Compiler Transformations A proof method that guarantees that a compiler does not introduce new Spectre attacks into programs when compiling them. Published at: POPL 2025.