A Clean Modula-2 Interface to Abstract Data Types. - Herbert Klaeren; Peter Thiemann 001 (Struct. Program., 1990)

Konzepte zur effizienten Implementierung strukturell rekursiver Programme. - Peter Thiemann 001 (1991)

LaToKi: A Language Toolkit for Bottom-Up Evaluation of Functional Programs. - Peter Thiemann 001 (PLILP, 1992)

An Overview of the SODA System. - Peter Thiemann 001 (AMAST, 1993)

A Safety Analysis for Functional Programs. - Peter Thiemann 001 (PEPM, 1993)

Avoiding Repeated Tests in Pattern Matching. - Peter Thiemann 001 (WSA, 1993)

Optimizing Structural Recursion in Functional Programs. - Peter Thiemann 001 (Comput. Lang., 1993)

Grundlagen der funktionalen Programmierung. - Peter Thiemann 001 (Teubner, 1994)

Higher-Order Redundancy Elimination. - Peter Thiemann 001 (PEPM, 1994)

Unboxed Values and Polymorphic Typing Revisited. - Peter Thiemann 001 (FPCA, 1995)

The Essence of LR Parsing. - Michael Sperber; Peter Thiemann 001 (PEPM, 1995)

Synchronization Analyses for Multiple Recursion Parameters (Extended Abstract). - Wei-Ngan Chin; Siau-Cheng Khoo; Peter Thiemann 001 (Dagstuhl Seminar on Partial Evaluation, 1996)

Polyvariant Expansion and Compiler Generators. - Peter Thiemann 001; Michael Sperber (Ershov Memorial Conference, 1996)

Cogen in Six Lines. - Peter Thiemann 001 (ICFP, 1996)

Realistic Compilation by Partial Evaluation. - Michael Sperber; Peter Thiemann 001 (PLDI, 1996)

Implementing Memoization for Partial Evaluation. - Peter Thiemann 001 (PLILP, 1996)

Bootstrapping higher-order program transformers from interpreters. - Michael Sperber; Robert Glück; Peter Thiemann 001 (SAC, 1996)

Distributed partial evaluation. - Michael Sperber; Peter Thiemann 001; Herbert Klaeren (PASCO, 1997)

Program Generation with Class. - Peter Thiemann 001; Michael Sperber (GI Jahrestagung, 1997)

Type Specialization for Imperative Languages. - Dirk Dussart; John Hughes; Peter Thiemann 001 (ICFP, 1997)

Two for the Price of One: Composing Partial Evaluation and Compilation. - Michael Sperber; Peter Thiemann 001 (PLDI, 1997)

Sound Specialization in the Presence of Computational Effects. - Julia L. Lawall; Peter Thiemann 001 (TACS, 1997)

A Unified Framework for Binding-Time Analysis. - Peter Thiemann 001 (TAPSOFT, 1997)

Monadic Type Systems: Pure Type Systems for Impure Settings. - Gilles Barthe; John Hatcliff; Peter Thiemann 001 (HOOTS, 1997)

Correctness of a region-based binding-time analysis. - Peter Thiemann 001 (MFPS, 1997)

Drawing Syntax Diagrams in Haskell. - Peter Thiemann 001 (Softw. Pract. Exp., 1997)

Two Flavors of Offline Partial Evaluation. - Simon Helsen; Peter Thiemann 001 (ASIAN, 1998)

A Generic Framework for Specialization (Abridged Version). - Peter Thiemann 001 (ESOP, 1998)

Aspects of the PGG System: Specialization for Standard Scheme. - Peter Thiemann 001 (Partial Evaluation, 1998)

Single and Loving It: Must-Alias Analysis for Higher-Order Languages. - Suresh Jagannathan; Peter Thiemann 001; Stephen Weeks; Andrew K. Wright (POPL, 1998)

Formalizing Resourve Allocation in a Compiler. - Peter Thiemann 001 (Types in Compilation, 1998)

