26 citations · 71 across the 22 of their papers we have counts for
Showing 2023Show all
3 papers · 1 filter
cs.PL2023
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.…
cs.PL2023★ 3 cited
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…
cs.PL2023
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…