Martin Sulzmann

Sci. Comput. Program., 2021

2020

Visual Testing of GUIs by Abstraction.

[BibT_eX]

[DOI]

Daniel Kraus

Jeremias Rößler

CoRR, 2020

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

[BibT_eX]

[DOI]

CoRR, 2020

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

[BibT_eX]

[DOI]

Proceedings of the MPLR '20: 17th International Conference on Managed Programming Languages and Runtimes, 2020

2019

Derivatives and partial derivatives for regular shuffle expressions.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2019

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

[BibT_eX]

[DOI]

CoRR, 2019

Solving of Regular Equations Revisited (extended version).

[BibT_eX]

[DOI]

CoRR, 2019

Data Race Prediction for Inaccurate Traces.

[BibT_eX]

[DOI]

CoRR, 2019

Predicting all data race pairs for a specific schedule.

[BibT_eX]

[DOI]

Proceedings of the 16th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, 2019

Futures and promises in Haskell and Scala.

[BibT_eX]

[DOI]

Tamino Dauth

Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2019

Solving of Regular Equations Revisited.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018

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

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2018, 2018

2017

Derivative-Based Diagnosis of Regular Expression Ambiguity.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2017

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

[BibT_eX]

[DOI]

CoRR, 2017

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

[BibT_eX]

[DOI]

Proceedings of the Hardware and Software: Verification and Testing, 2017

A Computational Interpretation of Context-Free Expressions.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017

2016

Forkable Regular Expressions.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2016

Static Trace-Based Deadlock Analysis for Synchronous Mini-Go.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems - 14th Asian Symposium, 2016

2015

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

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2015

Derivatives for Regular Shuffle Expressions.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2015

2014

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

[BibT_eX]

[DOI]

Rémy Haemmerlé

Theory Pract. Log. Program., 2014

POSIX Regular Expression Parsing with Derivatives.

[BibT_eX]

[DOI]

Proceedings of the Functional and Logic Programming - 12th International Symposium, 2014

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

[BibT_eX]

[DOI]

Pippijn van Steenhoven

Proceedings of the Compiler Construction - 23rd International Conference, 2014

2013

Traceability and evidence of correctness of EDSL abstractions.

[BibT_eX]

[DOI]

Jürgen Nicklisch-Franken

Axel Zechner

Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, 2013

2012

Constructive Finite Trace Analysis with Linear Temporal Logic.

[BibT_eX]

[DOI]

Axel Zechner

Proceedings of the Tests and Proofs - 6th International Conference, 2012

Model Checking DSL-Generated C Source Code.

[BibT_eX]

[DOI]

Axel Zechner

Proceedings of the Model Checking Software - 19th International Workshop, 2012

Regular expression sub-matching using partial derivatives.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Declarative Programming, 2012

A framework for formal verification of systems of synchronous components.

[BibT_eX]

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, 2012

2011

Concurrent goal-based execution of Constraint Handling Rules.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2011

OutsideIn(X) Modular type inference with local assumptions.

[BibT_eX]

[DOI]

Dimitrios Vytiniotis

J. Funct. Program., 2011

2010

Tag-Free Combinators for Binding-Time Polymorphic Program Generation.

[BibT_eX]

[DOI]

Proceedings of the Functional and Logic Programming, 10th International Symposium, 2010

2009

Comparing the performance of concurrent linked-list implementations in Haskell.

[BibT_eX]

[DOI]

Simon Marlow

Proceedings of the POPL 2009 Workshop on Declarative Aspects of Multicore Programming, 2009

Complete and decidable type inference for GADTs.

[BibT_eX]

[DOI]

Dimitrios Vytiniotis

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

2008

HM(X) type inference is CLP(X) solving.

[BibT_eX]

[DOI]

J. Funct. Program., 2008

Confluence for Functional Dependencies.

[BibT_eX]

Proceedings of the Nineth Symposium on Trends in Functional Programming, 2008

