The Tableau-based Theorem Prover 3TAP Version 4.0. - Bernhard Beckert; Reiner Hähnle; Peter Oel; Martin Sulzmann (CADE, 1996)

Type Inference with Constrained Types. - Martin Odersky; Martin Sulzmann; Martin Wehr (Theory Pract. Object Syst., 1999)

Type Classes and Constraint Handling Rules - Kevin Glynn; Martin Sulzmann; Peter J. Stuckey (CoRR, 2000)

A General Type Inference Framework for Hindley/Milner Style Systems. - Martin Sulzmann (FLOPS, 2001)

Boolean Constraints for Binding-Time Analysis. - Kevin Glynn; Peter J. Stuckey; Martin Sulzmann; Harald Søndergaard (PADO, 2001)

Effective Strictness Analysis with HORN Constraints. - Kevin Glynn; Peter J. Stuckey; Martin Sulzmann (SAS, 2001)

An Overview of the Chameleon System. - Martin Sulzmann (APLAS, 2002)

Exception analysis for non-strict languages. - Kevin Glynn; Peter J. Stuckey; Martin Sulzmann; Harald Søndergaard (ICFP, 2002)

Resource Usage Verification. - Kim Marriott; Peter J. Stuckey; Martin Sulzmann (APLAS, 2003)

Interactive type debugging in Haskell. - Peter J. Stuckey; Martin Sulzmann; Jeremy Wazny (Haskell, 2003)

The Chameleon Type Debugger (Tool Demonstration) - Peter J. Stuckey; Martin Sulzmann; Jeremy Wazny (CoRR, 2003)

An Implementation of Subtyping Among Regular Expression Types. - Kenny Zhuo Ming Lu; Martin Sulzmann (APLAS, 2004)

Sound and Decidable Type Inference for Functional Dependencies. - Gregory J. Duck; Simon L. Peyton Jones; Peter J. Stuckey; Martin Sulzmann (ESOP, 2004)

Improving type error diagnosis. - Peter J. Stuckey; Martin Sulzmann; Jeremy Wazny (Haskell, 2004)

Improved Inference for Checking Annotations - Peter J. Stuckey; Martin Sulzmann; Jeremy Wazny (CoRR, 2005)

Type Inference for Guarded Recursive Data Types - Peter J. Stuckey; Martin Sulzmann (CoRR, 2005)

A Type-Safe Embedding of XDuce into ML. - Martin Sulzmann; Kenny Zhuo Ming Lu (ML, 2005)

A theory of overloading. - Peter J. Stuckey; Martin Sulzmann (ACM Trans. Program. Lang. Syst., 2005)

Type Processing by Constraint Reasoning. - Peter J. Stuckey; Martin Sulzmann; Jeremy Wazny (APLAS, 2006)

Principal Type Inference for GHC-Style Multi-parameter Type Classes. - Martin Sulzmann; Tom Schrijvers; Peter J. Stuckey (APLAS, 2006)

A Framework for Extended Algebraic Data Types. - Martin Sulzmann; Jeremy Wazny; Peter J. Stuckey (FLOPS, 2006)

Modular generic programming with extensible superclasses. - Martin Sulzmann; Meng Wang 002 (ICFP-WGP, 2006)

XHaskell. - Martin Sulzmann; Kenny Zhuo Ming Lu (PLAN-X, 2006)

Extracting programs from type class proofs. - Martin Sulzmann (PPDP, 2006)

Language-Based Program Verification via Expressive Types. - Martin Sulzmann; Razvan Voicu (PLPV@IJCAR, 2006)

Aspect-oriented programming with type classes. - Martin Sulzmann; Meng Wang 002 (FOAL, 2007)

Observable Confluence for Constraint Handling Rules. - Gregory J. Duck; Peter J. Stuckey; Martin Sulzmann (ICLP, 2007)

XHaskell - Adding Regular Expression Types to Haskell. - Martin Sulzmann; Kenny Zhuo Ming Lu (IFL, 2007)

