Martin Sulzmann

发表

Trace-Based Run-Time Analysis of Message-Passing Go Programs

Martin Sulzmann, Kai Stadtmüller, K. Stadtmüller, 2017, Haifa Verification Conference.

Visual Testing of GUIs by Abstraction pdf

Martin Sulzmann, Daniel Kraus, Jeremias Rößler, 2020, ArXiv.

The Chameleon Type Debugger (Tool Demonstration)

Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny, 2003, ArXiv.

OutsideIn(X) Modular type inference with local assumptions

Simon L. Peyton Jones, Tom Schrijvers, Martin Sulzmann, 2011, J. Funct. Program..

XHaskell - Adding Regular Expression Types to Haskell

Martin Sulzmann, Kenny Zhuo Ming Lu, Martin Sulzmann, 2008, IFL.

Solving of Regular Equations Revisited (extended version) pdf

Martin Sulzmann, Kenny Zhuo Ming Lu, 2019, ArXiv.

A concurrent constraint handling rules implementation in Haskell with software transactional memory

Martin Sulzmann, Edmund Soon Lee Lam, 2007, DAMP '07.

Extracting programs from type class proofs

Martin Sulzmann, 2006, PPDP '06.

Type Inference with Constrained Types

Martin Odersky, Martin Sulzmann, Martin Wehr, 1999, Theory Pract. Object Syst..

Type Inference for Guarded Recursive Data Types pdf

Peter J. Stuckey, Martin Sulzmann, 2005, ArXiv.

Derivative-Based Diagnosis of Regular Expression Ambiguity

Martin Sulzmann, Kenny Zhuo Ming Lu, 2017, Int. J. Found. Comput. Sci..

Constructive Finite Trace Analysis with Linear Temporal Logic

Martin Sulzmann, Axel Zechner, 2012, TAP@TOOLS.

Improving type error diagnosis

Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny, 2004, Haskell '04.

Solving of Regular Equations Revisited

Martin Sulzmann, Kenny Zhuo Ming Lu, 2019, ICTAC.

Xhaskell: regular expression types for haskell

Martin Sulzmann, Kenny Zhuo Ming Lu, 2004 .

Comparing the performance of concurrent linked-list implementations in Haskell (abstract only)

Simon Marlow, Martin Sulzmann, Edmund S.L. Lam, 2009, SIGP.

Two-Phase Dynamic Analysis of Message-Passing Go Programs Based on Vector Clocks

Martin Sulzmann, Kai Stadtmüller, K. Stadtmüller, 2018, PPDP.

A General Type Inference Framework for Hindley/Milner Style Systems

Martin Sulzmann, 2001, FLOPS.

On Termination, Confluence and Consistent CHR-based Type Inference

Martin Sulzmann, Rémy Haemmerlé, Gregory J. Duck, 2014, Theory Pract. Log. Program..

Derivatives for Regular Shuffle Expressions

Peter Thiemann, Martin Sulzmann, 2015, LATA.

Under Consideration for Publication in J. Functional Programming Hm(x) Type Inference Is Clp(x) Solving

Peter J. Stuckey, Martin Sulzmann, Peter James Stuckey, 2022 .

The Tableau-based Theorem Prover 3TAP Version 4.0

Bernhard Beckert, Reiner Hähnle, Martin Sulzmann, 1996, CADE.

Functional and Logic Programming: 14th International Symposium (FLOPS 2018), Nagoya, Japan, May 9-11, 2018

John P. Gallagher, Martin Sulzmann, 2018 .

Derivatives and partial derivatives for regular shuffle expressions

Peter Thiemann, Martin Sulzmann, 2019, J. Comput. Syst. Sci..

A theory of overloading

Peter J. Stuckey, Martin Sulzmann, 2002, ICFP '02.

Aspect-oriented programming with type classes

Meng Wang, Martin Sulzmann, 2007, FOAL.

A Systematic Translation of Guarded Recursive Data Typesto Existential Types

Martin Sulzmann, Meng Wang, 2004 .

Efficient, near complete, and often sound hybrid dynamic data race prediction

Martin Sulzmann, Kai Stadtmüller, 2020, MPLR.

Transactions in Constraint Handling Rules

Tom Schrijvers, Martin Sulzmann, 2008, ICLP.

