Martin Sulzmann
Scholar

Martin Sulzmann

Google Scholar ID: XcZzwRIAAAAJ
Professor of Computer Science, Karlsruhe University of Applied Sciences
programming languagesprogram analysis and software verification
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
526
 
H-index
11
 
i10-index
14
 
Publications
20
 
Co-authors
14
list available
Contact
No contact links provided.
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
Resume (English only)
Co-authors
14 total
Peter Stuckey
Peter Stuckey
Faculty of Information Technology, Monash University
Co-author 2
Co-author 2
Simon Peyton Jones
Simon Peyton Jones
Epic Games
Co-author 4
Co-author 4
Peter Thiemann
Peter Thiemann
Professor of Computer Science, University of Freiburg
Co-author 6
Co-author 6
Dimitrios Vytiniotis
Dimitrios Vytiniotis
DeepMind
Meng Wang
Meng Wang
Professor of Programming Languages, University of Bristol