Peter Thiemann

Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou, Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Jorge A. Pérez, Peter Thiemann, Bernardo Toninho, Hugo Torres Vieira

Combining behavioural types with security analysis. CoRR (2015)

Matthias Keil, Peter Thiemann

Blame assignment for higher-order contracts with intersection and union. ICFP (2015)

Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, Peter Thiemann

Transparent Object Proxies for JavaScript. CoRR (2015)

Martin Sulzmann, Peter Thiemann

Forkable Regular Expressions. CoRR (2015)

Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, Peter Thiemann

Transparent Object Proxies for JavaScript (Artifact). Dagstuhl Artifacts Ser. 1 (1) (2015)

Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou, Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Jorge A. Pérez, Peter Thiemann, Bernardo Toninho, Hugo Torres Vieira

Combining behavioural types with security analysis. J. Log. Algebraic Methods Program. 84 (6) (2015)

Luminous Fennell, Peter Thiemann

Gradual Typing for Annotated Type Systems. Software Engineering & Management (2015)

Matthias Keil, Peter Thiemann

TreatJS: Higher-Order Contracts for JavaScripts. ECOOP (2015)

Matthias Keil, Peter Thiemann

TreatJS: Higher-Order Contracts for JavaScript (Artifact). Dagstuhl Artifacts Ser. 1 (1) (2015)

Matthias Keil, Peter Thiemann

TreatJS: Higher-Order Contracts for JavaScript. CoRR (2015)

Atsushi Igarashi, Peter Thiemann, Philip Wadler

Software Contracts for Communication, Monitoring, and Security (NII Shonan Meeting 2014-6). NII Shonan Meet. Rep. 2014 (2014)

Fritz Henglein, Ranjit Jhala, Shriram Krishnamurthi, Peter Thiemann

Scripting Languages and Frameworks: Analysis and Verification (Dagstuhl Seminar 14271). Dagstuhl Reports 4 (6) (2014)

Peter Thiemann

Towards Specializing JavaScript Programs. Ershov Memorial Conference (2014)

Matthias Keil, Peter Thiemann

Symbolic Solving of Extended Regular Expression Inequalities. FSTTCS (2014)

Kenichi Asai, Luminous Fennell, Peter Thiemann, Yang Zhang

A Type Theoretic Specification of Partial Evaluation. PPDP (2014)

Peter Thiemann

Session Types with Gradual Typing. TGC (2014)

Manuel Geffken, Hannes Saffrich, Peter Thiemann

Precise Interprocedural Side-Effect Analysis. ICTAC (2014)

Peter Thiemann, Luminous Fennell

Gradual Typing for Annotated Type Systems. ESOP (2014)

Matthias Keil, Peter Thiemann

Symbolic Solving of Extended Regular Expression Inequalities. CoRR (2014)

Manuel Geffken, Peter Thiemann

Side effect monitoring for Java using bytecode rewriting. PPPJ (2014)

Olivier Danvy, Peter Thiemann, Ian Zerny

Circularity and Lambda Abstraction: From Bird to Pettorossi and back. IFL (2013)

Matthias Keil, Peter Thiemann

Type-based dependency analysis for javascript. PLAS (2013)

Matthias Keil, Peter Thiemann

Type-based Dependency Analysis for JavaScript CoRR (2013)

Robert Jakob, Peter Thiemann

Towards Tree Automata-based Success Types. CoRR (2013)

Luminous Fennell, Peter Thiemann

Gradual Security Typing with References. CSF (2013)

Matthias Keil, Peter Thiemann

Efficient dynamic access analysis using JavaScript proxies. DLS (2013)

Matthias Keil, Peter Thiemann

Efficient Dynamic Access Analysis Using JavaScript Proxies. CoRR (2013)

Peter Thiemann

Partially static operations. PEPM (2013)

Matthias Keil, Peter Thiemann

On the Proxy Identity Crisis. CoRR (2013)

Markus Degen, Peter Thiemann, Stefan Wehr

The interaction of contracts and laziness. PEPM (2012)

Phillip Heidegger, Peter Thiemann

JSConTest: Contract-Driven Testing and Path Effect Inference for JavaScript. J. Object Technol. 11 (1) (2012)

Peter Thiemann, Manuel M. T. Chakravarty

Agda Meets Accelerate. IFL (2012)

Markus Degen, Peter Thiemann, Stefan Wehr

The interaction of contracts and laziness. High. Order Symb. Comput. 25 (1) (2012)

Luminous Fennell, Peter Thiemann

The Blame Theorem for a Linear Lambda Calculus with Type Dynamic. Trends in Functional Programming (2012)

