Paper-Conference

A Type System for Communication Safe Hardware Design
Accepted to appear at POPL 2027.
Aditya Ranjan Jha, Jason Zhijingcheng Yu, Umang Mathur, Prateek Saxena
Cite
Approximate Counting for Symbolic Automata
Accepted to appear at POPL 2027.
Alexis De Colnet, Kuldeep S. Meel, Umang Mathur
Cite
Validating Concurrent Correctness Witnesses by Thread-Modular Abstract Interpretation
Accepted to appear at POPL 2027.
Cite
Beyond Locks and Thread IDs: Static Data Race Detection Off The Beaten Path
To appear at APLAS 2026.
Daniel Bund, Julian Erhard, Michael Petter, Michael Schwarz
PDF Cite ArXiv
Instrumentation Optimization for Practical Dynamic Race Detection
To appear at ATC 2026.
Alexey Paznikov, Michael Schwarz, Andrey Kogutenko, Yaroslav Osipov, Umang Mathur
Cite
Mixed Flow-Sensitive Static Analysis: Engineering Modularity
Helmut Seidl, Vesal Vojdani, Julian Erhard, Michael Schwarz
Cite DOI Publication page
Fixed Parameter Tractable Linearizability Monitoring
We study the linearizability monitoring problem, which asks whether a given history of a concurrent implementation of a data structure …
Cite DOI Video ArXiv Media Coverage Publication page
State Space Estimation for DPOR-based Model Checkers
We study the estimation problem for concurrent programs: given a bounded program P, estimate the number of Mazurkiewicz …
A. R. Balasubramanian, Mohammad Hossein Khoshechin Jorshari, Rupak Majumdar, Umang Mathur, Minjian Zhang
Cite DOI Video ArXiv Publication page
Goblint: A Portfolio for Mixed Flow-Sensitive Abstract Interpretation (Competition Contribution)
Simmo Saan, Ali Rasim Koçal, Michael Petter, Karoliine Holter, Julian Erhard, Michael Schwarz, Vesal Vojdani, Helmut Seidl
Cite DOI Publication page
Same Engine, Multiple Gears: Parallelizing Fixpoint Iteration at Different Granularities
Ali Rasim Koçal, Michael Schwarz, Simmo Saan, Helmut Seidl
PDF Cite Code DOI ArXiv Publication page