A concurrent constraint handling rules implementation in Haskell with software transactional memory. - Edmund S. L. Lam; Martin Sulzmann (DAMP, 2007)

System F with type equality coercions. - Martin Sulzmann; Manuel M. T. Chakravarty; Simon L. Peyton Jones; Kevin Donnelly (TLDI, 2007)

Understanding functional dependencies via constraint handling rules. - Martin Sulzmann; Gregory J. Duck; Simon L. Peyton Jones; Peter J. Stuckey (J. Funct. Program., 2007)

Actors with Multi-headed Message Receive Patterns. - Martin Sulzmann; Edmund S. L. Lam; Peter Van Weert (COORDINATION, 2008)

Type checking with open type functions. - Tom Schrijvers; Simon L. Peyton Jones; Manuel M. T. Chakravarty; Martin Sulzmann (ICFP, 2008)

Transactions in Constraint Handling Rules. - Tom Schrijvers; Martin Sulzmann (ICLP, 2008)

Parallel execution of multi-set constraint rewrite rules. - Martin Sulzmann; Edmund S. L. Lam (PPDP, 2008)

Confluence for Functional Dependencies. - Tom Schrijvers; Martin Sulzmann (Trends in Functional Programming, 2008)

HM(X) type inference is CLP(X) solving. - Martin Sulzmann; Peter J. Stuckey (J. Funct. Program., 2008)

Complete and decidable type inference for GADTs. - Tom Schrijvers; Simon L. Peyton Jones; Martin Sulzmann; Dimitrios Vytiniotis (ICFP, 2009)

Comparing the performance of concurrent linked-list implementations in Haskell. - Martin Sulzmann; Edmund S. L. Lam; Simon Marlow (DAMP, 2009)

Tag-Free Combinators for Binding-Time Polymorphic Program Generation. - Peter Thiemann 001; Martin Sulzmann (FLOPS, 2010)

OutsideIn(X) Modular type inference with local assumptions. - Dimitrios Vytiniotis; Simon L. Peyton Jones; Tom Schrijvers; Martin Sulzmann (J. Funct. Program., 2011)

Concurrent goal-based execution of Constraint Handling Rules. - Edmund S. L. Lam; Martin Sulzmann (Theory Pract. Log. Program., 2011)

A framework for formal verification of systems of synchronous components. - Stefan Milius; Henning Günther; Jan Peleska 001; Oliver Möller; Helge Löding; Martin Sulzmann; Ramin Hedayati; Axel Zechner (MBEES, 2012)

Regular expression sub-matching using partial derivatives. - Martin Sulzmann; Kenny Zhuo Ming Lu (PPDP, 2012)

Model Checking DSL-Generated C Source Code. - Martin Sulzmann; Axel Zechner (SPIN, 2012)

Constructive Finite Trace Analysis with Linear Temporal Logic. - Martin Sulzmann; Axel Zechner (TAP@TOOLS, 2012)

Traceability and evidence of correctness of EDSL abstractions. - Martin Sulzmann; Jürgen Nicklisch-Franken; Axel Zechner (PEPM, 2013)

A Flexible and Efficient ML Lexer Tool Based on Extended Regular Expression Submatching. - Martin Sulzmann; Pippijn van Steenhoven (CC, 2014)

POSIX Regular Expression Parsing with Derivatives. - Martin Sulzmann; Kenny Zhuo Ming Lu (FLOPS, 2014)

On Termination, Confluence and Consistent CHR-based Type Inference. - Gregory J. Duck; Rémy Haemmerlé; Martin Sulzmann (Theory Pract. Log. Program., 2014)

Derivatives for Regular Shuffle Expressions. - Martin Sulzmann; Peter Thiemann 001 (LATA, 2015)

From omega -Regular Expressions to Büchi Automata via Partial Derivatives. - Peter Thiemann 001; Martin Sulzmann (LATA, 2015)

