default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPeter Thiemann 0001
Person information
- affiliation: University of Freiburg, Germany
Other persons with the same name
- Peter Thiemann 0002 — South Westphalia University of Applied Sciences, Soest, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j41]Hannes Saffrich
, Yuki Nishida, Peter Thiemann:
Law and Order for Typestate with Borrowing. Proc. ACM Program. Lang. 8(OOPSLA2): 1475-1503 (2024)- [c133]Thi Thu Ha Doan, Peter Thiemann:
A Formal Verification Framework for Tezos Smart Contracts Based on Symbolic Execution. APLAS 2024: 305-324 - [c132]Barnabas Arvay, Thi Thu Ha Doan, Peter Thiemann:
A Dynamic Logic for Symbolic Execution for the Smart Contract Programming Language Michelson. ECOOP 2024: 3:1-3:26 - [c131]Hannes Saffrich, Peter Thiemann, Marius Weidner:
Intrinsically Typed Syntax, a Logical Relation, and the Scourge of the Transfer Lemma. TyDe@ICFP 2024: 2-15 - [i37]Hannes Saffrich, Yuki Nishida, Peter Thiemann:
Law and Order for Typestate with Borrowing. CoRR abs/2408.14031 (2024) - [i36]Stephanie Balzer, Marco Carbone, Roland Kuhn, Peter Thiemann:
Next Generation Protocols for Heterogeneous Systems (Dagstuhl Seminar 24051). Dagstuhl Reports 14(1): 108-129 (2024) - 2023
- [j40]Peter Thiemann:
Intrinsically Typed Sessions with Callbacks (Functional Pearl). Proc. ACM Program. Lang. 7(ICFP): 711-739 (2023) - [j39]Andreia Mordido, Janek Spaderna, Peter Thiemann, Vasco T. Vasconcelos:
Parameterized Algebraic Protocols. Proc. ACM Program. Lang. 7(PLDI): 1389-1413 (2023) - [c130]Hannes Saffrich, Peter Thiemann:
Polymorphic Typestate for Session Types. PPDP 2023: 12:1-12:15 - [d3]Janek Spaderna, Peter Thiemann, Andreia Mordido, Vasco Thudichum Vasconcelos:
AlgST. Zenodo, 2023
- [i35]Peter Thiemann:
Intrinsically Typed Sessions With Callbacks. CoRR abs/2303.01278 (2023) - [i34]Andreia Mordido, Janek Spaderna, Peter Thiemann, Vasco T. Vasconcelos:
Parameterized Algebraic Protocols. CoRR abs/2304.03764 (2023) - [i33]Martin Sulzmann, Peter Thiemann:
Cross-thread critical sections and efficient dynamic race prediction methods. CoRR abs/2307.09855 (2023) - 2022
- [j38]Andreas Stadelmeier, Martin Plümicke, Peter Thiemann:
Global Type Inference for Featherweight Generic Java - Prototype Implementation (Artifact). Dagstuhl Artifacts Ser. 8(2): 18:1-18:4 (2022) - [j37]Bernardo Almeida, Andreia Mordido, Peter Thiemann, Vasco T. Vasconcelos:
Polymorphic lambda calculus with context-free session types. Inf. Comput. 289(Part): 104948 (2022) - [j36]Hannes Saffrich, Peter Thiemann:
Relating Functional and Imperative Session Types. Log. Methods Comput. Sci. 18(3) (2022) - [c129]Andreas Stadelmeier, Martin Plümicke, Peter Thiemann:
Global Type Inference for Featherweight Generic Java. ECOOP 2022: 28:1-28:27 - [i32]Andreas Stadelmeier, Martin Plümicke, Peter Thiemann:
Global Type Inference for Featherweight Generic Java. CoRR abs/2205.08768 (2022) - [i31]Hannes Saffrich, Peter Thiemann:
Polymorphic Typestate for Session Types. CoRR abs/2210.17335 (2022) - 2021
- [j35]Jeremy G. Siek, Peter Thiemann, Philip Wadler:
Blame and coercion: Together again for the first time. J. Funct. Program. 31: e20 (2021) - [j34]Weili Fu, Fabian Krause, Peter Thiemann:
Label dependent lambda calculus and gradual typing. Proc. ACM Program. Lang. 5(OOPSLA): 1-29 (2021) - [c128]Thi Thu Ha Doan, Peter Thiemann:
A Typed Programmatic Interface to Contracts on the Blockchain. APLAS 2021: 222-240 - [c127]Thi Thu Ha Doan, Peter Thiemann:
Towards Contract Modules for the Tezos Blockchain (Short Paper). FMBC@CAV 2021: 5:1-5:9 - [c126]Hannes Saffrich, Peter Thiemann:
Relating Functional and Imperative Session Types. COORDINATION 2021: 61-79 - [c125]Fernando Cristiani, Peter Thiemann:
Generation of TypeScript declaration files from JavaScript code. MPLR 2021: 97-112 - [d2]Fabian Krause, Weili Fu, Peter Thiemann:
Artifact for Label Dependent Lambda Calculus and Gradual Typing. Zenodo, 2021 - [d1]Hannes Saffrich, Peter Thiemann:
Mechanized proofs for "Relating Functional and Imperative Session Types". Zenodo, 2021 - [i30]Bernardo Almeida, Andreia Mordido, Peter Thiemann, Vasco T. Vasconcelos:
Polymorphic Context-free Session Types. CoRR abs/2106.06658 (2021) - [i29]Fernando Cristiani, Peter Thiemann:
Generation of TypeScript Declaration Files from JavaScript Code. CoRR abs/2108.08027 (2021) - [i28]Thi Thu Ha Doan, Peter Thiemann:
A Typed Programmatic Interface to Contracts on the Blockchain. CoRR abs/2108.11867 (2021) - 2020
- [j33]Gabriel Radanne, Hannes Saffrich, Peter Thiemann:
Kindly bent to free us. Proc. ACM Program. Lang. 4(ICFP): 103:1-103:29 (2020) - [j32]Peter Thiemann, Vasco T. Vasconcelos:
Label-dependent session types. Proc. ACM Program. Lang. 4(POPL): 67:1-67:29 (2020) - [c124]Simon J. Gay, Peter Thiemann, Vasco T. Vasconcelos:
Duality of Session Types: The Final Cut. PLACES@ETAPS 2020: 23-33 - [i27]Hannes Saffrich, Peter Thiemann:
Relating Functional and Imperative Session Types. CoRR abs/2010.08261 (2020)
2010 – 2019
- 2019
- [j31]Martin Sulzmann, Peter Thiemann:
Derivatives and partial derivatives for regular shuffle expressions. J. Comput. Syst. Sci. 104: 323-341 (2019) - [j30]Atsushi Igarashi, Peter Thiemann, Yuya Tsuda, Vasco T. Vasconcelos, Philip Wadler:
Gradual session types. J. Funct. Program. 29: e17 (2019) - [c123]Peter Thiemann:
Intrinsically-Typed Mechanized Semantics for Session Types. PPDP 2019: 19:1-19:15 - [i26]Peter Thiemann:
Intrinsically-Typed Mechanized Semantics for Session Types. CoRR abs/1908.02940 (2019) - [i25]Gabriel Radanne, Peter Thiemann:
Kindly Bent to Free Us. CoRR abs/1908.09681 (2019) - [i24]Peter Thiemann, Vasco T. Vasconcelos:
Label-Dependent Session Types. CoRR abs/1911.00705 (2019) - 2018
- [c122]Gabriel Radanne, Peter Thiemann:
Regenerate: a language generator for extended regular expressions. GPCE 2018: 202-214 - [c121]Martin Sulzmann, Peter Thiemann:
LTL Semantic Tableaux and Alternating \omega ω -automata via Linear Factors. ICTAC 2018: 11-34 - [e10]David Sabel, Peter Thiemann:
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018, Frankfurt am Main, Germany, September 03-05, 2018. ACM 2018 [contents] - [i23]Atsushi Igarashi, Peter Thiemann, Yuya Tsuda, Vasco T. Vasconcelos, Philip Wadler:
Gradual Session Types. CoRR abs/1809.05649 (2018) - 2017
- [j29]Atsushi Igarashi, Peter Thiemann, Vasco T. Vasconcelos, Philip Wadler:
Gradual session types. Proc. ACM Program. Lang. 1(ICFP): 38:1-38:28 (2017) - [c120]Martin Sulzmann, Peter Thiemann:
A Computational Interpretation of Context-Free Expressions. APLAS 2017: 387-405 - [c119]Peter Thiemann:
Partial Derivatives for Context-Free Languages - From \mu -Regular Expressions to Pushdown Automata. FoSSaCS 2017: 248-264 - [c118]Peter Thiemann:
Interleaving sessions with predicates. SAC 2017: 1312-1318 - [i22]Matthias Keil, Peter Thiemann:
Static Contract Simplification. CoRR abs/1703.10331 (2017) - [i21]Martin Sulzmann, Peter Thiemann:
A Computational Interpretation of Context-Free Expressions. CoRR abs/1708.07366 (2017) - [i20]Martin Sulzmann, Peter Thiemann:
LTL Semantic Tableaux and Alternating ω-automata via Linear Factors. CoRR abs/1710.06678 (2017) - 2016
- [j28]Luminous Fennell, Peter Thiemann:
LJGS: Gradual Security Types for Object-Oriented Languages (Artifact). Dagstuhl Artifacts Ser. 2(1): 04:1-04:2 (2016) - [c117]Kai Stadtmüller, Martin Sulzmann, Peter Thiemann:
Static Trace-Based Deadlock Analysis for Synchronous Mini-Go. APLAS 2016: 116-136 - [c116]Peter Thiemann:
A Delta for Hybrid Type Checking. A List of Successes That Can Change the World 2016: 411-432 - [c115]Luminous Fennell, Peter Thiemann:
LJGS: Gradual Security Types for Object-Oriented Languages. ECOOP 2016: 9:1-9:26 - [c114]Peter Thiemann, Vasco T. Vasconcelos:
Context-free session types. ICFP 2016: 462-475 - [c113]Martin Sulzmann, Peter Thiemann:
Forkable Regular Expressions. LATA 2016: 194-206 - [c112]Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, Peter Thiemann:
Transparent object proxies for javascript. Software Engineering 2016: 23-24 - [c111]Nico Naus, Peter Thiemann:
Dynamic Flow Analysis for JavaScript. TFP 2016: 75-93 - [c110]Peter Thiemann:
Derivatives for Enhanced Regular Expressions. CIAA 2016: 285-297 - [e9]Peter Thiemann:
Programming Languages and Systems - 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. Lecture Notes in Computer Science 9632, Springer 2016, ISBN 978-3-662-49497-4 [contents] - [i19]Peter Thiemann:
Derivatives for Enhanced Regular Expressions. CoRR abs/1605.00817 (2016) - [i18]Kai Stadtmüller, Martin Sulzmann, Peter Thiemann:
Static Trace-Based Deadlock Analysis for Synchronous Mini-Go. CoRR abs/1608.08330 (2016) - [i17]Peter Thiemann:
From μ-Regular Expressions to Pushdown Automata. CoRR abs/1610.06832 (2016) - [i16]Matthias Keil, Peter Thiemann:
Transaction-based Sandboxing for JavaScript. CoRR abs/1612.00669 (2016) - 2015
- [j27]Matthias Keil, Peter Thiemann:
TreatJS: Higher-Order Contracts for JavaScript (Artifact). Dagstuhl Artifacts Ser. 1(1): 01:1-01:2 (2015) - [j26]Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, Peter Thiemann:
Transparent Object Proxies for JavaScript (Artifact). Dagstuhl Artifacts Ser. 1(1): 02:1-02:2 (2015) - [j25]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): 763-780 (2015) - [c109]Matthias Keil, Peter Thiemann:
TreatJS: Higher-Order Contracts for JavaScripts. ECOOP 2015: 28-51 - [c108]Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, Peter Thiemann:
Transparent Object Proxies in JavaScript. ECOOP 2015: 149-173 - [c107]Matthias Keil, Peter Thiemann:
Blame assignment for higher-order contracts with intersection and union. ICFP 2015: 375-386 - [c106]Martin Sulzmann, Peter Thiemann:
Derivatives for Regular Shuffle Expressions. LATA 2015: 275-286 - [c105]Peter Thiemann, Martin Sulzmann:
From \omega -Regular Expressions to Büchi Automata via Partial Derivatives. LATA 2015: 287-298 - [c104]Robert Jakob, Peter Thiemann:
A Falsification View of Success Typing. NFM 2015: 234-247 - [c103]Jeremy G. Siek, Peter Thiemann, Philip Wadler:
Blame and coercion: together again for the first time. PLDI 2015: 425-435 - [c102]Luminous Fennell, Peter Thiemann:
Gradual Typing for Annotated Type Systems. Software Engineering & Management 2015: 45-46 - [i15]Robert Jakob, Peter Thiemann:
A Falsification View of Success Typing. CoRR abs/1502.01278 (2015) - [i14]Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, Peter Thiemann:
Transparent Object Proxies for JavaScript. CoRR abs/1504.08100 (2015) - [i13]Matthias Keil, Peter Thiemann:
TreatJS: Higher-Order Contracts for JavaScript. CoRR abs/1504.08110 (2015) - [i12]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 abs/1510.02229 (2015) - [i11]Martin Sulzmann, Peter Thiemann:
Forkable Regular Expressions. CoRR abs/1510.07293 (2015) - 2014
- [c101]Peter Thiemann:
Towards Specializing JavaScript Programs. Ershov Memorial Conference 2014: 320-334 - [c100]Peter Thiemann, Luminous Fennell:
Gradual Typing for Annotated Type Systems. ESOP 2014: 47-66 - [c99]Matthias Keil, Peter Thiemann:
Symbolic Solving of Extended Regular Expression Inequalities. FSTTCS 2014: 175-186 - [c98]Manuel Geffken, Hannes Saffrich, Peter Thiemann:
Precise Interprocedural Side-Effect Analysis. ICTAC 2014: 188-205 - [c97]Kenichi Asai, Luminous Fennell, Peter Thiemann, Yang Zhang:
A Type Theoretic Specification of Partial Evaluation. PPDP 2014: 57-68 - [c96]Manuel Geffken, Peter Thiemann:
Side effect monitoring for Java using bytecode rewriting. PPPJ 2014: 87-98 - [c95]Peter Thiemann:
Session Types with Gradual Typing. TGC 2014: 144-158 - [i10]Matthias Keil, Peter Thiemann:
Symbolic Solving of Extended Regular Expression Inequalities. CoRR abs/1410.3227 (2014) - [i9]Fritz Henglein, Ranjit Jhala, Shriram Krishnamurthi, Peter Thiemann:
Scripting Languages and Frameworks: Analysis and Verification (Dagstuhl Seminar 14271). Dagstuhl Reports 4(6): 84-107 (2014) - [i8]Atsushi Igarashi, Peter Thiemann, Philip Wadler:
Software Contracts for Communication, Monitoring, and Security (NII Shonan Meeting 2014-6). NII Shonan Meet. Rep. 2014 (2014) - 2013
- [c94]Luminous Fennell, Peter Thiemann:
Gradual Security Typing with References. CSF 2013: 224-239 - [c93]Matthias Keil, Peter Thiemann:
Efficient dynamic access analysis using JavaScript proxies. DLS 2013: 49-60 - [c92]Olivier Danvy, Peter Thiemann, Ian Zerny:
Circularity and Lambda Abstraction: From Bird to Pettorossi and back. IFL 2013: 85 - [c91]Peter Thiemann:
Partially static operations. PEPM 2013: 75-76 - [c90]Matthias Keil, Peter Thiemann:
Type-based dependency analysis for javascript. PLAS 2013: 47-58 - [i7]Matthias Keil, Peter Thiemann:
Type-based Dependency Analysis for JavaScript. CoRR abs/1305.6721 (2013) - [i6]Robert Jakob, Peter Thiemann:
Towards Tree Automata-based Success Types. CoRR abs/1306.5061 (2013) - [i5]Matthias Keil, Peter Thiemann:
Efficient Dynamic Access Analysis Using JavaScript Proxies. CoRR abs/1312.3184 (2013) - [i4]Matthias Keil, Peter Thiemann:
On the Proxy Identity Crisis. CoRR abs/1312.5429 (2013) - 2012
- [j24]Phillip Heidegger, Peter Thiemann:
JSConTest: Contract-Driven Testing and Path Effect Inference for JavaScript. J. Object Technol. 11(1): 1-29 (2012) - [j23]Markus Degen, Peter Thiemann, Stefan Wehr:
The interaction of contracts and laziness. High. Order Symb. Comput. 25(1): 85-125 (2012) - [c89]Peter Thiemann, Manuel M. T. Chakravarty:
Agda Meets Accelerate. IFL 2012: 174-189 - [c88]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: 1-10 - [c87]Markus Degen, Peter Thiemann, Stefan Wehr:
The interaction of contracts and laziness. PEPM 2012: 97-106 - [c86]Phillip Heidegger, Annette Bieniusa, Peter Thiemann:
Access permission contracts for scripting languages. POPL 2012: 111-122 - [c85]Luminous Fennell, Peter Thiemann:
The Blame Theorem for a Linear Lambda Calculus with Type Dynamic. Trends in Functional Programming 2012: 37-52 - [e8]Tom Schrijvers, Peter Thiemann:
Functional and Logic Programming - 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings. Lecture Notes in Computer Science 7294, Springer 2012, ISBN 978-3-642-29821-9 [contents] - [e7]Peter Thiemann, Robby Bruce Findler:
ACM SIGPLAN International Conference on Functional Programming, ICFP'12, Copenhagen, Denmark, September 9-15, 2012. ACM 2012, ISBN 978-1-4503-1054-3 [contents] - 2011
- [j22]Stefan Wehr, Peter Thiemann:
On the Decidability of Subtyping with Bounded Existential Types and Implementation Constraints. New Gener. Comput. 29(1): 87-124 (2011) - [j21]Stefan Wehr, Peter Thiemann:
JavaGI: The Interaction of Type Classes with Interfaces and Inheritance. ACM Trans. Program. Lang. Syst. 33(4): 12:1-12:83 (2011) - [c84]Annette Bieniusa, Peter Thiemann:
Proving Isolation Properties for Software Transactional Memory. ESOP 2011: 38-56 - [c83]Faisal Aslam, Luminous Fennell, Christian Schindelhauer, Peter Thiemann, Zartash Afzal Uzmi:
Offline GC: trashing reachable objects on tiny devices. SenSys 2011: 302-315 - [c82]Phillip Heidegger, Peter Thiemann:
A Heuristic Approach for Computing Effects. TOOLS (49) 2011: 147-162 - 2010
- [j20]Peter Thiemann, Henrik Nilsson:
Special Issue Dedicated to ICFP 2008 Editorial. J. Funct. Program. 20(5-6): 415-416 (2010) - [j19]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): 515-549 (2010) - [j18]Johannes Rudolph, Peter Thiemann:
Mnemonics: type-safe bytecode generation at run time. High. Order Symb. Comput. 23(3): 371-407 (2010) - [c81]Konrad Anton, Peter Thiemann:
Towards Deriving Type Systems and Implementations for Coroutines. APLAS 2010: 63-79 - [c80]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: 15-30 - [c79]Phillip Heidegger, Peter Thiemann:
Recency Types for Analyzing Scripting Languages. ECOOP 2010: 200-224 - [c78]Peter Thiemann, Martin Sulzmann:
Tag-Free Combinators for Binding-Time Polymorphic Program Generation. FLOPS 2010: 87-102 - [c77]Johannes Rudolph, Peter Thiemann:
Mnemonics: type-safe bytecode generation at run time. PEPM 2010: 15-24 - [c76]Annette Bieniusa, Arie Middelkoop, Peter Thiemann:
Brief announcement: actions in the twilight - concurrent irrevocable transactions and inconsistency repair. PODC 2010: 71-72 - [c75]