Martin Sulzmann

So, I switched jobs again. You can find me now here

My earlier work places:
Starting January 2010, I'll be working as a systems engineer Informatik Consulting Systems AG. I can be contacted via martin.sulzmann@gmail.com. In 2009, I was working as a software consultant/developer at Intaris Software Gmbh.

In my previous academic life, I was an Associate Professor in the Programming, Logic and Semantics Group at the IT University of Copenhagen, an Assistant Professor in the School of Computing of the National University of Singapore and a Lecturer in the Department of Computer Science and Software Engineering at the University of Melbourne. I obtained my PhD from Yale University in Computer Science. Once upon a time, I was studying Computer Science at the University of Karlsruhe .

• LinkedIn
• Blog
• Events
• Students
• Teaching
• Current research
  • Concurrent and parallel programming
  • Types (inference, checking, improvement,type-directed translation etc)
  • Regular expression types
• Publications (dblp, bib-finder)
• A more complete research summary (slightly outdated)

Concurrent and parallel programming:

[December 2008] Parallel Join Patterns with Guards and Propagation
Martin Sulzmann and Edmund S. L. Lam ps


[December 2008] Concurrent Goal-Based Execution of Constraint Handling Rules
Edmund S. L. Lam and Martin Sulzmann ps


[December 2008] Transactions in Constraint Handling Rules
Tom Schrijvers and Martin Sulzmann pdf
In ICLP'08

[November 2008] Comparing the performance of concurrent linked-list implementations in Haskell
Martin Sulzmann and Edmund S. L. Lam and Simon Marlow pdf
To appear in DAMP'09

[October 2008] A Rule-Based Specification of Software Transactional Memory
Martin Sulzmann and Duc Hiep Chu pdf
(submitted to LOPSTR'08 post-proceedings)

[July 2008] Parallel Execution of Multi Set Constraint Rewrite Rules
Martin Sulzmann and Edmund Lam pdf
In PPDP'08

[July 2008] Finally, A Comparison Between Constraint Handling Rules and Join-Calculus
Edmund S.L. Lam and Martin Sulzmann pdf
In CHR'08

[June 2008] Actors with Multi-Headed Message Receive Patterns
Martin Sulzmann and Edmund Lam and Peter van Weert pdf talk
In Coordination'08

[September 2007] Haskell - Join - Rules
Martin Sulzmann and Edmund S.L. Lam ps
Presented at IFL'07

[August 2007] Compiling Constraint Handling Rules with Lazy and Concurrent Search Techniques
Martin Sulzmann and Edmund S.L. Lam
In CHR'07 ps

[January 2007] A Concurrent Constraint Handling Rules Implementation in Haskell with Software Transactional Memory
Edmund S.L. Lam and Martin Sulzmann
In DAMP'07 ps