A Type-Safe Embedding of Constraint Handling Rules into Haskell

Meng Wang, Wei-Ngan Chin, Martin Sulzmann, 2008 .

A Flexible and Efficient ML Lexer Tool Based on Extended Regular Expression Submatching

Martin Sulzmann, Pippijn van Steenhoven, 2014, CC.

Tag-Free Combinators for Binding-Time Polymorphic Program Generation

Peter Thiemann, Martin Sulzmann, Peter Thiemann, 2010, FLOPS.

Traceability and evidence of correctness of EDSL abstractions

Martin Sulzmann, Axel Zechner, Jürgen Nicklisch-Franken, 2013, PEPM '13.

Derivative-Based Diagnosis of Regular Expression Ambiguity

Martin Sulzmann, Kenny Zhuo Ming Lu, 2016, CIAA.

Functional and Logic Programming

John P. Gallagher, Martin Sulzmann, 2018, Lecture Notes in Computer Science.

Hindley/Milner style type systems in constraint form

Martin Sulzmann, Christoph Zenger, Martin Müller, 1999 .

Language-Based Program Verification via Expressive Types

Martin Sulzmann, Razvan Voicu, 2007, Electron. Notes Theor. Comput. Sci..

LTL Semantic Tableaux and Alternating \omega ω -automata via Linear Factors

Peter Thiemann, Martin Sulzmann, Peter Thiemann, 2017, ICTAC.

Type Classes and Constraint Handling Rules

Peter J. Stuckey, Martin Sulzmann, Kevin Glynn, 2000, ArXiv.

A Framework for Extended Algebraic Data Types

Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny, 2006, FLOPS.

Data Race Prediction for Inaccurate Traces pdf

Martin Sulzmann, Kai Stadtmüller, 2019, ArXiv.

Restoring confluence for functional dependencies

Tom Schrijvers, Martin Sulzmann, 2008, TFP 2008 2008.

Interactive type debugging in Haskell

Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny, 2003, Haskell '03.

Sound and Decidable Type Inference for Functional Dependencies

Simon L. Peyton Jones, Peter J. Stuckey, Martin Sulzmann, 2004, ESOP.

Exception analysis for non-strict languages

Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard, 2002, ICFP '02.

Translating Generalized Algebraic Data Types to System F

Martin Sulzmann, Meng Wang, 2005 .

Model Checking DSL-Generated C Source Code

Martin Sulzmann, Axel Zechner, A. Zechner, 2012, SPIN.

Confluence for Functional Dependencies

Tom Schrijvers, Martin Sulzmann, 2008, Trends in Functional Programming.

Predicting all data race pairs for a specific schedule

Martin Sulzmann, Kai Stadtmüller, 2019, MPLR.

Towards open type functions for Haskell

Simon Peyton Jones, Tom Schrijvers, Manuel M. T. Chakravarty, 2007 .

Actors with Multi-headed Message Receive Patterns

Martin Sulzmann, Peter Van Weert, Edmund Soon Lee Lam, 2008, COORDINATION.

A Type-Safe Embedding of XDuce into ML

Martin Sulzmann, Kenny Zhuo Ming Lu, Martin Sulzmann, 2006, ML.

A framework for formal verification of systems of synchronous components

Stefan Milius, Jan Peleska, Martin Sulzmann, 2012, MBEES.

Resource Usage Verification

Peter J. Stuckey, Kim Marriott, Martin Sulzmann, 2003, APLAS.

Unified type checking for type classes and type families

Tom Schrijvers, Martin Sulzmann, 2008, ICFP 2008.

Improved Inference for Checking Annotations pdf

Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny, 2005, ArXiv.

Futures and promises in Haskell and Scala

Martin Sulzmann, Tamino Dauth, T. Dauth, 2019, PEPM@POPL.

System F with type equality coercions

Simon L. Peyton Jones, Manuel M. T. Chakravarty, Martin Sulzmann, 2007, TLDI '07.

Type Processing by Constraint Reasoning

Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny, 2006, APLAS.

Complete and decidable type inference for GADTs

Simon L. Peyton Jones, Tom Schrijvers, Martin Sulzmann, 2009, ICFP.

From \omega -Regular Expressions to Büchi Automata via Partial Derivatives