1998 Symposium on Partial Evaluation. - Olivier Danvy; Robert Glück; Peter Thiemann 001 (ACM Comput. Surv., 1998)

Higher-Order Code Splicing. - Peter Thiemann 001 (ESOP, 1999)

Interpreting Specialization in Type Theory. - Peter Thiemann 001 (PEPM, 1999)

Combinators for Program Generation. - Peter Thiemann 001 (J. Funct. Program., 1999)

Compiling Adaptive Programs by Partial Evaluation. - Peter Thiemann 001 (CC, 2000)

An Algebraic Foundation for Adaptive Programming. - Peter Thiemann 001 (FoSSaCS, 2000)

Modeling HTML in Haskell. - Peter Thiemann 001 (PADL, 2000)

Fragmental Specialization. - Simon Helsen; Peter Thiemann 001 (SAIG, 2000)

Syntactic Type Soundness for the Region Calculus. - Simon Helsen; Peter Thiemann 001 (HOOTS, 2000)

Generation of LR parsers by partial evaluation. - Michael Sperber; Peter Thiemann 001 (ACM Trans. Program. Lang. Syst., 2000)

Enforcing Safety Properties Using Type Specialization. - Peter Thiemann 001 (ESOP, 2001)

A Prototype Dependency Calculus. - Peter Thiemann 001 (ESOP, 2002)

Type classes with more higher-order polymorphism. - Matthias Neubauer; Peter Thiemann 001 (ICFP, 2002)

WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms. - Peter Thiemann 001 (PADL, 2002)

Functional logic overloading. - Matthias Neubauer; Peter Thiemann 001; Martin Gasbichler; Michael Sperber (POPL, 2002)

Preface. - Gilles Barthe; Peter Thiemann 001 (TIP@MPC, 2002)

Programmable Type Systems for Domain Specific Languages. - Peter Thiemann 001 (WFLP, 2002)

Syntactic Type Soundness Results for the Region Calculus. - Cristiano Calcagno; Simon Helsen; Peter Thiemann 001 (Inf. Comput., 2002)

A typed representation for HTML and XML documents in Haskell. - Peter Thiemann 001 (J. Funct. Program., 2002)

XML templates and caching in WASH. - Peter Thiemann 001 (Haskell, 2003)

Discriminative sum types locate the source of type errors. - Matthias Neubauer; Peter Thiemann 001 (ICFP, 2003)

Continuation-Based Partial Evaluation without Continuations. - Peter Thiemann 001 (SAS, 2003)

Program specialization for execution monitoring. - Peter Thiemann 001 (J. Funct. Program., 2003)

The marriage of effects and monads. - Philip Wadler; Peter Thiemann 001 (ACM Trans. Comput. Log., 2003)

Server-Side Web Programming in WASH. - Peter Thiemann 001 (Advanced Functional Programming, 2004)

Protocol Specialization. - Matthias Neubauer; Peter Thiemann 001 (APLAS, 2004)

Static Analysis of the Frequency of Change. - Peter Thiemann 001 (GI Jahrestagung (2), 2004)

Haskell type browser. - Matthias Neubauer; Peter Thiemann 001 (Haskell, 2004)

An Implementation of Session Types. - Matthias Neubauer; Peter Thiemann 001 (PADL, 2004)

Parameterized LR Parsing. - Peter Thiemann 001; Matthias Neubauer (LDTA@ETAPS, 2004)

Introduction to the Special Issue on Dependent Type Theory Meets Practical Programming. - Gilles Barthe; Peter Dybjer; Peter Thiemann 001 (J. Funct. Program., 2004)

Editorial: Theme Issue on Partial Evaluation and Semantics-Based Program Manipulation. - Wei-Ngan Chin; Olivier Danvy; Peter Thiemann 001 (High. Order Symb. Comput., 2004)

Polymorphic specialization for ML. - Simon Helsen; Peter Thiemann 001 (ACM Trans. Program. Lang. Syst., 2004)

