Recent Events

• PLDI 2023 (PC member)

• ESOP 2023 (PC member)

• IPA Course on Formal Methods (Invited Lecturer)

• New challenges in programming language semantics / Lorentz Center, Leiden (Invited participant)

Recent Papers

• OOPSLA'22 A Bunch of Sessions: A Propositions-as-Sessions Interpretation of Bunched Implications in Channel-Based Concurrency

• SCICO A Decentralized Analysis of Multiparty Protocols

• TOPLAS Session Coalgebras: A Coalgebraic View on Regular and Context-Free Session Types

• iFM'22 Scalable Typestate Analysis for Low-Latency Environments

• JLAMP Comparing Type Systems for Deadlock Freedom

• PPDP'21 Minimal Session Types for the pi-calculus

• FSCD'21 Non-Deterministic Functions as Non-Deterministic Processes

• Acta Inf Session-Based Concurrency, Declaratively

• PLACES'20 Session Type Systems based on Linear Logic: Classical versus Intuitionistic

• Inf & Comp On the Relative Expressiveness of Higher-Order Session Processes

• CONCUR'19 Domain-Aware Session Types

• ECOOP'19 Minimal Session Types

• ESOP'17 Linearity, Control Effects, and Behavioral Types