Peter Thiemann, Martin Sulzmann, 2015, LATA.

Static Trace-Based Deadlock Analysis for Synchronous Mini-Go

Peter Thiemann, Martin Sulzmann, Kai Stadtmüller, 2016, APLAS.

Type checking with open type functions

Simon Peyton Jones, Tom Schrijvers, Manuel M. T. Chakravarty, 2008, ICFP 2008.

An Overview of the Chameleon System

Martin Sulzmann, 2002, APLAS.

DAMP 2009: Workshop on Declarative Aspects of Multicore Programming

Vivek Sarkar, Guy E. Blelloch, Satnam Singh, 2009 .

Under Consideration for Publication in Theory and Practice of Logic Programming Concurrent Goal-based Execution of Constraint Handling Rules

Martin Sulzmann, Edmund Soon Lee Lam, E. Lam, 2022 .

Principal Type Inference for GHC-Style Multi-parameter Type Classes

Peter J. Stuckey, Tom Schrijvers, Martin Sulzmann, 2006, APLAS.

Comparing the performance of concurrent linked-list implementations in Haskell

Simon Marlow, Martin Sulzmann, Edmund Soon Lee Lam, 2009, DAMP '09.

Understanding functional dependencies via constraint handling rules

Simon L. Peyton Jones, Peter J. Stuckey, Martin Sulzmann, 2007, J. Funct. Program..

LTL Semantic Tableaux and Alternating ω-automata via Linear Factors pdf

Peter Thiemann, Martin Sulzmann, 2017, ArXiv.

Boolean Constraints for Binding-Time Analysis

Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard, 2001, PADO.

Effective Strictness Analysis with HORN Constraints

Peter J. Stuckey, Martin Sulzmann, Kevin Glynn, 2001, SAS.

Regular expression sub-matching using partial derivatives

Martin Sulzmann, Kenny Zhuo Ming Lu, Martin Sulzmann, 2012, PPDP.

Observable Confluence for Constraint Handling Rules

Peter J. Stuckey, Martin Sulzmann, Gregory J. Duck, 2007, ICLP.

A Computational Interpretation of Context-Free Expressions pdf

Peter Thiemann, Martin Sulzmann, 2017, APLAS.

Type checking with open type functions

Simon L. Peyton Jones, Tom Schrijvers, Manuel M. T. Chakravarty, 2008, ICFP.

Parallel execution of multi-set constraint rewrite rules

Martin Sulzmann, Edmund Soon Lee Lam, 2008, PPDP '08.

An Implementation of Subtyping Among Regular Expression Types

Martin Sulzmann, Kenny Zhuo Ming Lu, 2004, APLAS.

Confluence for non-full functional dependencies

Tom Schrijvers, Martin Sulzmann, 2009 .

POSIX Regular Expression Parsing with Derivatives

Martin Sulzmann, Kenny Zhuo Ming Lu, 2014, FLOPS.

Modular generic programming with extensible superclasses

Meng Wang, Martin Sulzmann, 2006, WGP '06.

Forkable Regular Expressions pdf

Peter Thiemann, Martin Sulzmann, 2016, LATA.

Preface

John P. Gallagher, Martin Sulzmann, 2021, Sci. Comput. Program..

A Dictionary-Passing Translation of Featherweight Go

Martin Sulzmann, Stefan Wehr, Stefan Wehr, 2021, APLAS.

A Rule-Based Specification of Software Transactional Memory

Martin Sulzmann, Duc Hiep Chu, 2008 .

Proofs of Properties about HM(X)

Martin Sulzmann, 1998 .

The Many-Valued Tableau-Based Theorem Prover 3-TAP, Version 4.0

Bernhard Beckert, Reiner Hähnle, Martin Sulzmann, 1996 .

Type inference for GADTs via Herbrand constraint abduction

Peter J. Stuckey, Tom Schrijvers, Martin Sulzmann, 2008 .

The Tableau-Based Theorem Prover (TaP)

Bernhard Beckert, Reiner Hähnle, Martin Sulzmann, 1996 .

Designing Record Systems

Martin Sulzmann, 1997 .

Parallel Join Patterns with Guards and Propagation

Martin Sulzmann, Edmund S. L. Lam, 2009 .