A Type Safe DOM API. - Peter Thiemann 001 (DBPL, 2005)

Towards a Type System for Analyzing JavaScript Programs. - Peter Thiemann 001 (ESOP, 2005)

From sequential programs to multi-tier applications by program transformation. - Matthias Neubauer; Peter Thiemann 001 (POPL, 2005)

Grammar-based analysis of string expressions. - Peter Thiemann 001 (TLDI, 2005)

An embedded domain-specific language for type-safe server-side web scripting. - Peter Thiemann 001 (ACM Trans. Internet Techn., 2005)

Field Access Analysis for Enforcing Access Control Policies. - Kathrin Lehmann; Peter Thiemann 001 (ETRICS, 2006)

WASH Server Pages. - Peter Thiemann 001 (FLOPS, 2006)

User-level transactional programming in Haskell. - Peter Thiemann 001 (Haskell, 2006)

A Spreadsheet Client for Web Applications. - Dirk Draheim; Peter Thiemann 001; Gerald Weber (NGITS, 2006)

Integration of an Action Language Via UML Action Semantics. - Claudius Heitz; Peter Thiemann 001; Thomas Wölfle (TEAA, 2006)

Editorial. - Olivier Danvy; Oege de Moor; Julian A. Padget; Peter Thiemann 001 (High. Order Symb. Comput., 2006)

Waitomo, eine interface-orientierte Programmiersprache. - Peter Thiemann 001; Stefan Wehr (Softwaretechnik-Trends, 2006)

07051 Executive Summary – Programming Paradigms for the Web: Web Programming and Web Services. - Richard Hull 001; Peter Thiemann 001; Philip Wadler (Programming Paradigms for the Web: Web Programming and Web Services, 2007)

07051 Working Group Outcomes – Programming Paradigms for the Web: Web Programming and Web Services. - Richard Hull 001; Peter Thiemann 001; Philip Wadler (Programming Paradigms for the Web: Web Programming and Web Services, 2007)

07051 Abstracts Collection – Programming Paradigms for the Web: Web Programming and Web Services. - Richard Hull 001; Peter Thiemann 001; Philip Wadler (Programming Paradigms for the Web: Web Programming and Web Services, 2007)

Tracking Linear and Affine Resources with Java(X). - Markus Degen 001; Peter Thiemann 001; Stefan Wehr (ECOOP, 2007)

JavaGI : Generalized Interfaces for Java. - Stefan Wehr; Ralf Lämmel; Peter Thiemann 001 (ECOOP, 2007)

Interface Types for Haskell. - Peter Thiemann 001; Stefan Wehr (APLAS, 2008)

The Relation of Version Control to Concurrent Programming. - Annette Bieniusa; Peter Thiemann 001; Stefan Wehr (CSSE (3), 2008)

Placement Inference for a Client-Server Calculus. - Matthias Neubauer; Peter Thiemann 001 (ICALP (2), 2008)

Htdp and dmda in the battlefield: a case study in first-year programming instruction. - Annette Bieniusa; Markus Degen 001; Phillip Heidegger; Peter Thiemann 001; Stefan Wehr; Martin Gasbichler; Michael Sperber; Marcus Crestani; Herbert Klaeren; Eric Knauel (FDPE@ICFP, 2008)

Macros for context-free grammars. - Peter Thiemann 001; Matthias Neubauer (PPDP, 2008)

Editorial. - Olivier Danvy; R. Kent Dybvig; Julia Lawall; Peter Thiemann 001 (High. Order Symb. Comput., 2008)

On the Decidability of Subtyping with Bounded Existential Types. - Stefan Wehr; Peter Thiemann 001 (APLAS, 2009)

How to CPS Transform a Monad. - Annette Bieniusa; Peter Thiemann 001 (CC, 2009)

True Lies: Lazy Contracts for Lazy Languages. - Markus Degen 001; Peter Thiemann 001; Stefan Wehr (GI Jahrestagung, 2009)

