| 2026 | ECOOP | A Variation on Java Wildcards - Trading Expressiveness for Global Type Inference. | Andreas Stadelmeier, Martin Plmicke, Peter Thiemann |
| 2024 | APLAS | A Formal Verification Framework for Tezos Smart Contracts Based on Symbolic Execution. | Thi Thu Ha Doan, Peter Thiemann |
| 2024 | ECOOP | A Dynamic Logic for Symbolic Execution for the Smart Contract Programming Language Michelson. | Barnabas Arvay, Thi Thu Ha Doan, Peter Thiemann |
| 2023 | PPDP | Polymorphic Typestate for Session Types. | Hannes Saffrich, Peter Thiemann |
| 2022 | ECOOP | Global Type Inference for Featherweight Generic Java. | Andreas Stadelmeier, Martin Plmicke, Peter Thiemann |
| 2021 | APLAS | A Typed Programmatic Interface to Contracts on the Blockchain. | Thi Thu Ha Doan, Peter Thiemann |
| 2021 | CAV | Towards Contract Modules for the Tezos Blockchain (Short Paper). | Thi Thu Ha Doan, Peter Thiemann |
| 2021 | Coordination | Relating Functional and Imperative Session Types. | Hannes Saffrich, Peter Thiemann |
| 2019 | PPDP | Intrinsically-Typed Mechanized Semantics for Session Types. | Peter Thiemann |
| 2018 | GPCE | Regenerate: a language generator for extended regular expressions. | Gabriel Radanne, Peter Thiemann |
| 2018 | ICTAC | LTL Semantic Tableaux and Alternating \omega ω -automata via Linear Factors. | Martin Sulzmann, Peter Thiemann |
| 2017 | APLAS | A Computational Interpretation of Context-Free Expressions. | Martin Sulzmann, Peter Thiemann |
| 2017 | FOSSACS | Partial Derivatives for Context-Free Languages - From \mu -Regular Expressions to Pushdown Automata. | Peter Thiemann |
| 2017 | SAC | Interleaving sessions with predicates. | Peter Thiemann |
| 2016 | APLAS | Static Trace-Based Deadlock Analysis for Synchronous Mini-Go. | Kai Stadtmller, Martin Sulzmann, Peter Thiemann |
| 2016 | ECOOP | LJGS: Gradual Security Types for Object-Oriented Languages. | Luminous Fennell, Peter Thiemann |
| 2016 | ICFP | Context-free session types. | Peter Thiemann, Vasco T. Vasconcelos |
| 2016 | LATA | Forkable Regular Expressions. | Martin Sulzmann, Peter Thiemann |
| 2015 | ECOOP | Transparent Object Proxies in JavaScript. | Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, Peter Thiemann |
| 2015 | ECOOP | TreatJS: Higher-Order Contracts for JavaScripts. | Matthias Keil, Peter Thiemann |
| 2015 | ICFP | Blame assignment for higher-order contracts with intersection and union. | Matthias Keil, Peter Thiemann |
| 2015 | LATA | Derivatives for Regular Shuffle Expressions. | Martin Sulzmann, Peter Thiemann |
| 2015 | LATA | From \omega -Regular Expressions to Bchi Automata via Partial Derivatives. | Peter Thiemann, Martin Sulzmann |
| 2015 | PLDI | Blame and coercion: together again for the first time. | Jeremy G. Siek, Peter Thiemann, Philip Wadler |
| 2014 | ESOP | Gradual Typing for Annotated Type Systems. | Peter Thiemann, Luminous Fennell |
| 2014 | ICTAC | Precise Interprocedural Side-Effect Analysis. | Manuel Geffken, Hannes Saffrich, Peter Thiemann |
| 2014 | PPDP | A Type Theoretic Specification of Partial Evaluation. | Kenichi Asai, Luminous Fennell, Peter Thiemann, Yang Zhang |
| 2013 | DLS | Efficient dynamic access analysis using JavaScript proxies. | Matthias Keil, Peter Thiemann |
| 2013 | PEPM | Partially static operations. | Peter Thiemann |
| 2013 | PLDI | Type-based dependency analysis for javascript. | Matthias Keil, Peter Thiemann |
| 2012 | PEPM | The interaction of contracts and laziness. | Markus Degen, Peter Thiemann, Stefan Wehr |
| 2012 | POPL | Access permission contracts for scripting languages. | Phillip Heidegger, Annette Bieniusa, Peter Thiemann |
| 2011 | ESOP | Proving Isolation Properties for Software Transactional Memory. | Annette Bieniusa, Peter Thiemann |
| 2011 | SENSYS | Offline GC: trashing reachable objects on tiny devices. | Faisal Aslam, Luminous Fennell, Christian Schindelhauer, Peter Thiemann, Zartash Afzal Uzmi |
| 2010 | APLAS | Towards Deriving Type Systems and Implementations for Coroutines. | Konrad Anton, Peter Thiemann |
| 2010 | DCOSS | Optimized Java Binary and Virtual Machine for Tiny Motes. | Faisal Aslam, Luminous Fennell, Christian Schindelhauer, Peter Thiemann, Gidon Ernst, Elmar Haussmann, Stefan Rhrup, Zartash Afzal Uzmi |
| 2010 | ECOOP | Recency Types for Analyzing Scripting Languages. | Phillip Heidegger, Peter Thiemann |
| 2010 | FLOPS | Tag-Free Combinators for Binding-Time Polymorphic Program Generation. | Peter Thiemann, Martin Sulzmann |
| 2010 | PEPM | Mnemonics: type-safe bytecode generation at run time. | Johannes Rudolph, Peter Thiemann |
| 2010 | PODC | Brief announcement: actions in the twilight - concurrent irrevocable transactions and inconsistency repair. | Annette Bieniusa, Arie Middelkoop, Peter Thiemann |
| 2010 | SAS | Interprocedural Analysis with Lazy Propagation. | Simon Holm Jensen, Anders Mller, Peter Thiemann |
| 2009 | APLAS | On the Decidability of Subtyping with Bounded Existential Types. | Stefan Wehr, Peter Thiemann |
| 2009 | CC | How to CPS Transform a Monad. | Annette Bieniusa, Peter Thiemann |
| 2009 | GI | True Lies: Lazy Contracts for Lazy Languages. | Markus Degen, Peter Thiemann, Stefan Wehr |
| 2009 | GPCE | JavaGI in the battlefield: practical experience with generalized interfaces. | Stefan Wehr, Peter Thiemann |
| 2009 | SAS | Type Analysis for JavaScript. | Simon Holm Jensen, Anders Mller, Peter Thiemann |
| 2008 | APLAS | Interface Types for Haskell. | Peter Thiemann, Stefan Wehr |
| 2008 | ICALP | Placement Inference for a Client-Server Calculus. | Matthias Neubauer, Peter Thiemann |
| 2008 | ICFP | Htdp and dmda in the battlefield: a case study in first-year programming instruction. | Annette Bieniusa, Markus Degen, Phillip Heidegger, Peter Thiemann, Stefan Wehr, Martin Gasbichler, Michael Sperber, Marcus Crestani, Herbert Klaeren, Eric Knauel |
| 2008 | PPDP | Macros for context-free grammars. | Peter Thiemann, Matthias Neubauer |
| 2007 | ECOOP | Tracking Linear and Affine Resources with Java(X). | Markus Degen, Peter Thiemann, Stefan Wehr |
| 2007 | ECOOP | JavaGI : Generalized Interfaces for Java. | Stefan Wehr, Ralf Lmmel, Peter Thiemann |
| 2006 | FLOPS | WASH Server Pages. | Peter Thiemann |
| 2006 | HASKELL | User-level transactional programming in Haskell. | Peter Thiemann |
| 2005 | ESOP | Towards a Type System for Analyzing JavaScript Programs. | Peter Thiemann |
| 2005 | POPL | From sequential programs to multi-tier applications by program transformation. | Matthias Neubauer, Peter Thiemann |
| 2004 | APLAS | Protocol Specialization. | Matthias Neubauer, Peter Thiemann |
| 2004 | GI | Static Analysis of the Frequency of Change. | Peter Thiemann |
| 2004 | HASKELL | Haskell type browser. | Matthias Neubauer, Peter Thiemann |
| 2004 | PADL | An Implementation of Session Types. | Matthias Neubauer, Peter Thiemann |
| 2003 | HASKELL | XML templates and caching in WASH. | Peter Thiemann |
| 2003 | ICFP | Discriminative sum types locate the source of type errors. | Matthias Neubauer, Peter Thiemann |
| 2003 | SAS | Continuation-Based Partial Evaluation without Continuations. | Peter Thiemann |
| 2002 | ESOP | A Prototype Dependency Calculus. | Peter Thiemann |
| 2002 | ICFP | Type classes with more higher-order polymorphism. | Matthias Neubauer, Peter Thiemann |
| 2002 | PADL | WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms. | Peter Thiemann |
| 2002 | POPL | Functional logic overloading. | Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber |
| 2001 | ESOP | Enforcing Safety Properties Using Type Specialization. | Peter Thiemann |
| 2000 | CC | Compiling Adaptive Programs by Partial Evaluation. | Peter Thiemann |
| 2000 | FOSSACS | An Algebraic Foundation for Adaptive Programming. | Peter Thiemann |
| 2000 | PADL | Modeling HTML in Haskell. | Peter Thiemann |
| 1999 | ESOP | Higher-Order Code Splicing. | Peter Thiemann |
| 1999 | PEPM | Interpreting Specialization in Type Theory. | Peter Thiemann |
| 1998 | ESOP | A Generic Framework for Specialization (Abridged Version). | Peter Thiemann |
| 1998 | PEPM | Aspects of the PGG System: Specialization for Standard Scheme. | Peter Thiemann |
| 1998 | POPL | Single and Loving It: Must-Alias Analysis for Higher-Order Languages. | Suresh Jagannathan, Peter Thiemann, Stephen Weeks, Andrew K. Wright |
| 1997 | GI | Program Generation with Class. | Peter Thiemann, Michael Sperber |
| 1997 | ICFP | Type Specialization for Imperative Languages. | Dirk Dussart, John Hughes, Peter Thiemann |
| 1997 | PLDI | Two for the Price of One: Composing Partial Evaluation and Compilation. | Michael Sperber, Peter Thiemann |
| 1996 | ICFP | Cogen in Six Lines. | Peter Thiemann |
| 1996 | PLDI | Realistic Compilation by Partial Evaluation. | Michael Sperber, Peter Thiemann |
| 1996 | SAC | Bootstrapping higher-order program transformers from interpreters. | Michael Sperber, Robert Glck, Peter Thiemann |
| 1995 | PEPM | The Essence of LR Parsing. | Michael Sperber, Peter Thiemann |
| 1994 | PEPM | Higher-Order Redundancy Elimination. | Peter Thiemann |
| 1993 | PEPM | A Safety Analysis for Functional Programs. | Peter Thiemann |
| 1993 | SAS | Avoiding Repeated Tests in Pattern Matching. | Peter Thiemann |