| 2022 | MPC | Semantic Preservation for a Type Directed Translation Scheme of Featherweight Go. | Martin Sulzmann, Stefan Wehr |
| 2021 | APLAS | A Dictionary-Passing Translation of Featherweight Go. | Martin Sulzmann, Stefan Wehr |
| 2019 | ICTAC | Solving of Regular Equations Revisited. | Martin Sulzmann, Kenny Zhuo Ming Lu |
| 2019 | PEPM | Futures and promises in Haskell and Scala. | Tamino Dauth, Martin Sulzmann |
| 2018 | ICTAC | LTL Semantic Tableaux and Alternating \omega ω -automata via Linear Factors. | Martin Sulzmann, Peter Thiemann |
| 2018 | PPDP | Two-Phase Dynamic Analysis of Message-Passing Go Programs Based on Vector Clocks. | Martin Sulzmann, Kai Stadtmller |
| 2017 | APLAS | A Computational Interpretation of Context-Free Expressions. | Martin Sulzmann, Peter Thiemann |
| 2016 | APLAS | Static Trace-Based Deadlock Analysis for Synchronous Mini-Go. | Kai Stadtmller, Martin Sulzmann, Peter Thiemann |
| 2016 | LATA | Forkable Regular Expressions. | Martin Sulzmann, Peter Thiemann |
| 2015 | LATA | Derivatives for Regular Shuffle Expressions. | Martin Sulzmann, Peter Thiemann |
| 2015 | LATA | From \omega -Regular Expressions to Bchi Automata via Partial Derivatives. | Peter Thiemann, Martin Sulzmann |
| 2014 | CC | A Flexible and Efficient ML Lexer Tool Based on Extended Regular Expression Submatching. | Martin Sulzmann, Pippijn van Steenhoven |
| 2014 | FLOPS | POSIX Regular Expression Parsing with Derivatives. | Martin Sulzmann, Kenny Zhuo Ming Lu |
| 2013 | PEPM | Traceability and evidence of correctness of EDSL abstractions. | Martin Sulzmann, Jrgen Nicklisch-Franken, Axel Zechner |
| 2012 | PPDP | Regular expression sub-matching using partial derivatives. | Martin Sulzmann, Kenny Zhuo Ming Lu |
| 2012 | TAP | Constructive Finite Trace Analysis with Linear Temporal Logic. | Martin Sulzmann, Axel Zechner |
| 2010 | FLOPS | Tag-Free Combinators for Binding-Time Polymorphic Program Generation. | Peter Thiemann, Martin Sulzmann |
| 2009 | ICFP | Complete and decidable type inference for GADTs. | Tom Schrijvers, Simon L. Peyton Jones, Martin Sulzmann, Dimitrios Vytiniotis |
| 2009 | POPL | Comparing the performance of concurrent linked-list implementations in Haskell. | Martin Sulzmann, Edmund S. L. Lam, Simon Marlow |
| 2008 | Coordination | Actors with Multi-headed Message Receive Patterns. | Martin Sulzmann, Edmund S. L. Lam, Peter Van Weert |
| 2008 | ICFP | Type checking with open type functions. | Tom Schrijvers, Simon L. Peyton Jones, Manuel M. T. Chakravarty, Martin Sulzmann |
| 2008 | ICLP | Transactions in Constraint Handling Rules. | Tom Schrijvers, Martin Sulzmann |
| 2008 | PPDP | Parallel execution of multi-set constraint rewrite rules. | Martin Sulzmann, Edmund S. L. Lam |
| 2007 | ICLP | Observable Confluence for Constraint Handling Rules. | Gregory J. Duck, Peter J. Stuckey, Martin Sulzmann |
| 2007 | POPL | A concurrent constraint handling rules implementation in Haskell with software transactional memory. | Edmund S. L. Lam, Martin Sulzmann |
| 2006 | APLAS | Type Processing by Constraint Reasoning. | Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny |
| 2006 | APLAS | Principal Type Inference for GHC-Style Multi-parameter Type Classes. | Martin Sulzmann, Tom Schrijvers, Peter J. Stuckey |
| 2006 | FLOPS | A Framework for Extended Algebraic Data Types. | Martin Sulzmann, Jeremy Wazny, Peter J. Stuckey |
| 2006 | ICFP | Modular generic programming with extensible superclasses. | Martin Sulzmann, Meng Wang |
| 2006 | PPDP | Extracting programs from type class proofs. | Martin Sulzmann |
| 2004 | APLAS | An Implementation of Subtyping Among Regular Expression Types. | Kenny Zhuo Ming Lu, Martin Sulzmann |
| 2004 | ESOP | Sound and Decidable Type Inference for Functional Dependencies. | Gregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey, Martin Sulzmann |
| 2004 | HASKELL | Improving type error diagnosis. | Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny |
| 2003 | APLAS | Resource Usage Verification. | Kim Marriott, Peter J. Stuckey, Martin Sulzmann |
| 2003 | HASKELL | Interactive type debugging in Haskell. | Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny |
| 2002 | APLAS | An Overview of the Chameleon System. | Martin Sulzmann |
| 2002 | ICFP | Exception analysis for non-strict languages. | Kevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Sndergaard |
| 2002 | ICFP | A theory of overloading. | Peter J. Stuckey, Martin Sulzmann |
| 2001 | FLOPS | A General Type Inference Framework for Hindley/Milner Style Systems. | Martin Sulzmann |
| 2001 | SAS | Effective Strictness Analysis with HORN Constraints. | Kevin Glynn, Peter J. Stuckey, Martin Sulzmann |
| 1996 | CADE | The Tableau-based Theorem Prover | Bernhard Beckert, Reiner Hhnle, Peter Oel, Martin Sulzmann |