Faisal Aslam, Ghufran Baig, Mubashir Adnan Qureshi, Zartash Afzal Uzmi, Luminous Fennell, Peter Thiemann, Christian Schindelhauer, Elmar Haussmann

Rethinking Java call stack design for tiny embedded devices. LCTES (2012)

Phillip Heidegger, Annette Bieniusa, Peter Thiemann

Access permission contracts for scripting languages. POPL (2012)

Phillip Heidegger, Peter Thiemann

A Heuristic Approach for Computing Effects. TOOLS (49) (2011)

Stefan Wehr, Peter Thiemann

On the Decidability of Subtyping with Bounded Existential Types and Implementation Constraints. New Gener. Comput. 29 (1) (2011)

Faisal Aslam, Luminous Fennell, Christian Schindelhauer, Peter Thiemann, Zartash Afzal Uzmi

Offline GC: trashing reachable objects on tiny devices. SenSys (2011)

Annette Bieniusa, Peter Thiemann

Proving Isolation Properties for Software Transactional Memory. ESOP (2011)

Stefan Wehr, Peter Thiemann

JavaGI: The Interaction of Type Classes with Interfaces and Inheritance. ACM Trans. Program. Lang. Syst. 33 (4) (2011)

Phillip Heidegger, Annette Bieniusa, Peter Thiemann

DOM Transactions for Testing JavaScript. TAIC PART (2010)

Johannes Rudolph, Peter Thiemann

Mnemonics: type-safe bytecode generation at run time. High. Order Symb. Comput. 23 (3) (2010)

Phillip Heidegger, Peter Thiemann

Contract-Driven Testing of JavaScript Code. TOOLS (48) (2010)

Simon Holm Jensen, Anders Møller, Peter Thiemann

Interprocedural Analysis with Lazy Propagation. SAS (2010)

Faisal Aslam, Luminous Fennell, Christian Schindelhauer, Peter Thiemann, Gidon Ernst, Elmar Haussmann, Stefan Rührup, Zartash Afzal Uzmi

Optimized Java Binary and Virtual Machine for Tiny Motes. DCOSS (2010)

Peter Thiemann, Martin Sulzmann

Tag-Free Combinators for Binding-Time Polymorphic Program Generation. FLOPS (2010)

Phillip Heidegger, Peter Thiemann

Recency Types for Analyzing Scripting Languages. ECOOP (2010)

Konrad Anton, Peter Thiemann

Typing Coroutines. Trends in Functional Programming (2010)

Peter Thiemann, Henrik Nilsson

Special Issue Dedicated to ICFP 2008 Editorial. J. Funct. Program. 20 (5-6) (2010)

Konrad Anton, Peter Thiemann

Towards Deriving Type Systems and Implementations for Coroutines. APLAS (2010)

Johannes Rudolph, Peter Thiemann

Mnemonics: type-safe bytecode generation at run time. PEPM (2010)

Markus Degen, Peter Thiemann, Stefan Wehr

Eager and delayed contract monitoring for call-by-value and call-by-name evaluation. J. Log. Algebraic Methods Program. 79 (7) (2010)

Annette Bieniusa, Arie Middelkoop, Peter Thiemann

Brief announcement: actions in the twilight - concurrent irrevocable transactions and inconsistency repair. PODC (2010)

Annette Bieniusa, Peter Thiemann

How to CPS Transform a Monad. CC (2009)

Stefan Wehr, Peter Thiemann

On the Decidability of Subtyping with Bounded Existential Types. APLAS (2009)

Stefan Wehr, Peter Thiemann

JavaGI in the battlefield: practical experience with generalized interfaces. GPCE (2009)

Simon Holm Jensen, Anders Møller, Peter Thiemann

Type Analysis for JavaScript. SAS (2009)

Markus Degen, Peter Thiemann, Stefan Wehr

True Lies: Lazy Contracts for Lazy Languages. GI Jahrestagung (2009)

Matthias Neubauer, Peter Thiemann

Placement Inference for a Client-Server Calculus. ICALP (2) (2008)

Olivier Danvy, R. Kent Dybvig, Julia Lawall, Peter Thiemann

Editorial. High. Order Symb. Comput. 21 (3) (2008)

Annette Bieniusa, Markus Degen, Phillip Heidegger, Peter Thiemann, Stefan Wehr, Martin Gasbichler, Michael Sperber, Marcus Crestani, Herbert Klaeren, Eric Knauel

Htdp and dmda in the battlefield: a case study in first-year programming instruction. FDPE@ICFP (2008)

Peter Thiemann, Stefan Wehr

Interface Types for Haskell. APLAS (2008)

Annette Bieniusa, Peter Thiemann, Stefan Wehr

The Relation of Version Control to Concurrent Programming. CSSE (3) (2008)

Publication Activity (10 Years)

Top Topics