Peter Thiemann

ORCID

Publication Activity (10 Years)

Years Active: 1990-2024
Publications (10 Years): 56

Top Venues

CoRR

Proc. ACM Program. Lang.

Dagstuhl Artifacts Ser.

ECOOP

Publications

Hannes Saffrich, Peter Thiemann, Marius Weidner
Intrinsically Typed Syntax, a Logical Relation, and the Scourge of the Transfer Lemma. TyDe@ICFP (2024)
Stephanie Balzer, Marco Carbone, Roland Kuhn, Peter Thiemann
Next Generation Protocols for Heterogeneous Systems (Dagstuhl Seminar 24051). Dagstuhl Reports 14 (1) (2024)
Martin Sulzmann, Peter Thiemann
Cross-thread critical sections and efficient dynamic race prediction methods. CoRR (2023)
Hannes Saffrich, Peter Thiemann
Polymorphic Typestate for Session Types. PPDP (2023)
Peter Thiemann
Intrinsically Typed Sessions with Callbacks (Functional Pearl). Proc. ACM Program. Lang. 7 (ICFP) (2023)
Andreia Mordido, Janek Spaderna, Peter Thiemann, Vasco T. Vasconcelos
Parameterized Algebraic Protocols. CoRR (2023)
Andreia Mordido, Janek Spaderna, Peter Thiemann, Vasco T. Vasconcelos
Parameterized Algebraic Protocols. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Peter Thiemann
Intrinsically Typed Sessions With Callbacks. CoRR (2023)
Andreas Stadelmeier, Martin Plümicke, Peter Thiemann
Global Type Inference for Featherweight Generic Java - Prototype Implementation (Artifact). Dagstuhl Artifacts Ser. 8 (2) (2022)
Bernardo Almeida, Andreia Mordido, Peter Thiemann, Vasco T. Vasconcelos
Polymorphic lambda calculus with context-free session types. Inf. Comput. 289 (Part) (2022)
Andreas Stadelmeier, Martin Plümicke, Peter Thiemann
Global Type Inference for Featherweight Generic Java. ECOOP (2022)
Andreas Stadelmeier, Martin Plümicke, Peter Thiemann
Global Type Inference for Featherweight Generic Java. CoRR (2022)
Hannes Saffrich, Peter Thiemann
Relating Functional and Imperative Session Types. Log. Methods Comput. Sci. 18 (3) (2022)
Hannes Saffrich, Peter Thiemann
Polymorphic Typestate for Session Types. CoRR (2022)
Hannes Saffrich, Peter Thiemann
Relating Functional and Imperative Session Types. COORDINATION (2021)
Jeremy G. Siek, Peter Thiemann, Philip Wadler
Blame and coercion: Together again for the first time. J. Funct. Program. 31 (2021)
Thi Thu Ha Doan, Peter Thiemann
A Typed Programmatic Interface to Contracts on the Blockchain. APLAS (2021)
Thi Thu Ha Doan, Peter Thiemann
Towards Contract Modules for the Tezos Blockchain (Short Paper). FMBC@CAV (2021)
Thi Thu Ha Doan, Peter Thiemann
A Typed Programmatic Interface to Contracts on the Blockchain. CoRR (2021)
Fernando Cristiani, Peter Thiemann
Generation of TypeScript declaration files from JavaScript code. MPLR (2021)
Weili Fu, Fabian Krause, Peter Thiemann
Label dependent lambda calculus and gradual typing. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Fernando Cristiani, Peter Thiemann
Generation of TypeScript Declaration Files from JavaScript Code. CoRR (2021)
Bernardo Almeida, Andreia Mordido, Peter Thiemann, Vasco T. Vasconcelos
Polymorphic Context-free Session Types. CoRR (2021)
Peter Thiemann, Vasco T. Vasconcelos
Label-dependent session types. Proc. ACM Program. Lang. 4 (POPL) (2020)
Hannes Saffrich, Peter Thiemann
Relating Functional and Imperative Session Types. CoRR (2020)
Gabriel Radanne, Hannes Saffrich, Peter Thiemann
Kindly bent to free us. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Simon J. Gay, Peter Thiemann, Vasco T. Vasconcelos
Duality of Session Types: The Final Cut. PLACES@ETAPS (2020)
Gabriel Radanne, Peter Thiemann
Kindly Bent to Free Us. CoRR (2019)
Peter Thiemann
Intrinsically-Typed Mechanized Semantics for Session Types. PPDP (2019)
Peter Thiemann
Intrinsically-Typed Mechanized Semantics for Session Types. CoRR (2019)
Atsushi Igarashi, Peter Thiemann, Yuya Tsuda, Vasco T. Vasconcelos, Philip Wadler
Gradual session types. J. Funct. Program. 29 (2019)
Martin Sulzmann, Peter Thiemann
Derivatives and partial derivatives for regular shuffle expressions. J. Comput. Syst. Sci. 104 (2019)
Peter Thiemann, Vasco T. Vasconcelos
Label-Dependent Session Types. CoRR (2019)
Atsushi Igarashi, Peter Thiemann, Yuya Tsuda, Vasco T. Vasconcelos, Philip Wadler
Gradual Session Types. CoRR (2018)
Martin Sulzmann, Peter Thiemann
LTL Semantic Tableaux and Alternating \omega ω -automata via Linear Factors. ICTAC (2018)
Gabriel Radanne, Peter Thiemann
Regenerate: a language generator for extended regular expressions. GPCE (2018)
Martin Sulzmann, Peter Thiemann
A Computational Interpretation of Context-Free Expressions. APLAS (2017)
Atsushi Igarashi, Peter Thiemann, Vasco T. Vasconcelos, Philip Wadler
Gradual session types. Proc. ACM Program. Lang. 1 (ICFP) (2017)
Martin Sulzmann, Peter Thiemann
LTL Semantic Tableaux and Alternating ω-automata via Linear Factors. CoRR (2017)
Matthias Keil, Peter Thiemann
Static Contract Simplification. CoRR (2017)
Peter Thiemann
Partial Derivatives for Context-Free Languages - From \mu -Regular Expressions to Pushdown Automata. FoSSaCS (2017)
Peter Thiemann
Interleaving sessions with predicates. SAC (2017)
Martin Sulzmann, Peter Thiemann
A Computational Interpretation of Context-Free Expressions. CoRR (2017)
Luminous Fennell, Peter Thiemann
LJGS: Gradual Security Types for Object-Oriented Languages. ECOOP (2016)
Peter Thiemann
Derivatives for Enhanced Regular Expressions. CoRR (2016)
Luminous Fennell, Peter Thiemann
LJGS: Gradual Security Types for Object-Oriented Languages (Artifact). Dagstuhl Artifacts Ser. 2 (1) (2016)
Matthias Keil, Peter Thiemann
Transaction-based Sandboxing for JavaScript. CoRR (2016)
Kai Stadtmüller, Martin Sulzmann, Peter Thiemann
Static Trace-Based Deadlock Analysis for Synchronous Mini-Go. APLAS (2016)
Kai Stadtmüller, Martin Sulzmann, Peter Thiemann
Static Trace-Based Deadlock Analysis for Synchronous Mini-Go. CoRR (2016)
Nico Naus, Peter Thiemann
Dynamic Flow Analysis for JavaScript. TFP (2016)
Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, Peter Thiemann
Transparent object proxies for javascript. Software Engineering (2016)
Peter Thiemann
A Delta for Hybrid Type Checking. A List of Successes That Can Change the World (2016)
Martin Sulzmann, Peter Thiemann
Forkable Regular Expressions. LATA (2016)
Peter Thiemann
From μ-Regular Expressions to Pushdown Automata. CoRR (2016)
Peter Thiemann, Vasco T. Vasconcelos
Context-free session types. ICFP (2016)
Peter Thiemann
Derivatives for Enhanced Regular Expressions. CIAA (2016)
Robert Jakob, Peter Thiemann
A Falsification View of Success Typing. NFM (2015)
Martin Sulzmann, Peter Thiemann
Derivatives for Regular Shuffle Expressions. LATA (2015)
Peter Thiemann, Martin Sulzmann
From \omega -Regular Expressions to Büchi Automata via Partial Derivatives. LATA (2015)
Jeremy G. Siek, Peter Thiemann, Philip Wadler
Blame and coercion: together again for the first time. PLDI (2015)
Robert Jakob, Peter Thiemann
A Falsification View of Success Typing. CoRR (2015)
Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, Peter Thiemann
Transparent Object Proxies in JavaScript. ECOOP (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. 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)

Peter Thiemann.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Peter Thiemann