Static Trace-Based Deadlock Analysis for Synchronous Mini-Go. - Kai Stadtmüller; Martin Sulzmann; Peter Thiemann 001 (APLAS, 2016)

Forkable Regular Expressions. - Martin Sulzmann; Peter Thiemann 001 (LATA, 2016)

A Computational Interpretation of Context-Free Expressions. - Martin Sulzmann; Peter Thiemann 001 (APLAS, 2017)

Trace-Based Run-Time Analysis of Message-Passing Go Programs. - Martin Sulzmann; Kai Stadtmüller (Haifa Verification Conference, 2017)

LTL Semantic Tableaux and Alternating ω-automata via Linear Factors. - Martin Sulzmann; Peter Thiemann 001 (CoRR, 2017)

Derivative-Based Diagnosis of Regular Expression Ambiguity. - Martin Sulzmann; Kenny Zhuo Ming Lu (Int. J. Found. Comput. Sci., 2017)

LTL Semantic Tableaux and Alternating omega ω -automata via Linear Factors. - Martin Sulzmann; Peter Thiemann 001 (ICTAC, 2018)

Two-Phase Dynamic Analysis of Message-Passing Go Programs Based on Vector Clocks. - Martin Sulzmann; Kai Stadtmüller (PPDP, 2018)

Solving of Regular Equations Revisited. - Martin Sulzmann; Kenny Zhuo Ming Lu (ICTAC, 2019)

Futures and promises in Haskell and Scala. - Tamino Dauth; Martin Sulzmann (PEPM@POPL, 2019)

Predicting all data race pairs for a specific schedule. - Martin Sulzmann; Kai Stadtmüller (MPLR, 2019)

Data Race Prediction for Inaccurate Traces. - Martin Sulzmann; Kai Stadtmüller (CoRR, 2019)

Solving of Regular Equations Revisited (extended version). - Martin Sulzmann; Kenny Zhuo Ming Lu (CoRR, 2019)

Predicting All Data Race Pairs for a Specific Schedule (extended version). - Martin Sulzmann; Kai Stadtmüller (CoRR, 2019)

Derivatives and partial derivatives for regular shuffle expressions. - Martin Sulzmann; Peter Thiemann 001 (J. Comput. Syst. Sci., 2019)

Efficient, near complete, and often sound hybrid dynamic data race prediction. - Martin Sulzmann; Kai Stadtmüller (MPLR, 2020)

Efficient, Near Complete and Often Sound Hybrid Dynamic Data Race Prediction (extended version). - Martin Sulzmann; Kai Stadtmüller (CoRR, 2020)

Visual Testing of GUIs by Abstraction. - Daniel Kraus; Jeremias Rößler; Martin Sulzmann (CoRR, 2020)

A Dictionary-Passing Translation of Featherweight Go. - Martin Sulzmann; Stefan Wehr (APLAS, 2021)

Preface. - John P. Gallagher; Martin Sulzmann (Sci. Comput. Program., 2021)

Semantic Preservation for a Type Directed Translation Scheme of Featherweight Go. - Martin Sulzmann; Stefan Wehr (MPC, 2022)

A Type-Directed, Dictionary-Passing Translation of Featherweight Generic Go. - Martin Sulzmann; Stefan Wehr (CoRR, 2022)

Special issue on revised and extended versions of papers presented at the 22nd Brazilian Symposium on Programming Languages (SBLP 2018). - Carlos Camarão 001; Martin Sulzmann (Sci. Comput. Program., 2022)

Cross-thread critical sections and efficient dynamic race prediction methods. - Martin Sulzmann; Peter Thiemann 001 (CoRR, 2023)

A type-directed, dictionary-passing translation of method overloading and structural subtyping in Featherweight Generic Go. - Martin Sulzmann; Stefan Wehr (J. Funct. Program., 2023)

Partial Orders for Precise and Efficient Dynamic Deadlock Prediction. - Bas van den Heuvel 001; Martin Sulzmann; Peter Thiemann 001 (CoRR, 2025)