JavaGI in the battlefield: practical experience with generalized interfaces. - Stefan Wehr; Peter Thiemann 001 (GPCE, 2009)

Type Analysis for JavaScript. - Simon Holm Jensen; Anders Møller; Peter Thiemann 001 (SAS, 2009)

Towards Deriving Type Systems and Implementations for Coroutines. - Konrad Anton; Peter Thiemann 001 (APLAS, 2010)

Optimized Java Binary and Virtual Machine for Tiny Motes. - Faisal Aslam; Luminous Fennell; Christian Schindelhauer; Peter Thiemann 001; Gidon Ernst; Elmar Haussmann; Stefan Rührup; Zartash Afzal Uzmi (DCOSS, 2010)

Recency Types for Analyzing Scripting Languages. - Phillip Heidegger; Peter Thiemann 001 (ECOOP, 2010)

Tag-Free Combinators for Binding-Time Polymorphic Program Generation. - Peter Thiemann 001; Martin Sulzmann (FLOPS, 2010)

Brief announcement: actions in the twilight - concurrent irrevocable transactions and inconsistency repair. - Annette Bieniusa; Arie Middelkoop; Peter Thiemann 001 (PODC, 2010)

Interprocedural Analysis with Lazy Propagation. - Simon Holm Jensen; Anders Møller; Peter Thiemann 001 (SAS, 2010)

Typing Coroutines. - Konrad Anton; Peter Thiemann 001 (Trends in Functional Programming, 2010)

DOM Transactions for Testing JavaScript. - Phillip Heidegger; Annette Bieniusa; Peter Thiemann 001 (TAIC PART, 2010)

Contract-Driven Testing of JavaScript Code. - Phillip Heidegger; Peter Thiemann 001 (TOOLS (48), 2010)

Special Issue Dedicated to ICFP 2008 Editorial. - Peter Thiemann 001; Henrik Nilsson (J. Funct. Program., 2010)

Eager and delayed contract monitoring for call-by-value and call-by-name evaluation. - Markus Degen 001; Peter Thiemann 001; Stefan Wehr (J. Log. Algebraic Methods Program., 2010)

Mnemonics: type-safe bytecode generation at run time. - Johannes Rudolph; Peter Thiemann 001 (High. Order Symb. Comput., 2010)

Proving Isolation Properties for Software Transactional Memory. - Annette Bieniusa; Peter Thiemann 001 (ESOP, 2011)

Offline GC: trashing reachable objects on tiny devices. - Faisal Aslam; Luminous Fennell; Christian Schindelhauer; Peter Thiemann 001; Zartash Afzal Uzmi (SenSys, 2011)

A Heuristic Approach for Computing Effects. - Phillip Heidegger; Peter Thiemann 001 (TOOLS (49), 2011)

On the Decidability of Subtyping with Bounded Existential Types and Implementation Constraints. - Stefan Wehr; Peter Thiemann 001 (New Gener. Comput., 2011)

JavaGI: The Interaction of Type Classes with Interfaces and Inheritance. - Stefan Wehr; Peter Thiemann 001 (ACM Trans. Program. Lang. Syst., 2011)

Agda Meets Accelerate. - Peter Thiemann 001; Manuel M. T. Chakravarty (IFL, 2012)

Rethinking Java call stack design for tiny embedded devices. - Faisal Aslam; Ghufran Baig; Mubashir Adnan Qureshi; Zartash Afzal Uzmi; Luminous Fennell; Peter Thiemann 001; Christian Schindelhauer; Elmar Haussmann (LCTES, 2012)

Access permission contracts for scripting languages. - Phillip Heidegger; Annette Bieniusa; Peter Thiemann 001 (POPL, 2012)

The Blame Theorem for a Linear Lambda Calculus with Type Dynamic. - Luminous Fennell; Peter Thiemann 001 (Trends in Functional Programming, 2012)

JSConTest: Contract-Driven Testing and Path Effect Inference for JavaScript. - Phillip Heidegger; Peter Thiemann 001 (J. Object Technol., 2012)

