pith. sign in

Martin Sulzmann

Identifiers

  • name variant Martin Sulzmann 0.60 · backfill

Papers (14)

  1. Critical Sections Are Not Per-Thread: A Trace Semantics for Lock-Based Concurrency cs.PL · 2026 · author #1
  2. Partial Orders for Precise and Efficient Dynamic Deadlock Prediction cs.PL · 2025 · author #2
  3. Two-Phase Dynamic Analysis of Message-Passing Go Programs based on Vector Clocks cs.PL · 2018 · author #1
  4. LTL Semantic Tableaux and Alternating $\omega$-automata via Linear Factors cs.FL · 2017 · author #1
  5. Trace-Based Run-time Analysis of Message-Passing Go Programs cs.PL · 2017 · author #1
  6. A Computational Interpretation of Context-Free Expressions cs.FL · 2017 · author #1
  7. Static Trace-Based Deadlock Analysis for Synchronous Mini-Go cs.PL · 2016 · author #2
  8. Derivative-Based Diagnosis of Regular Expression Ambiguity cs.FL · 2016 · author #1
  9. Forkable Regular Expressions cs.FL · 2015 · author #1
  10. Concurrent Goal-Based Execution of Constraint Handling Rules cs.PL · 2010 · author #2
  11. Type Inference for Guarded Recursive Data Types cs.PL · 2005 · author #2
  12. Improved Inference for Checking Annotations cs.PL · 2005 · author #2
  13. The Chameleon Type Debugger (Tool Demonstration) cs.PL · 2003 · author #2
  14. Type Classes and Constraint Handling Rules cs.PL · 2000 · author #2

Mentions

  • 1510.07293 #1 · backfill · confidence 0.70 Martin Sulzmann
  • 1006.3039 #2 · backfill · confidence 0.70 Martin Sulzmann

Frequent Coauthors