Scholar
Martin Sulzmann
Google Scholar ID: XcZzwRIAAAAJ
Professor of Computer Science, Karlsruhe University of Applied Sciences
programming languages
program analysis and software verification
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
526
H-index
11
i10-index
14
Publications
20
Co-authors
14
list available
Publications
3 items
Critical Sections Are Not Per-Thread: A Trace Semantics for Lock-Based Concurrency
2026
Cited
0
Beyond Per-Thread Lock Sets: Multi-Thread Critical Sections and Dynamic Deadlock Prediction
2025
Cited
0
Partial Orders for Precise and Efficient Dynamic Deadlock Prediction
2025
Cited
0
Co-authors
8 total
Peter Stuckey
Faculty of Information Technology, Monash University
Simon Peyton Jones
Epic Games
Peter Thiemann
Professor of Computer Science, University of Freiburg
Dimitrios Vytiniotis
DeepMind
Meng Wang
Professor of Programming Languages, University of Bristol
Martin Odersky
EPFL
Reiner Hähnle
Professor of Computer Science, Technical University of Darmstadt
Kim Marriott
Professor, Monash University