The interaction of contracts and laziness. - Markus Degen 001; Peter Thiemann 001; Stefan Wehr (High. Order Symb. Comput., 2012)

Gradual Security Typing with References. - Luminous Fennell; Peter Thiemann 001 (CSF, 2013)

Efficient dynamic access analysis using JavaScript proxies. - Matthias Keil 002; Peter Thiemann 001 (DLS, 2013)

Circularity and Lambda Abstraction: From Bird to Pettorossi and back. - Olivier Danvy; Peter Thiemann 001; Ian Zerny (IFL, 2013)

Partially static operations. - Peter Thiemann 001 (PEPM, 2013)

Type-based dependency analysis for javascript. - Matthias Keil 002; Peter Thiemann 001 (PLAS, 2013)

Towards Tree Automata-based Success Types. - Robert Jakob; Peter Thiemann 001 (CoRR, 2013)

On the Proxy Identity Crisis. - Matthias Keil 002; Peter Thiemann 001 (CoRR, 2013)

Towards Specializing JavaScript Programs. - Peter Thiemann 001 (Ershov Memorial Conference, 2014)

Symbolic Solving of Extended Regular Expression Inequalities. - Matthias Keil 002; Peter Thiemann 001 (FSTTCS, 2014)

Precise Interprocedural Side-Effect Analysis. - Manuel Geffken; Hannes Saffrich; Peter Thiemann 001 (ICTAC, 2014)

A Type Theoretic Specification of Partial Evaluation. - Kenichi Asai; Luminous Fennell; Peter Thiemann 001; Yang Zhang (PPDP, 2014)

Side effect monitoring for Java using bytecode rewriting. - Manuel Geffken; Peter Thiemann 001 (PPPJ, 2014)

Session Types with Gradual Typing. - Peter Thiemann 001 (TGC, 2014)

Scripting Languages and Frameworks: Analysis and Verification (Dagstuhl Seminar 14271). - Fritz Henglein; Ranjit Jhala; Shriram Krishnamurthi; Peter Thiemann 001 (Dagstuhl Reports, 2014)

Software Contracts for Communication, Monitoring, and Security (NII Shonan Meeting 2014-6). - Atsushi Igarashi; Peter Thiemann 001; Philip Wadler (NII Shonan Meet. Rep., 2014)

TreatJS: Higher-Order Contracts for JavaScripts. - Matthias Keil 002; Peter Thiemann 001 (ECOOP, 2015)

Blame assignment for higher-order contracts with intersection and union. - Matthias Keil 002; Peter Thiemann 001 (ICFP, 2015)

Derivatives for Regular Shuffle Expressions. - Martin Sulzmann; Peter Thiemann 001 (LATA, 2015)

From omega -Regular Expressions to Büchi Automata via Partial Derivatives. - Peter Thiemann 001; Martin Sulzmann (LATA, 2015)

A Falsification View of Success Typing. - Robert Jakob; Peter Thiemann 001 (NFM, 2015)

Gradual Typing for Annotated Type Systems. - Luminous Fennell; Peter Thiemann 001 (Software Engineering & Management, 2015)

TreatJS: Higher-Order Contracts for JavaScript. - Matthias Keil 002; Peter Thiemann 001 (CoRR, 2015)

Transparent Object Proxies for JavaScript (Artifact). - Matthias Keil 002; Sankha Narayan Guria; Andreas Schlegel; Manuel Geffken; Peter Thiemann 001 (Dagstuhl Artifacts Ser., 2015)

TreatJS: Higher-Order Contracts for JavaScript (Artifact). - Matthias Keil 002; Peter Thiemann 001 (Dagstuhl Artifacts Ser., 2015)

Combining behavioural types with security analysis. - Massimo Bartoletti; Ilaria Castellani; Pierre-Malo Deniélou; Mariangiola Dezani-Ciancaglini; Silvia Ghilezan; Jovanka Pantovic; Jorge A. Pérez 001; Peter Thiemann 001; Bernardo Toninho; Hugo Torres Vieira (J. Log. Algebraic Methods Program., 2015)

