Martin Sulzmann

According to our database1, Martin Sulzmann authored at least 70 papers between 1996 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Two-Phase Dynamic Analysis of Message-Passing Go Programs based on Vector Clocks.
CoRR, 2018

Two-Phase Dynamic Analysis of Message-Passing Go Programs Based on Vector Clocks.
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018

LTL Semantic Tableaux and Alternating \omega ω -automata via Linear Factors.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2018, 2018

2017
Derivative-Based Diagnosis of Regular Expression Ambiguity.
Int. J. Found. Comput. Sci., 2017

LTL Semantic Tableaux and Alternating ω-automata via Linear Factors.
CoRR, 2017

Trace-Based Run-time Analysis of Message-Passing Go Programs.
CoRR, 2017

A Computational Interpretation of Context-Free Expressions.
CoRR, 2017

Trace-Based Run-Time Analysis of Message-Passing Go Programs.
Proceedings of the Hardware and Software: Verification and Testing, 2017

A Computational Interpretation of Context-Free Expressions.
Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017

2016
Derivative-Based Diagnosis of Regular Expression Ambiguity.
CoRR, 2016

Static Trace-Based Deadlock Analysis for Synchronous Mini-Go.
CoRR, 2016

Derivative-Based Diagnosis of Regular Expression Ambiguity.
Proceedings of the Implementation and Application of Automata, 2016

Forkable Regular Expressions.
Proceedings of the Language and Automata Theory and Applications, 2016

Static Trace-Based Deadlock Analysis for Synchronous Mini-Go.
Proceedings of the Programming Languages and Systems - 14th Asian Symposium, 2016

2015
Forkable Regular Expressions.
CoRR, 2015

From \omega -Regular Expressions to Büchi Automata via Partial Derivatives.
Proceedings of the Language and Automata Theory and Applications, 2015

Derivatives for Regular Shuffle Expressions.
Proceedings of the Language and Automata Theory and Applications, 2015

2014
On Termination, Confluence and Consistent CHR-based Type Inference.
TPLP, 2014

On Termination, Confluence and Consistent CHR-based Type Inference.
CoRR, 2014

POSIX Regular Expression Parsing with Derivatives.
Proceedings of the Functional and Logic Programming - 12th International Symposium, 2014

A Flexible and Efficient ML Lexer Tool Based on Extended Regular Expression Submatching.
Proceedings of the Compiler Construction - 23rd International Conference, 2014

2013
Traceability and evidence of correctness of EDSL abstractions.
Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, 2013

2012
Constructive Finite Trace Analysis with Linear Temporal Logic.
Proceedings of the Tests and Proofs - 6th International Conference, 2012

Model Checking DSL-Generated C Source Code.
Proceedings of the Model Checking Software - 19th International Workshop, 2012

Regular expression sub-matching using partial derivatives.
Proceedings of the Principles and Practice of Declarative Programming, 2012

A framework for formal verification of systems of synchronous components.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, 2012

2011
Concurrent goal-based execution of Constraint Handling Rules.
TPLP, 2011

OutsideIn(X) Modular type inference with local assumptions.
J. Funct. Program., 2011

2010
Concurrent Goal-Based Execution of Constraint Handling Rules
CoRR, 2010

Tag-Free Combinators for Binding-Time Polymorphic Program Generation.
Proceedings of the Functional and Logic Programming, 10th International Symposium, 2010

2009
Comparing the performance of concurrent linked-list implementations in Haskell.
Proceedings of the POPL 2009 Workshop on Declarative Aspects of Multicore Programming, 2009

Complete and decidable type inference for GADTs.
Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

2008
HM(X) type inference is CLP(X) solving.
J. Funct. Program., 2008

Confluence for Functional Dependencies.
Proceedings of the Nineth Symposium on Trends in Functional Programming, 2008

Parallel execution of multi-set constraint rewrite rules.
Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008

Transactions in Constraint Handling Rules.
Proceedings of the Logic Programming, 24th International Conference, 2008

Type checking with open type functions.
Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

Actors with Multi-headed Message Receive Patterns.
Proceedings of the Coordination Models and Languages, 10th International Conference, 2008

2007
Understanding functional dependencies via constraint handling rules.
J. Funct. Program., 2007

Language-Based Program Verification via Expressive Types.
Electr. Notes Theor. Comput. Sci., 2007

System F with type equality coercions.
Proceedings of TLDI'07: 2007 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2007

A concurrent constraint handling rules implementation in Haskell with software transactional memory.
Proceedings of the POPL 2007 Workshop on Declarative Aspects of Multicore Programming, 2007

XHaskell - Adding Regular Expression Types to Haskell.
Proceedings of the Implementation and Application of Functional Languages, 2007

Observable Confluence for Constraint Handling Rules.
Proceedings of the Logic Programming, 23rd International Conference, 2007

Aspect-oriented programming with type classes.
Proceedings of the 6th Workshop on Foundations of Aspect-Oriented Languages, 2007

2006
A Type-Safe Embedding of XDuce into ML.
Electr. Notes Theor. Comput. Sci., 2006

Extracting programs from type class proofs.
Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2006

XHaskell.
Proceedings of the PLAN-X 2006 Informal Proceedings, 2006

Modular generic programming with extensible superclasses.
Proceedings of the ACM SIGPLAN Workshop on Generic Programming, 2006

A Framework for Extended Algebraic Data Types.
Proceedings of the Functional and Logic Programming, 8th International Symposium, 2006

Principal Type Inference for GHC-Style Multi-parameter Type Classes.
Proceedings of the Programming Languages and Systems, 4th Asian Symposium, 2006

Type Processing by Constraint Reasoning.
Proceedings of the Programming Languages and Systems, 4th Asian Symposium, 2006

2005
A theory of overloading.
ACM Trans. Program. Lang. Syst., 2005

Type Inference for Guarded Recursive Data Types
CoRR, 2005

Improved Inference for Checking Annotations
CoRR, 2005

2004
Improving type error diagnosis.
Proceedings of the ACM SIGPLAN Workshop on Haskell, 2004

Sound and Decidable Type Inference for Functional Dependencies.
Proceedings of the Programming Languages and Systems, 2004

An Implementation of Subtyping Among Regular Expression Types.
Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004

2003
The Chameleon Type Debugger (Tool Demonstration)
CoRR, 2003

Interactive type debugging in Haskell.
Proceedings of the ACM SIGPLAN Workshop on Haskell, 2003

Resource Usage Verification.
Proceedings of the Programming Languages and Systems, First Asian Symposium, 2003

2002
A theory of overloading.
Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), 2002

Exception analysis for non-strict languages.
Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), 2002

An Overview of the Chameleon System.
Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002

2001
Effective Strictness Analysis with HORN Constraints.
Proceedings of the Static Analysis, 8th International Symposium, 2001

Boolean Constraints for Binding-Time Analysis.
Proceedings of the Programs as Data Objects, Second Symposium, 2001

A General Type Inference Framework for Hindley/Milner Style Systems.
Proceedings of the Functional and Logic Programming, 5th International Symposium, 2001

2000
Type Classes and Constraint Handling Rules
CoRR, 2000

1999
Type Inference with Constrained Types.
TAPOS, 1999

1996
The Tableau-based Theorem Prover 3TAP Version 4.0.
Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996


  Loading...