Martin Sulzmann

Publication Activity (10 Years)

Years Active: 1996-2023
Publications (10 Years): 33

Top Topics

Deterministic Finite Automata

Semistructured Databases

Regular Expressions

Top Venues

Publications

Martin Sulzmann, Peter Thiemann
Cross-thread critical sections and efficient dynamic race prediction methods. CoRR (2023)
Martin Sulzmann, Stefan Wehr
A type-directed, dictionary-passing translation of method overloading and structural subtyping in Featherweight Generic Go. J. Funct. Program. 33 (2023)
Martin Sulzmann, Stefan Wehr
Semantic preservation for a type directed translation scheme of Featherweight Go. CoRR (2022)
Martin Sulzmann, Stefan Wehr
A Type-Directed, Dictionary-Passing Translation of Featherweight Generic Go. CoRR (2022)
Martin Sulzmann, Stefan Wehr
Semantic Preservation for a Type Directed Translation Scheme of Featherweight Go. MPC (2022)
Carlos Camarão, Martin Sulzmann
Special issue on revised and extended versions of papers presented at the 22nd Brazilian Symposium on Programming Languages (SBLP 2018). Sci. Comput. Program. 218 (2022)
Martin Sulzmann, Stefan Wehr
A Dictionary-Passing Translation of Featherweight Go. APLAS (2021)
John P. Gallagher, Martin Sulzmann
Preface. Sci. Comput. Program. 202 (2021)
Martin Sulzmann, Stefan Wehr
A Dictionary-Passing Translation of Featherweight Go. CoRR (2021)
Martin Sulzmann, Kai Stadtmüller
Efficient, Near Complete and Often Sound Hybrid Dynamic Data Race Prediction (extended version). CoRR (2020)
Martin Sulzmann, Kai Stadtmüller
Efficient, near complete, and often sound hybrid dynamic data race prediction. MPLR (2020)
Daniel Kraus, Jeremias Rößler, Martin Sulzmann
Visual Testing of GUIs by Abstraction. CoRR (2020)
Martin Sulzmann, Kenny Zhuo Ming Lu
Solving of Regular Equations Revisited (extended version). CoRR (2019)
Martin Sulzmann, Kai Stadtmüller
Predicting all data race pairs for a specific schedule. MPLR (2019)
Martin Sulzmann, Kai Stadtmüller
Data Race Prediction for Inaccurate Traces. CoRR (2019)
Martin Sulzmann, Peter Thiemann
Derivatives and partial derivatives for regular shuffle expressions. J. Comput. Syst. Sci. 104 (2019)
Martin Sulzmann, Kenny Zhuo Ming Lu
Solving of Regular Equations Revisited. ICTAC (2019)
Tamino Dauth, Martin Sulzmann
Futures and promises in Haskell and Scala. PEPM@POPL (2019)
Martin Sulzmann, Kai Stadtmüller
Predicting All Data Race Pairs for a Specific Schedule (extended version). CoRR (2019)
Martin Sulzmann, Kai Stadtmüller
Two-Phase Dynamic Analysis of Message-Passing Go Programs based on Vector Clocks. CoRR (2018)
Martin Sulzmann, Kai Stadtmüller
Two-Phase Dynamic Analysis of Message-Passing Go Programs Based on Vector Clocks. PPDP (2018)
Martin Sulzmann, Peter Thiemann
LTL Semantic Tableaux and Alternating \omega ω -automata via Linear Factors. ICTAC (2018)
Martin Sulzmann, Kenny Zhuo Ming Lu
Derivative-Based Diagnosis of Regular Expression Ambiguity. Int. J. Found. Comput. Sci. 28 (5) (2017)
Martin Sulzmann, Peter Thiemann
A Computational Interpretation of Context-Free Expressions. APLAS (2017)
Martin Sulzmann, Peter Thiemann
LTL Semantic Tableaux and Alternating ω-automata via Linear Factors. CoRR (2017)
Martin Sulzmann, Kai Stadtmüller
Trace-Based Run-time Analysis of Message-Passing Go Programs. CoRR (2017)
Martin Sulzmann, Kai Stadtmüller
Trace-Based Run-Time Analysis of Message-Passing Go Programs. Haifa Verification Conference (2017)
Martin Sulzmann, Peter Thiemann
A Computational Interpretation of Context-Free Expressions. CoRR (2017)
Kai Stadtmüller, Martin Sulzmann, Peter Thiemann
Static Trace-Based Deadlock Analysis for Synchronous Mini-Go. APLAS (2016)
Martin Sulzmann, Kenny Zhuo Ming Lu
Derivative-Based Diagnosis of Regular Expression Ambiguity. CIAA (2016)
Kai Stadtmüller, Martin Sulzmann, Peter Thiemann
Static Trace-Based Deadlock Analysis for Synchronous Mini-Go. CoRR (2016)
Martin Sulzmann, Peter Thiemann
Forkable Regular Expressions. LATA (2016)
Martin Sulzmann, Kenny Zhuo Ming Lu
Derivative-Based Diagnosis of Regular Expression Ambiguity. CoRR (2016)
Martin Sulzmann, Peter Thiemann
Derivatives for Regular Shuffle Expressions. LATA (2015)
Peter Thiemann, Martin Sulzmann
From \omega -Regular Expressions to Büchi Automata via Partial Derivatives. LATA (2015)
Martin Sulzmann, Peter Thiemann
Forkable Regular Expressions. CoRR (2015)
Gregory J. Duck, Rémy Haemmerlé, Martin Sulzmann
On Termination, Confluence and Consistent CHR-based Type Inference. CoRR (2014)
Gregory J. Duck, Rémy Haemmerlé, Martin Sulzmann
On Termination, Confluence and Consistent CHR-based Type Inference. Theory Pract. Log. Program. 14 (4-5) (2014)
Martin Sulzmann, Kenny Zhuo Ming Lu
POSIX Regular Expression Parsing with Derivatives. FLOPS (2014)
Martin Sulzmann, Pippijn van Steenhoven
A Flexible and Efficient ML Lexer Tool Based on Extended Regular Expression Submatching. CC (2014)
Martin Sulzmann, Jürgen Nicklisch-Franken, Axel Zechner
Traceability and evidence of correctness of EDSL abstractions. PEPM (2013)
Martin Sulzmann, Axel Zechner
Constructive Finite Trace Analysis with Linear Temporal Logic. TAP@TOOLS (2012)
Stefan Milius, Henning Günther, Jan Peleska, Oliver Möller, Helge Löding, Martin Sulzmann, Ramin Hedayati, Axel Zechner
A framework for formal verification of systems of synchronous components. MBEES (2012)
Martin Sulzmann, Kenny Zhuo Ming Lu
Regular expression sub-matching using partial derivatives. PPDP (2012)
Martin Sulzmann, Axel Zechner
Model Checking DSL-Generated C Source Code. SPIN (2012)
Dimitrios Vytiniotis, Simon L. Peyton Jones, Tom Schrijvers, Martin Sulzmann
OutsideIn(X) Modular type inference with local assumptions. J. Funct. Program. 21 (4-5) (2011)
Edmund S. L. Lam, Martin Sulzmann
Concurrent goal-based execution of Constraint Handling Rules. Theory Pract. Log. Program. 11 (6) (2011)
Peter Thiemann, Martin Sulzmann
Tag-Free Combinators for Binding-Time Polymorphic Program Generation. FLOPS (2010)
Edmund S. L. Lam, Martin Sulzmann
Concurrent Goal-Based Execution of Constraint Handling Rules CoRR (2010)
Martin Sulzmann, Edmund S. L. Lam, Simon Marlow
Comparing the performance of concurrent linked-list implementations in Haskell. DAMP (2009)
Tom Schrijvers, Simon L. Peyton Jones, Martin Sulzmann, Dimitrios Vytiniotis
Complete and decidable type inference for GADTs. ICFP (2009)
Tom Schrijvers, Simon L. Peyton Jones, Manuel M. T. Chakravarty, Martin Sulzmann
Type checking with open type functions. ICFP (2008)
Martin Sulzmann, Edmund S. L. Lam, Peter Van Weert
Actors with Multi-headed Message Receive Patterns. COORDINATION (2008)
Tom Schrijvers, Martin Sulzmann
Transactions in Constraint Handling Rules. ICLP (2008)
Martin Sulzmann, Peter J. Stuckey
HM(X) type inference is CLP(X) solving. J. Funct. Program. 18 (2) (2008)
Tom Schrijvers, Martin Sulzmann
Confluence for Functional Dependencies. Trends in Functional Programming (2008)
Martin Sulzmann, Edmund S. L. Lam
Parallel execution of multi-set constraint rewrite rules. PPDP (2008)
Martin Sulzmann, Razvan Voicu
Language-Based Program Verification via Expressive Types. Electron. Notes Theor. Comput. Sci. 174 (7) (2007)
Martin Sulzmann, Manuel M. T. Chakravarty, Simon L. Peyton Jones, Kevin Donnelly
System F with type equality coercions. TLDI (2007)
Edmund S. L. Lam, Martin Sulzmann
A concurrent constraint handling rules implementation in Haskell with software transactional memory. DAMP (2007)
Martin Sulzmann, Meng Wang
Aspect-oriented programming with type classes. FOAL (2007)
Martin Sulzmann, Gregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey
Understanding functional dependencies via constraint handling rules. J. Funct. Program. 17 (1) (2007)
Martin Sulzmann, Kenny Zhuo Ming Lu
XHaskell - Adding Regular Expression Types to Haskell. IFL (2007)
Gregory J. Duck, Peter J. Stuckey, Martin Sulzmann
Observable Confluence for Constraint Handling Rules. ICLP (2007)
Martin Sulzmann, Kenny Zhuo Ming Lu
XHaskell. PLAN-X (2006)
Martin Sulzmann, Tom Schrijvers, Peter J. Stuckey
Principal Type Inference for GHC-Style Multi-parameter Type Classes. APLAS (2006)
Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny
Type Processing by Constraint Reasoning. APLAS (2006)
Martin Sulzmann, Kenny Zhuo Ming Lu
A Type-Safe Embedding of XDuce into ML. Electron. Notes Theor. Comput. Sci. 148 (2) (2006)
Martin Sulzmann
Extracting programs from type class proofs. PPDP (2006)
Martin Sulzmann, Jeremy Wazny, Peter J. Stuckey
A Framework for Extended Algebraic Data Types. FLOPS (2006)
Martin Sulzmann, Meng Wang
Modular generic programming with extensible superclasses. ICFP-WGP (2006)
Peter J. Stuckey, Martin Sulzmann
A theory of overloading. ACM Trans. Program. Lang. Syst. 27 (6) (2005)
Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny
Improved Inference for Checking Annotations CoRR (2005)
Peter J. Stuckey, Martin Sulzmann
Type Inference for Guarded Recursive Data Types CoRR (2005)
Kenny Zhuo Ming Lu, Martin Sulzmann
An Implementation of Subtyping Among Regular Expression Types. APLAS (2004)
Gregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey, Martin Sulzmann
Sound and Decidable Type Inference for Functional Dependencies. ESOP (2004)
Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny
Improving type error diagnosis. Haskell (2004)
Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny
The Chameleon Type Debugger (Tool Demonstration) CoRR (2003)
Kim Marriott, Peter J. Stuckey, Martin Sulzmann
Resource Usage Verification. APLAS (2003)
Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny
Interactive type debugging in Haskell. Haskell (2003)
Peter J. Stuckey, Martin Sulzmann
A theory of overloading. ICFP (2002)
Kevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard
Exception analysis for non-strict languages. ICFP (2002)
Martin Sulzmann
An Overview of the Chameleon System. APLAS (2002)
Kevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard
Boolean Constraints for Binding-Time Analysis. PADO (2001)
Martin Sulzmann
A General Type Inference Framework for Hindley/Milner Style Systems. FLOPS (2001)
Kevin Glynn, Peter J. Stuckey, Martin Sulzmann
Effective Strictness Analysis with HORN Constraints. SAS (2001)
Kevin Glynn, Martin Sulzmann, Peter J. Stuckey
Type Classes and Constraint Handling Rules CoRR (2000)
Martin Odersky, Martin Sulzmann, Martin Wehr
Type Inference with Constrained Types. Theory Pract. Object Syst. 5 (1) (1999)
Bernhard Beckert, Reiner Hähnle, Peter Oel, Martin Sulzmann
P Version 4.0. CADE (1996)