Static Trace-Based Deadlock Analysis for Synchronous Mini-Go. - Kai Stadtmüller; Martin Sulzmann; Peter Thiemann 001 (APLAS, 2016)

A Delta for Hybrid Type Checking. - Peter Thiemann 001 (A List of Successes That Can Change the World, 2016)

LJGS: Gradual Security Types for Object-Oriented Languages. - Luminous Fennell; Peter Thiemann 001 (ECOOP, 2016)

Context-free session types. - Peter Thiemann 001; Vasco T. Vasconcelos (ICFP, 2016)

Forkable Regular Expressions. - Martin Sulzmann; Peter Thiemann 001 (LATA, 2016)

Transparent object proxies for javascript. - Matthias Keil 002; Sankha Narayan Guria; Andreas Schlegel; Manuel Geffken; Peter Thiemann 001 (Software Engineering, 2016)

Dynamic Flow Analysis for JavaScript. - Nico Naus; Peter Thiemann 001 (TFP, 2016)

Derivatives for Enhanced Regular Expressions. - Peter Thiemann 001 (CIAA, 2016)

Transaction-based Sandboxing for JavaScript. - Matthias Keil 002; Peter Thiemann 001 (CoRR, 2016)

From μ-Regular Expressions to Pushdown Automata. - Peter Thiemann 001 (CoRR, 2016)

LJGS: Gradual Security Types for Object-Oriented Languages (Artifact). - Luminous Fennell; Peter Thiemann 001 (Dagstuhl Artifacts Ser., 2016)

A Computational Interpretation of Context-Free Expressions. - Martin Sulzmann; Peter Thiemann 001 (APLAS, 2017)

Partial Derivatives for Context-Free Languages - From mu -Regular Expressions to Pushdown Automata. - Peter Thiemann 001 (FoSSaCS, 2017)

Interleaving sessions with predicates. - Peter Thiemann 001 (SAC, 2017)

Static Contract Simplification. - Matthias Keil 002; Peter Thiemann 001 (CoRR, 2017)

LTL Semantic Tableaux and Alternating ω-automata via Linear Factors. - Martin Sulzmann; Peter Thiemann 001 (CoRR, 2017)

Gradual session types. - Atsushi Igarashi; Peter Thiemann 001; Vasco T. Vasconcelos; Philip Wadler (Proc. ACM Program. Lang., 2017)

Regenerate: a language generator for extended regular expressions. - Gabriel Radanne; Peter Thiemann 001 (GPCE, 2018)

LTL Semantic Tableaux and Alternating omega ω -automata via Linear Factors. - Martin Sulzmann; Peter Thiemann 001 (ICTAC, 2018)

Intrinsically-Typed Mechanized Semantics for Session Types. - Peter Thiemann 001 (PPDP, 2019)

Kindly Bent to Free Us. - Gabriel Radanne; Peter Thiemann 001 (CoRR, 2019)

Derivatives and partial derivatives for regular shuffle expressions. - Martin Sulzmann; Peter Thiemann 001 (J. Comput. Syst. Sci., 2019)

Gradual session types. - Atsushi Igarashi; Peter Thiemann 001; Yuya Tsuda; Vasco T. Vasconcelos; Philip Wadler (J. Funct. Program., 2019)

Duality of Session Types: The Final Cut. - Simon J. Gay; Peter Thiemann 001; Vasco T. Vasconcelos (PLACES@ETAPS, 2020)

Kindly bent to free us. - Gabriel Radanne; Hannes Saffrich; Peter Thiemann 001 (Proc. ACM Program. Lang., 2020)

Label-dependent session types. - Peter Thiemann 001; Vasco T. Vasconcelos (Proc. ACM Program. Lang., 2020)

A Typed Programmatic Interface to Contracts on the Blockchain. - Thi Thu Ha Doan; Peter Thiemann 001 (APLAS, 2021)