Parallel execution of multi-set constraint rewrite rules.

[BibT_eX]

[DOI]

Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008

Transactions in Constraint Handling Rules.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 24th International Conference, 2008

Type checking with open type functions.

[BibT_eX]

[DOI]

Manuel M. T. Chakravarty

Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

Actors with Multi-headed Message Receive Patterns.

[BibT_eX]

[DOI]

Peter Van Weert

Proceedings of the Coordination Models and Languages, 10th International Conference, 2008

2007

Understanding functional dependencies via constraint handling rules.

[BibT_eX]

[DOI]

J. Funct. Program., 2007

Language-Based Program Verification via Expressive Types.

[BibT_eX]

[DOI]

Razvan Voicu

Electron. Notes Theor. Comput. Sci., 2007

System F with type equality coercions.

[BibT_eX]

[DOI]

Manuel M. T. Chakravarty

Kevin Donnelly

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.

[BibT_eX]

[DOI]

Proceedings of the POPL 2007 Workshop on Declarative Aspects of Multicore Programming, 2007

XHaskell - Adding Regular Expression Types to Haskell.

[BibT_eX]

[DOI]

Proceedings of the Implementation and Application of Functional Languages, 2007

Observable Confluence for Constraint Handling Rules.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 23rd International Conference, 2007

Aspect-oriented programming with type classes.

[BibT_eX]

[DOI]

Meng Wang

Proceedings of the 6th Workshop on Foundations of Aspect-Oriented Languages, 2007

2006

A Type-Safe Embedding of XDuce into ML.

[BibT_eX]

[DOI]

Electron. Notes Theor. Comput. Sci., 2006

Extracting programs from type class proofs.

[BibT_eX]

[DOI]

Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2006

XHaskell.

[BibT_eX]

Proceedings of the PLAN-X 2006 Informal Proceedings, 2006

Modular generic programming with extensible superclasses.

[BibT_eX]

[DOI]

Meng Wang

Proceedings of the ACM SIGPLAN Workshop on Generic Programming, 2006

A Framework for Extended Algebraic Data Types.

[BibT_eX]

[DOI]

Proceedings of the Functional and Logic Programming, 8th International Symposium, 2006

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

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 4th Asian Symposium, 2006

Type Processing by Constraint Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 4th Asian Symposium, 2006

2005

A theory of overloading.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2005

Type Inference for Guarded Recursive Data Types

[BibT_eX]

[DOI]

CoRR, 2005

Improved Inference for Checking Annotations

[BibT_eX]

[DOI]

CoRR, 2005

2004

Improving type error diagnosis.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2004

Sound and Decidable Type Inference for Functional Dependencies.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2004

An Implementation of Subtyping Among Regular Expression Types.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004

2003

The Chameleon Type Debugger (Tool Demonstration)

[BibT_eX]

[DOI]

CoRR, 2003

Interactive type debugging in Haskell.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2003

Resource Usage Verification.

[BibT_eX]

[DOI]

Kim Marriott

Proceedings of the Programming Languages and Systems, First Asian Symposium, 2003

2002

Exception analysis for non-strict languages.

[BibT_eX]

[DOI]

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

An Overview of the Chameleon System.

[BibT_eX]

Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002

2001

Effective Strictness Analysis with HORN Constraints.

[BibT_eX]

[DOI]

Kevin Glynn

Proceedings of the Static Analysis, 8th International Symposium, 2001

Boolean Constraints for Binding-Time Analysis.

[BibT_eX]

[DOI]

Proceedings of the Programs as Data Objects, Second Symposium, 2001

A General Type Inference Framework for Hindley/Milner Style Systems.

[BibT_eX]

[DOI]

Proceedings of the Functional and Logic Programming, 5th International Symposium, 2001

2000

Type Classes and Constraint Handling Rules

[BibT_eX]

[DOI]

Kevin Glynn

CoRR, 2000

1999

Type Inference with Constrained Types.

[BibT_eX]

Martin Odersky