Martin Sulzmann

94 papers A 6B 13C 16Misc 5Journal 36Unranked 17

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Critical Sections Are Not Per-Thread: A Trace Semantics for Lock-Based Concurrency. CoRR Martin Sulzmann
2025	J	`jnl`	Beyond Per-Thread Lock Sets: Multi-Thread Critical Sections and Dynamic Deadlock Prediction. CoRR Martin Sulzmann
2025	J	`jnl`	Partial Orders for Precise and Efficient Dynamic Deadlock Prediction. CoRR Bas van den Heuvel, Martin Sulzmann, Peter Thiemann
2023	J	`jnl`	A type-directed, dictionary-passing translation of method overloading and structural subtyping in Featherweight Generic Go. J. Funct. Program. Martin Sulzmann, Stefan Wehr
2023	J	`jnl`	Cross-thread critical sections and efficient dynamic race prediction methods. CoRR Martin Sulzmann, Peter Thiemann
2022	J	`jnl`	A Type-Directed, Dictionary-Passing Translation of Featherweight Generic Go. CoRR Martin Sulzmann, Stefan Wehr
2022	B	`conf`	Semantic Preservation for a Type Directed Translation Scheme of Featherweight Go. MPC Martin Sulzmann, Stefan Wehr
2022	J	`jnl`	Semantic preservation for a type directed translation scheme of Featherweight Go. CoRR Martin Sulzmann, Stefan Wehr
2022	J	`jnl`	Special issue on revised and extended versions of papers presented at the 22nd Brazilian Symposium on Programming Languages (SBLP 2018). Sci. Comput. Program. Carlos Camarão, Martin Sulzmann
2021	B	`conf`	A Dictionary-Passing Translation of Featherweight Go. APLAS Martin Sulzmann, Stefan Wehr
2021	J	`jnl`	A Dictionary-Passing Translation of Featherweight Go. CoRR Martin Sulzmann, Stefan Wehr
2021	J	`jnl`	Preface. Sci. Comput. Program. John P. Gallagher, Martin Sulzmann
2020	J	`jnl`	Efficient, Near Complete and Often Sound Hybrid Dynamic Data Race Prediction (extended version). CoRR Martin Sulzmann, Kai Stadtmüller
2020	C	`conf`	Efficient, near complete, and often sound hybrid dynamic data race prediction. MPLR Martin Sulzmann, Kai Stadtmüller
2020	J	`jnl`	Visual Testing of GUIs by Abstraction. CoRR Daniel Kraus, Jeremias Rößler, Martin Sulzmann
2019	J	`jnl`	Data Race Prediction for Inaccurate Traces. CoRR Martin Sulzmann, Kai Stadtmüller
2019	J	`jnl`	Derivatives and partial derivatives for regular shuffle expressions. J. Comput. Syst. Sci. Martin Sulzmann, Peter Thiemann
2019	—	`conf`	Futures and promises in Haskell and Scala. PEPM@POPL Tamino Dauth, Martin Sulzmann
2019	J	`jnl`	Predicting All Data Race Pairs for a Specific Schedule (extended version). CoRR Martin Sulzmann, Kai Stadtmüller
2019	C	`conf`	Predicting all data race pairs for a specific schedule. MPLR Martin Sulzmann, Kai Stadtmüller
2019	J	`jnl`	Solving of Regular Equations Revisited (extended version). CoRR Martin Sulzmann, Kenny Zhuo Ming Lu
2019	C	`conf`	Solving of Regular Equations Revisited. ICTAC Martin Sulzmann, Kenny Zhuo Ming Lu
2018	Misc	`ed.`	Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings FLOPS John P. Gallagher, Martin Sulzmann
2018	C	`conf`	LTL Semantic Tableaux and Alternating \omega ω -automata via Linear Factors. ICTAC Martin Sulzmann, Peter Thiemann
2018	—	`ed.`	Proceedings of the XXII Brazilian Symposium on Programming Languages, SBLP 2018, Sao Carlos, Brazil, September 20-21, 2018 SBLP Carlos Camarão, Martin Sulzmann
2018	C	`conf`	Two-Phase Dynamic Analysis of Message-Passing Go Programs Based on Vector Clocks. PPDP Martin Sulzmann, Kai Stadtmüller
2018	J	`jnl`	Two-Phase Dynamic Analysis of Message-Passing Go Programs based on Vector Clocks. CoRR Martin Sulzmann, Kai Stadtmüller
2017	B	`conf`	A Computational Interpretation of Context-Free Expressions. APLAS Martin Sulzmann, Peter Thiemann
2017	J	`jnl`	A Computational Interpretation of Context-Free Expressions. CoRR Martin Sulzmann, Peter Thiemann
2017	J	`jnl`	Derivative-Based Diagnosis of Regular Expression Ambiguity. Int. J. Found. Comput. Sci. Martin Sulzmann, Kenny Zhuo Ming Lu
2017	J	`jnl`	LTL Semantic Tableaux and Alternating ω-automata via Linear Factors. CoRR Martin Sulzmann, Peter Thiemann
2017	—	`conf`	Trace-Based Run-Time Analysis of Message-Passing Go Programs. Haifa Verification Conference Martin Sulzmann, Kai Stadtmüller
2017	J	`jnl`	Trace-Based Run-time Analysis of Message-Passing Go Programs. CoRR Martin Sulzmann, Kai Stadtmüller
2016	C	`conf`	Derivative-Based Diagnosis of Regular Expression Ambiguity. CIAA Martin Sulzmann, Kenny Zhuo Ming Lu
2016	J	`jnl`	Derivative-Based Diagnosis of Regular Expression Ambiguity. CoRR Martin Sulzmann, Kenny Zhuo Ming Lu
2016	C	`conf`	Forkable Regular Expressions. LATA Martin Sulzmann, Peter Thiemann
2016	B	`conf`	Static Trace-Based Deadlock Analysis for Synchronous Mini-Go. APLAS Kai Stadtmüller, Martin Sulzmann, Peter Thiemann
2016	J	`jnl`	Static Trace-Based Deadlock Analysis for Synchronous Mini-Go. CoRR Kai Stadtmüller, Martin Sulzmann, Peter Thiemann
2015	C	`conf`	Derivatives for Regular Shuffle Expressions. LATA Martin Sulzmann, Peter Thiemann
2015	J	`jnl`	Forkable Regular Expressions. CoRR Martin Sulzmann, Peter Thiemann
2015	C	`conf`	From \omega -Regular Expressions to Büchi Automata via Partial Derivatives. LATA Peter Thiemann, Martin Sulzmann
2014	B	`conf`	A Flexible and Efficient ML Lexer Tool Based on Extended Regular Expression Submatching. CC Martin Sulzmann, Pippijn van Steenhoven
2014	J	`jnl`	On Termination, Confluence and Consistent CHR-based Type Inference. CoRR Gregory J. Duck, Rémy Haemmerlé, Martin Sulzmann
2014	J	`jnl`	On Termination, Confluence and Consistent CHR-based Type Inference. Theory Pract. Log. Program. Gregory J. Duck, Rémy Haemmerlé, Martin Sulzmann
2014	Misc	`conf`	POSIX Regular Expression Parsing with Derivatives. FLOPS Martin Sulzmann, Kenny Zhuo Ming Lu
2013	C	`conf`	Traceability and evidence of correctness of EDSL abstractions. PEPM Martin Sulzmann, Jürgen Nicklisch-Franken, Axel Zechner
2012	—	`conf`	A framework for formal verification of systems of synchronous components. MBEES Stefan Milius, Henning Günther, Jan Peleska, Oliver Möller, Helge Löding, Martin Sulzmann, Ramin Hedayati, Axel Zechner
2012	—	`conf`	Constructive Finite Trace Analysis with Linear Temporal Logic. TAP@TOOLS Martin Sulzmann, Axel Zechner
2012	—	`conf`	Model Checking DSL-Generated C Source Code. SPIN Martin Sulzmann, Axel Zechner
2012	C	`conf`	Regular expression sub-matching using partial derivatives. PPDP Martin Sulzmann, Kenny Zhuo Ming Lu
2011	J	`jnl`	Concurrent goal-based execution of Constraint Handling Rules. Theory Pract. Log. Program. Edmund S. L. Lam, Martin Sulzmann
2011	J	`jnl`	OutsideIn(X) Modular type inference with local assumptions. J. Funct. Program. Dimitrios Vytiniotis, Simon L. Peyton Jones, Tom Schrijvers, Martin Sulzmann
2010	J	`jnl`	Concurrent Goal-Based Execution of Constraint Handling Rules CoRR Edmund S. L. Lam, Martin Sulzmann
2010	Misc	`conf`	Tag-Free Combinators for Binding-Time Polymorphic Program Generation. FLOPS Peter Thiemann, Martin Sulzmann
2009	—	`conf`	Comparing the performance of concurrent linked-list implementations in Haskell. DAMP Martin Sulzmann, Edmund S. L. Lam, Simon Marlow
2009	A	`conf`	Complete and decidable type inference for GADTs. ICFP Tom Schrijvers, Simon L. Peyton Jones, Martin Sulzmann, Dimitrios Vytiniotis
2008	C	`conf`	Actors with Multi-headed Message Receive Patterns. COORDINATION Martin Sulzmann, Edmund S. L. Lam, Peter Van Weert
2008	—	`conf`	Confluence for Functional Dependencies. Trends in Functional Programming Tom Schrijvers, Martin Sulzmann
2008	J	`jnl`	HM(X) type inference is CLP(X) solving. J. Funct. Program. Martin Sulzmann, Peter J. Stuckey
2008	C	`conf`	Parallel execution of multi-set constraint rewrite rules. PPDP Martin Sulzmann, Edmund S. L. Lam
2008	B	`conf`	Transactions in Constraint Handling Rules. ICLP Tom Schrijvers, Martin Sulzmann
2008	A	`conf`	Type checking with open type functions. ICFP Tom Schrijvers, Simon L. Peyton Jones, Manuel M. T. Chakravarty, Martin Sulzmann
2007	—	`conf`	A concurrent constraint handling rules implementation in Haskell with software transactional memory. DAMP Edmund S. L. Lam, Martin Sulzmann
2007	—	`conf`	Aspect-oriented programming with type classes. FOAL Martin Sulzmann, Meng Wang
2007	B	`conf`	Observable Confluence for Constraint Handling Rules. ICLP Gregory J. Duck, Peter J. Stuckey, Martin Sulzmann
2007	—	`conf`	System F with type equality coercions. TLDI Martin Sulzmann, Manuel M. T. Chakravarty, Simon L. Peyton Jones, Kevin Donnelly
2007	J	`jnl`	Understanding functional dependencies via constraint handling rules. J. Funct. Program. Martin Sulzmann, Gregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey
2007	—	`conf`	XHaskell - Adding Regular Expression Types to Haskell. IFL Martin Sulzmann, Kenny Zhuo Ming Lu
2006	Misc	`conf`	A Framework for Extended Algebraic Data Types. FLOPS Martin Sulzmann, Jeremy Wazny, Peter J. Stuckey
2006	C	`conf`	Extracting programs from type class proofs. PPDP Martin Sulzmann
2006	—	`conf`	Language-Based Program Verification via Expressive Types. PLPV@IJCAR Martin Sulzmann, Razvan Voicu
2006	—	`conf`	Modular generic programming with extensible superclasses. ICFP-WGP Martin Sulzmann, Meng Wang
2006	B	`conf`	Principal Type Inference for GHC-Style Multi-parameter Type Classes. APLAS Martin Sulzmann, Tom Schrijvers, Peter J. Stuckey
2006	B	`conf`	Type Processing by Constraint Reasoning. APLAS Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny
2006	—	`conf`	XHaskell. PLAN-X Martin Sulzmann, Kenny Zhuo Ming Lu
2005	—	`conf`	A Type-Safe Embedding of XDuce into ML. ML Martin Sulzmann, Kenny Zhuo Ming Lu
2005	J	`jnl`	A theory of overloading. ACM Trans. Program. Lang. Syst. Peter J. Stuckey, Martin Sulzmann
2005	J	`jnl`	Improved Inference for Checking Annotations CoRR Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny
2005	J	`jnl`	Type Inference for Guarded Recursive Data Types CoRR Peter J. Stuckey, Martin Sulzmann
2004	B	`conf`	An Implementation of Subtyping Among Regular Expression Types. APLAS Kenny Zhuo Ming Lu, Martin Sulzmann
2004	C	`conf`	Improving type error diagnosis. Haskell Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny
2004	A	`conf`	Sound and Decidable Type Inference for Functional Dependencies. ESOP Gregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey, Martin Sulzmann
2003	C	`conf`	Interactive type debugging in Haskell. Haskell Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny
2003	B	`conf`	Resource Usage Verification. APLAS Kim Marriott, Peter J. Stuckey, Martin Sulzmann
2003	—	`conf`	The Chameleon Type Debugger (Tool Demonstration) AADEBUG Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny
2002	A	`conf`	A theory of overloading. ICFP Peter J. Stuckey, Martin Sulzmann
2002	B	`conf`	An Overview of the Chameleon System. APLAS Martin Sulzmann
2002	A	`conf`	Exception analysis for non-strict languages. ICFP Kevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard
2001	Misc	`conf`	A General Type Inference Framework for Hindley/Milner Style Systems. FLOPS Martin Sulzmann
2001	—	`conf`	Boolean Constraints for Binding-Time Analysis. PADO Kevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard
2001	B	`conf`	Effective Strictness Analysis with HORN Constraints. SAS Kevin Glynn, Peter J. Stuckey, Martin Sulzmann
2000	J	`jnl`	Type Classes and Constraint Handling Rules CoRR Kevin Glynn, Martin Sulzmann, Peter J. Stuckey
1999	J	`jnl`	Type Inference with Constrained Types. Theory Pract. Object Syst. Martin Odersky, Martin Sulzmann, Martin Wehr
1996	A	`conf`	The Tableau-based Theorem Prover CADE Bernhard Beckert, Reiner Hähnle, Peter Oel, Martin Sulzmann