Towards Contract Modules for the Tezos Blockchain (Short Paper). - Thi Thu Ha Doan; Peter Thiemann 001 (FMBC@CAV, 2021)

Generation of TypeScript declaration files from JavaScript code. - Fernando Cristiani; Peter Thiemann 001 (MPLR, 2021)

Polymorphic Context-free Session Types. - Bernardo Almeida; Andreia Mordido; Peter Thiemann 001; Vasco T. Vasconcelos (CoRR, 2021)

Blame and coercion: Together again for the first time. - Jeremy G. Siek; Peter Thiemann 001; Philip Wadler (J. Funct. Program., 2021)

Label dependent lambda calculus and gradual typing. - Weili Fu; Fabian Krause; Peter Thiemann 001 (Proc. ACM Program. Lang., 2021)

Artifact for Label Dependent Lambda Calculus and Gradual Typing. - Fabian Krause; Weili Fu; Peter Thiemann 001 (Zenodo, 2021)

Mechanized proofs for "Relating Functional and Imperative Session Types". - Hannes Saffrich; Peter Thiemann 001 (Zenodo, 2021)

Global Type Inference for Featherweight Generic Java. - Andreas Stadelmeier; Martin Plümicke; Peter Thiemann 001 (ECOOP, 2022)

Global Type Inference for Featherweight Generic Java - Prototype Implementation (Artifact). - Andreas Stadelmeier; Martin Plümicke; Peter Thiemann 001 (Dagstuhl Artifacts Ser., 2022)

Polymorphic lambda calculus with context-free session types. - Bernardo Almeida; Andreia Mordido; Peter Thiemann 001; Vasco T. Vasconcelos (Inf. Comput., 2022)

Relating Functional and Imperative Session Types. - Hannes Saffrich; Peter Thiemann 001 (Log. Methods Comput. Sci., 2022)

Polymorphic Typestate for Session Types. - Hannes Saffrich; Peter Thiemann 001 (PPDP, 2023)

Intrinsically Typed Sessions With Callbacks. - Peter Thiemann 001 (CoRR, 2023)

Cross-thread critical sections and efficient dynamic race prediction methods. - Martin Sulzmann; Peter Thiemann 001 (CoRR, 2023)

Parameterized Algebraic Protocols. - Andreia Mordido; Janek Spaderna; Peter Thiemann 001; Vasco T. Vasconcelos (Proc. ACM Program. Lang., 2023)

AlgST. - Janek Spaderna; Peter Thiemann 001; Andreia Mordido; Vasco Thudichum Vasconcelos (Zenodo, 2023)

Intrinsically Typed Sessions with Callbacks (Functional Pearl). - Peter Thiemann 001 (Proc. ACM Program. Lang., 2023)

A Formal Verification Framework for Tezos Smart Contracts Based on Symbolic Execution. - Thi Thu Ha Doan; Peter Thiemann 001 (APLAS, 2024)

A Dynamic Logic for Symbolic Execution for the Smart Contract Programming Language Michelson. - Barnabas Arvay; Thi Thu Ha Doan; Peter Thiemann 001 (ECOOP, 2024)

Intrinsically Typed Syntax, a Logical Relation, and the Scourge of the Transfer Lemma. - Hannes Saffrich; Peter Thiemann 001; Marius Weidner (TyDe@ICFP, 2024)

Next Generation Protocols for Heterogeneous Systems (Dagstuhl Seminar 24051). - Stephanie Balzer; Marco Carbone; Roland Kuhn 002; Peter Thiemann 001 (Dagstuhl Reports, 2024)

Law and Order for Typestate with Borrowing. - Hannes Saffrich; Yuki Nishida 001; Peter Thiemann 001 (Proc. ACM Program. Lang., 2024)

Partial Orders for Precise and Efficient Dynamic Deadlock Prediction. - Bas van den Heuvel 001; Martin Sulzmann; Peter Thiemann 001 (CoRR, 2025)