26 citations · 71 across the 22 of their papers we have counts for
30 papers
Cross-thread critical sections and efficient dynamic race prediction methods
Martin Sulzmann, Peter Thiemann
The lock set method and the partial order method are two main approaches to guarantee that dynamic data race prediction remains efficient. There are many variations of these ideas.…
Parameterized Algebraic Protocols
Andreia Mordido, Janek Spaderna, Peter Thiemann +1
We propose algebraic protocols that enable the definition of protocol templates and session types analogous to the definition of domain-specific types with algebraic datatypes. Par…
Intrinsically Typed Sessions With Callbacks
Peter Thiemann
All formalizations of session types rely on linear types for soundness as session-typed communication channels must change their type at every operation. Embedded language implemen…
Polymorphic Typestate for Session Types
Hannes Saffrich, Peter Thiemann
Session types provide a principled approach to typed communication protocols that guarantee type safety and protocol fidelity. Formalizations of session-typed communication are typ…
Global Type Inference for Featherweight Generic Java
Andreas Stadelmeier, Martin Plümicke, Peter Thiemann
Java's type system mostly relies on type checking augmented with local type inference to improve programmer convenience. We study global type inference for Featherweight Generic Ja…
A Typed Programmatic Interface to Contracts on the Blockchain
Thi Thu Ha Doan, Peter Thiemann
Smart contract applications on the blockchain can only reach their full potential if they integrate seamlessly with traditional software systems via a programmatic interface. This…