Peter Thiemann

Peter Thiemann: Partially static operations. PEPM 2013: 75-76

Phillip Heidegger, Peter Thiemann: JSConTest: Contract-Driven Testing and Path Effect Inference for JavaScript. Journal of Object Technology 11(1): 1-29 (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: 1-10

Markus Degen, Peter Thiemann, Stefan Wehr: The interaction of contracts and laziness. PEPM 2012: 97-106

Phillip Heidegger, Annette Bieniusa, Peter Thiemann: Access permission contracts for scripting languages. POPL 2012: 111-122

Tom Schrijvers, Peter Thiemann (Eds.): 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

Peter Thiemann, Robby Bruce Findler (Eds.): ACM SIGPLAN International Conference on Functional Programming, ICFP'12, Copenhagen, Denmark, September 9-15, 2012. ACM 2012, isbn 978-1-4503-1054-3

Stefan Wehr, Peter Thiemann: On the Decidability of Subtyping with Bounded Existential Types and Implementation Constraints. New Generation Comput. 29(1): 87-124 (2011)

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

Annette Bieniusa, Peter Thiemann: Proving Isolation Properties for Software Transactional Memory. ESOP 2011: 38-56

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

Phillip Heidegger, Peter Thiemann: A Heuristic Approach for Computing Effects. TOOLS (49) 2011: 147-162

Markus Degen, Peter Thiemann, Stefan Wehr: Eager and delayed contract monitoring for call-by-value and call-by-name evaluation. J. Log. Algebr. Program. 79(7): 515-549 (2010)

Johannes Rudolph, Peter Thiemann: Mnemonics: type-safe bytecode generation at run time. Higher-Order and Symbolic Computation 23(3): 371-407 (2010)

Konrad Anton, Peter Thiemann: Towards Deriving Type Systems and Implementations for Coroutines. APLAS 2010: 63-79

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

Phillip Heidegger, Peter Thiemann: Recency Types for Analyzing Scripting Languages. ECOOP 2010: 200-224

Peter Thiemann, Martin Sulzmann: Tag-Free Combinators for Binding-Time Polymorphic Program Generation. FLOPS 2010: 87-102

Johannes Rudolph, Peter Thiemann: Mnemonics: type-safe bytecode generation at run time. PEPM 2010: 15-24

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

Simon Holm Jensen, Anders Møller, Peter Thiemann: Interprocedural Analysis with Lazy Propagation. SAS 2010: 320-339

Konrad Anton, Peter Thiemann: Typing Coroutines. Trends in Functional Programming 2010: 16-30

Phillip Heidegger, Annette Bieniusa, Peter Thiemann: DOM Transactions for Testing JavaScript. TAIC PART 2010: 211-214

Phillip Heidegger, Peter Thiemann: Contract-Driven Testing of JavaScript Code. TOOLS (48) 2010: 154-172

Stefan Wehr, Peter Thiemann: On the Decidability of Subtyping with Bounded Existential Types. APLAS 2009: 111-127

Annette Bieniusa, Peter Thiemann: How to CPS Transform a Monad. CC 2009: 266-280

Markus Degen, Peter Thiemann, Stefan Wehr: True Lies: Lazy Contracts for Lazy Languages. GI Jahrestagung 2009: 2946-2959

Stefan Wehr, Peter Thiemann: JavaGI in the battlefield: practical experience with generalized interfaces. GPCE 2009: 65-74

Simon Holm Jensen, Anders Møller, Peter Thiemann: Type Analysis for JavaScript. SAS 2009: 238-255

Peter Thiemann, Henrik Nilsson: Special Issue Dedicated to ICFP 2008 Editorial. J. Funct. Program. 20(5-6): 415-416 (2008)

Olivier Danvy, R. Kent Dybvig, Julia L. Lawall, Peter Thiemann: Editorial. Higher-Order and Symbolic Computation 21(3): 237-238 (2008)

Peter Thiemann, Stefan Wehr: Interface Types for Haskell. APLAS 2008: 256-272

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

Matthias Neubauer, Peter Thiemann: Placement Inference for a Client-Server Calculus. ICALP (2) 2008: 75-86

Peter Thiemann, Matthias Neubauer: Macros for context-free grammars. PPDP 2008: 120-130

James Hook, Peter Thiemann (Eds.): Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008. ACM 2008, isbn 978-1-59593-919-7

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

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

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

Stefan Wehr, Ralf Lämmel, Peter Thiemann: JavaGI : Generalized Interfaces for Java. ECOOP 2007: 347-372

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

Richard Hull, Peter Thiemann, Philip Wadler (Eds.): Programming Paradigms for the Web: Web Programming and Web Services, 28.01. - 02.02.2007. Dagstuhl Seminar Proceedings 07051, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007

Olivier Danvy, Oege de Moor, Julian A. Padget, Peter Thiemann: Editorial. Higher-Order and Symbolic Computation 19(1): 5 (2006)

Peter Thiemann, Stefan Wehr: Waitomo, eine interface-orientierte Programmiersprache. Softwaretechnik-Trends 26(2) (2006)

Kathrin Lehmann, Peter Thiemann: Field Access Analysis for Enforcing Access Control Policies. ETRICS 2006: 337-351

Peter Thiemann: WASH Server Pages. FLOPS 2006: 277-293

Peter Thiemann: User-level transactional programming in Haskell. Haskell 2006: 84-95

Dirk Draheim, Peter Thiemann, Gerald Weber: A Spreadsheet Client for Web Applications. NGITS 2006: 274-286

Claudius Heitz, Peter Thiemann, Thomas Wölfle: Integration of an Action Language Via UML Action Semantics. TEAA 2006: 172-186

Peter Thiemann: An embedded domain-specific language for type-safe server-side web scripting. ACM Trans. Internet Techn. 5(1): 1-46 (2005)

Peter Thiemann: A Type Safe DOM API. DBPL 2005: 169-183

Peter Thiemann: Towards a Type System for Analyzing JavaScript Programs. ESOP 2005: 408-422

Matthias Neubauer, Peter Thiemann: From sequential programs to multi-tier applications by program transformation. POPL 2005: 221-232

Peter Thiemann: Grammar-based analysis of string expressions. TLDI 2005: 59-70

Peter Thiemann, Matthias Neubauer: Parameterized LR Parsing. Electr. Notes Theor. Comput. Sci. 110: 115-132 (2004)

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

Wei-Ngan Chin, Olivier Danvy, Peter Thiemann: Editorial: Theme Issue on Partial Evaluation and Semantics-Based Program Manipulation. Higher-Order and Symbolic Computation 17(1-2): 5-6 (2004)

Simon Helsen, Peter Thiemann: Polymorphic specialization for ML. ACM Trans. Program. Lang. Syst. 26(4): 652-701 (2004)

Peter Thiemann: Server-Side Web Programming in WASH. Advanced Functional Programming 2004: 309-330

Matthias Neubauer, Peter Thiemann: Protocol Specialization. APLAS 2004: 246-261

Peter Thiemann: Static Analysis of the Frequency of Change. GI Jahrestagung (2) 2004: 428-437

Matthias Neubauer, Peter Thiemann: Haskell type browser. Haskell 2004: 92-93

Matthias Neubauer, Peter Thiemann: An Implementation of Session Types. PADL 2004: 56-70

Peter Thiemann: Program specialization for execution monitoring. J. Funct. Program. 13(3): 573-600 (2003)

Matthias Neubauer, Peter Thiemann: Discriminative sum types locate the source of type errors. SIGPLAN Notices 38(9): 15-26 (2003)

Philip Wadler, Peter Thiemann: The marriage of effects and monads. ACM Trans. Comput. Log. 4(1): 1-32 (2003)

Peter Thiemann: XML templates and caching in WASH. Haskell 2003: 19-26

Matthias Neubauer, Peter Thiemann: Discriminative sum types locate the source of type errors. ICFP 2003: 15-26

Peter Thiemann: Continuation-Based Partial Evaluation without Continuations. SAS 2003: 366-382

Gilles Barthe, Peter Thiemann: Preface. Electr. Notes Theor. Comput. Sci. 75: 114-115 (2002)

Peter Thiemann: Programmable Type Systems for Domain Specific Languages. Electr. Notes Theor. Comput. Sci. 76: 233-251 (2002)

Cristiano Calcagno, Simon Helsen, Peter Thiemann: Syntactic Type Soundness Results for the Region Calculus. Inf. Comput. 173(2): 199-221 (2002)

Peter Thiemann: A typed representation for HTML and XML documents in Haskell. J. Funct. Program. 12(4&5): 435-468 (2002)

Peter Thiemann: A Prototype Dependency Calculus. ESOP 2002: 228-242

Matthias Neubauer, Peter Thiemann: Type classes with more higher-order polymorphism. ICFP 2002: 179-190

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

Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber: Functional logic overloading. POPL 2002: 233-244

Peter Thiemann (Ed.): Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '02), Portland, Oregon, USA, January 14-15, 2002. ACM 2002, isbn 1-58113-455-X

Peter Thiemann: Enforcing Safety Properties Using Type Specialization. ESOP 2001: 62-76

Simon Helsen, Peter Thiemann: Syntactic Type Soundness for the Region Calculus. Electr. Notes Theor. Comput. Sci. 41(3): 1-19 (2000)

Michael Sperber, Peter Thiemann: Generation of LR parsers by partial evaluation. ACM Trans. Program. Lang. Syst. 22(2): 224-264 (2000)

Peter Thiemann: Compiling Adaptive Programs by Partial Evaluation. CC 2000: 264-278

Peter Thiemann: An Algebraic Foundation for Adaptive Programming. FoSSaCS 2000: 314-328

Peter Thiemann: Modeling HTML in Haskell. PADL 2000: 263-277

Simon Helsen, Peter Thiemann: Fragmental Specialization. SAIG 2000: 51-71

Peter Thiemann: Combinators for Program Generation. J. Funct. Program. 9(5): 483-525 (1999)

Peter Thiemann: Higher-Order Code Splicing. ESOP 1999: 243-257

Peter Thiemann: Interpreting Specialization in Type Theory. PEPM 1999: 30-43

John Hatcliff, Torben Æ. Mogensen, Peter Thiemann (Eds.): Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998. Lecture Notes in Computer Science 1706, Springer 1999, isbn 3-540-66710-5

Olivier Danvy, Robert Glück, Peter Thiemann: 1998 Symposium on Partial Evaluation. ACM Comput. Surv. 30(3): 285-290 (1998)

Simon Helsen, Peter Thiemann: Two Flavors of Offline Partial Evaluation. ASIAN 1998: 188-205

Peter Thiemann: A Generic Framework for Specialization (Abridged Version). ESOP 1998: 267-281

Peter Thiemann: Aspects of the PGG System: Specialization for Standard Scheme. Partial Evaluation 1998: 412-432

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

Peter Thiemann: Formalizing Resourve Allocation in a Compiler. Types in Compilation 1998: 178-193

Peter Thiemann: Correctness of a region-based binding-time analysis. Electr. Notes Theor. Comput. Sci. 6: 365-390 (1997)

Gilles Barthe, John Hatcliff, Peter Thiemann: Monadic Type Systems: Pure Type Systems for Impure Settings. Electr. Notes Theor. Comput. Sci. 10: 54-120 (1997)

Peter Thiemann: Drawing Syntax Diagrams in Haskell. Softw., Pract. Exper. 27(8): 967-982 (1997)

Michael Sperber, Peter Thiemann, Herbert Klaeren: Distributed partial evaluation. PASCO 1997: 80-87

Peter Thiemann, Michael Sperber: Program Generation with Class. GI Jahrestagung 1997: 582-591

Dirk Dussart, John Hughes, Peter Thiemann: Type Specialization for Imperative Languages. ICFP 1997: 204-216

Michael Sperber, Peter Thiemann: Two for the Price of One: Composing Partial Evaluation and Compilation. PLDI 1997: 215-225

Julia L. Lawall, Peter Thiemann: Sound Specialization in the Presence of Computational Effects. TACS 1997: 165-190

Peter Thiemann: A Unified Framework for Binding-Time Analysis. TAPSOFT 1997: 742-756

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

Peter Thiemann, Michael Sperber: Polyvariant Expansion and Compiler Generators. Ershov Memorial Conference 1996: 285-296

Peter Thiemann: Cogen in Six Lines. ICFP 1996: 180-189

Michael Sperber, Peter Thiemann: Realistic Compilation by Partial Evaluation. PLDI 1996: 206-214

Peter Thiemann: Implementing Memoization for Partial Evaluation. PLILP 1996: 198-212

Michael Sperber, Robert Glück, Peter Thiemann: Bootstrapping higher-order program transformers from interpreters. SAC 1996: 408-413

Olivier Danvy, Robert Glück, Peter Thiemann (Eds.): Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 12-16, 1996, Selected Papers. Lecture Notes in Computer Science 1110, Springer 1996, isbn 3-540-61580-6

Peter Thiemann: Unboxed Values and Polymorphic Typing Revisited. FPCA 1995: 24-35

Michael Sperber, Peter Thiemann: The Essence of LR Parsing. PEPM 1995: 146-155

Peter Thiemann: Grundlagen der funktionalen Programmierung. Leitfäden der Informatik, Teubner 1994, isbn 978-3-519-02137-7, pp. 1-348

Peter Thiemann: Higher-Order Redundancy Elimination. PEPM 1994: 73-83

Peter Thiemann: Optimizing Structural Recursion in Functional Programs. Comput. Lang. 19(2): 91-103 (1993)

Peter Thiemann: An Overview of the SODA System. AMAST 1993: 185-192

Peter Thiemann: A Safety Analysis for Functional Programs. PEPM 1993: 133-144

Peter Thiemann: Avoiding Repeated Tests in Pattern Matching. WSA 1993: 141-152

Peter Thiemann: Optimizing structural recursion in functional programs. ICCL 1992: 76-85

Peter Thiemann: LaToKi: A Language Toolkit for Bottom-Up Evaluation of Functional Programs. PLILP 1992: 481-482

Herbert Klaeren, Peter Thiemann: A Clean Modula-2 Interface to Abstract Data Types. Structured Programming 11(2): 69-78 (1990)