Martin Sulzmann

According to our database1, Martin Sulzmann authored at least 76 papers between 1996 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Cross-thread critical sections and efficient dynamic race prediction methods.
CoRR, 2023

2022
Special issue on revised and extended versions of papers presented at the 22nd Brazilian Symposium on Programming Languages (SBLP 2018).
Sci. Comput. Program., 2022

A Type-Directed, Dictionary-Passing Translation of Featherweight Generic Go.
CoRR, 2022

Semantic Preservation for a Type Directed Translation Scheme of Featherweight Go.
Proceedings of the Mathematics of Program Construction - 14th International Conference, 2022

2021
Preface.
Sci. Comput. Program., 2021

A Dictionary-Passing Translation of Featherweight Go.
Proceedings of the Programming Languages and Systems - 19th Asian Symposium, 2021

2020
Visual Testing of GUIs by Abstraction.
CoRR, 2020

Efficient, Near Complete and Often Sound Hybrid Dynamic Data Race Prediction (extended version).
CoRR, 2020

Efficient, near complete, and often sound hybrid dynamic data race prediction.
Proceedings of the MPLR '20: 17th International Conference on Managed Programming Languages and Runtimes, 2020

2019
Derivatives and partial derivatives for regular shuffle expressions.
J. Comput. Syst. Sci., 2019

Predicting All Data Race Pairs for a Specific Schedule (extended version).
CoRR, 2019

Solving of Regular Equations Revisited (extended version).
CoRR, 2019

Data Race Prediction for Inaccurate Traces.
CoRR, 2019

Predicting all data race pairs for a specific schedule.
Proceedings of the 16th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, 2019

Futures and promises in Haskell and Scala.
Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2019

Solving of Regular Equations Revisited.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31, 2019

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.
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
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
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.
Theory Pract. Log. Program., 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.
Theory Pract. Log. Program., 2011

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

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

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
Language-Based Program Verification via Expressive Types.
Proceedings of the Programming Languages meets Program Verification, 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

A Type-Safe Embedding of XDuce into ML.
Proceedings of the ACM-SIGPLAN Workshop on ML, 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
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.
Theory Pract. Object Syst., 1999

1996
The Tableau-based Theorem Prover <sub>3</sub>T<sup>A</sup>P Version 4.0.
Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996


  Loading...