Martin Sulzmann
According to our database1,
Martin Sulzmann
authored at least 70 papers
between 1996 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
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