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
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
Faculty of Information Technology, Monash University
Co-author 2
Simon Peyton Jones
Epic Games
Co-author 4
Peter Thiemann
Professor of Computer Science, University of Freiburg
Co-author 6
Dimitrios Vytiniotis
DeepMind
Meng Wang
Professor of Programming Languages, University of Bristol
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up