Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Peter Thiemann
2010 – today
- 2013
[c86]- [c85]
- [i2]Matthias Keil, Peter Thiemann: Type-based Dependency Analysis for JavaScript. CoRR abs/1305.6721 (2013)
- [i1]
- 2012
- [j30]Phillip Heidegger, Peter Thiemann: JSConTest: Contract-Driven Testing and Path Effect Inference for JavaScript. Journal of Object Technology 11(1): 1-29 (2012)
- [c84]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
- [c83]Markus Degen, Peter Thiemann, Stefan Wehr: The interaction of contracts and laziness. PEPM 2012: 97-106
- [c82]Phillip Heidegger, Annette Bieniusa, Peter Thiemann: Access permission contracts for scripting languages. POPL 2012: 111-122
- [c81]Luminous Fennell, Peter Thiemann: The Blame Theorem for a Linear Lambda Calculus with Type Dynamic. Trends in Functional Programming 2012: 37-52
- [e7]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
- [e6]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
- 2011
- [j29]Stefan Wehr, Peter Thiemann: On the Decidability of Subtyping with Bounded Existential Types and Implementation Constraints. New Generation Comput. 29(1): 87-124 (2011)
- [j28]Stefan Wehr, Peter Thiemann: JavaGI: The Interaction of Type Classes with Interfaces and Inheritance. ACM Trans. Program. Lang. Syst. 33(4): 12 (2011)
- [c80]Annette Bieniusa, Peter Thiemann: Proving Isolation Properties for Software Transactional Memory. ESOP 2011: 38-56
- [c79]Faisal Aslam, Luminous Fennell, Christian Schindelhauer, Peter Thiemann, Zartash Afzal Uzmi: Offline GC: trashing reachable objects on tiny devices. SenSys 2011: 302-315
- [c78]Phillip Heidegger, Peter Thiemann: A Heuristic Approach for Computing Effects. TOOLS (49) 2011: 147-162
- 2010
- [j27]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)
- [j26]Johannes Rudolph, Peter Thiemann: Mnemonics: type-safe bytecode generation at run time. Higher-Order and Symbolic Computation 23(3): 371-407 (2010)
- [c77]Konrad Anton, Peter Thiemann: Towards Deriving Type Systems and Implementations for Coroutines. APLAS 2010: 63-79
- [c76]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
- [c75]Phillip Heidegger, Peter Thiemann: Recency Types for Analyzing Scripting Languages. ECOOP 2010: 200-224
- [c74]Peter Thiemann, Martin Sulzmann: Tag-Free Combinators for Binding-Time Polymorphic Program Generation. FLOPS 2010: 87-102
- [c73]Johannes Rudolph, Peter Thiemann: Mnemonics: type-safe bytecode generation at run time. PEPM 2010: 15-24
- [c72]Annette Bieniusa, Arie Middelkoop, Peter Thiemann: Brief announcement: actions in the twilight - concurrent irrevocable transactions and inconsistency repair. PODC 2010: 71-72
- [c71]Simon Holm Jensen, Anders Møller, Peter Thiemann: Interprocedural Analysis with Lazy Propagation. SAS 2010: 320-339
- [c70]
- [c69]Phillip Heidegger, Annette Bieniusa, Peter Thiemann: DOM Transactions for Testing JavaScript. TAIC PART 2010: 211-214
- [c68]Phillip Heidegger, Peter Thiemann: Contract-Driven Testing of JavaScript Code. TOOLS (48) 2010: 154-172
2000 – 2009
- 2009
- [c67]Stefan Wehr, Peter Thiemann: On the Decidability of Subtyping with Bounded Existential Types. APLAS 2009: 111-127
- [c66]
- [c65]Markus Degen, Peter Thiemann, Stefan Wehr: True Lies: Lazy Contracts for Lazy Languages. GI Jahrestagung 2009: 2946-2959
- [c64]Stefan Wehr, Peter Thiemann: JavaGI in the battlefield: practical experience with generalized interfaces. GPCE 2009: 65-74
- [c63]
- 2008
- [j25]Peter Thiemann, Henrik Nilsson: Special Issue Dedicated to ICFP 2008 Editorial. J. Funct. Program. 20(5-6): 415-416 (2008)
- [j24]Olivier Danvy, R. Kent Dybvig, Julia L. Lawall, Peter Thiemann: Editorial. Higher-Order and Symbolic Computation 21(3): 237-238 (2008)
- [c62]
- [c61]Annette Bieniusa, Peter Thiemann, Stefan Wehr: The Relation of Version Control to Concurrent Programming. CSSE (3) 2008: 461-464
- [c60]Matthias Neubauer, Peter Thiemann: Placement Inference for a Client-Server Calculus. ICALP (2) 2008: 75-86
- [c59]
- [e5]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
- 2007
- [c58]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
- [c57]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
- [c56]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
- [c55]Stefan Wehr, Ralf Lämmel, Peter Thiemann: JavaGI : Generalized Interfaces for Java. ECOOP 2007: 347-372
- [c54]Markus Degen, Peter Thiemann, Stefan Wehr: Tracking Linear and Affine Resources with Java(X). ECOOP 2007: 550-574
- [e4]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
- 2006
- [j23]Olivier Danvy, Oege de Moor, Julian A. Padget, Peter Thiemann: Editorial. Higher-Order and Symbolic Computation 19(1): 5 (2006)
- [j22]Peter Thiemann, Stefan Wehr: Waitomo, eine interface-orientierte Programmiersprache. Softwaretechnik-Trends 26(2) (2006)
- [c53]Kathrin Lehmann, Peter Thiemann: Field Access Analysis for Enforcing Access Control Policies. ETRICS 2006: 337-351
- [c52]
- [c51]
- [c50]Dirk Draheim, Peter Thiemann, Gerald Weber: A Spreadsheet Client for Web Applications. NGITS 2006: 274-286
- [c49]Claudius Heitz, Peter Thiemann, Thomas Wölfle: Integration of an Action Language Via UML Action Semantics. TEAA 2006: 172-186
- 2005
- [j21]Peter Thiemann: An embedded domain-specific language for type-safe server-side web scripting. ACM Trans. Internet Techn. 5(1): 1-46 (2005)
- [c48]
- [c47]
- [c46]Matthias Neubauer, Peter Thiemann: From sequential programs to multi-tier applications by program transformation. POPL 2005: 221-232
- [c45]
- 2004
- [j20]Peter Thiemann, Matthias Neubauer: Parameterized LR Parsing. Electr. Notes Theor. Comput. Sci. 110: 115-132 (2004)
- [j19]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)
- [j18]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)
- [j17]Simon Helsen, Peter Thiemann: Polymorphic specialization for ML. ACM Trans. Program. Lang. Syst. 26(4): 652-701 (2004)
- [c44]
- [c43]
- [c42]
- [c41]
- [c40]
- 2003
- [j16]Peter Thiemann: Program specialization for execution monitoring. J. Funct. Program. 13(3): 573-600 (2003)
- [j15]Matthias Neubauer, Peter Thiemann: Discriminative sum types locate the source of type errors. SIGPLAN Notices 38(9): 15-26 (2003)
- [j14]Philip Wadler, Peter Thiemann: The marriage of effects and monads. ACM Trans. Comput. Log. 4(1): 1-32 (2003)
- [c39]
- [c38]Matthias Neubauer, Peter Thiemann: Discriminative sum types locate the source of type errors. ICFP 2003: 15-26
- [c37]
- 2002
- [j13]
- [j12]Peter Thiemann: Programmable Type Systems for Domain Specific Languages. Electr. Notes Theor. Comput. Sci. 76: 233-251 (2002)
- [j11]Cristiano Calcagno, Simon Helsen, Peter Thiemann: Syntactic Type Soundness Results for the Region Calculus. Inf. Comput. 173(2): 199-221 (2002)
- [j10]Peter Thiemann: A typed representation for HTML and XML documents in Haskell. J. Funct. Program. 12(4&5): 435-468 (2002)
- [c36]
- [c35]Matthias Neubauer, Peter Thiemann: Type classes with more higher-order polymorphism. ICFP 2002: 179-190
- [c34]Peter Thiemann: WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms. PADL 2002: 192-208
- [c33]Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber: Functional logic overloading. POPL 2002: 233-244
- [e3]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
- 2001
- [c32]
- 2000
- [j9]Simon Helsen, Peter Thiemann: Syntactic Type Soundness for the Region Calculus. Electr. Notes Theor. Comput. Sci. 41(3): 1-19 (2000)
- [j8]Michael Sperber, Peter Thiemann: Generation of LR parsers by partial evaluation. ACM Trans. Program. Lang. Syst. 22(2): 224-264 (2000)
- [c31]
- [c30]
- [c29]
- [c28]
1990 – 1999
- 1999
- [j7]
- [c27]
- [c26]
- [e2]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
- 1998
- [j6]Olivier Danvy, Robert Glück, Peter Thiemann: 1998 Symposium on Partial Evaluation. ACM Comput. Surv. 30(3): 285-290 (1998)
- [c25]
- [c24]
- [c23]Peter Thiemann: Aspects of the PGG System: Specialization for Standard Scheme. Partial Evaluation 1998: 412-432
- [c22]Suresh Jagannathan, Peter Thiemann, Stephen Weeks, Andrew K. Wright: Single and Loving It: Must-Alias Analysis for Higher-Order Languages. POPL 1998: 329-341
- [c21]
- 1997
- [j5]Peter Thiemann: Correctness of a region-based binding-time analysis. Electr. Notes Theor. Comput. Sci. 6: 365-390 (1997)
- [j4]Gilles Barthe, John Hatcliff, Peter Thiemann: Monadic Type Systems: Pure Type Systems for Impure Settings. Electr. Notes Theor. Comput. Sci. 10: 54-120 (1997)
- [j3]
- [c20]
- [c19]
- [c18]Dirk Dussart, John Hughes, Peter Thiemann: Type Specialization for Imperative Languages. ICFP 1997: 204-216
- [c17]Michael Sperber, Peter Thiemann: Two for the Price of One: Composing Partial Evaluation and Compilation. PLDI 1997: 215-225
- [c16]Julia L. Lawall, Peter Thiemann: Sound Specialization in the Presence of Computational Effects. TACS 1997: 165-190
- [c15]
- 1996
- [c14]Wei-Ngan Chin, Siau-Cheng Khoo, Peter Thiemann: Synchronization Analyses for Multiple Recursion Parameters (Extended Abstract). Dagstuhl Seminar on Partial Evaluation 1996: 33-53
- [c13]Peter Thiemann, Michael Sperber: Polyvariant Expansion and Compiler Generators. Ershov Memorial Conference 1996: 285-296
- [c12]
- [c11]
- [c10]
- [c9]Michael Sperber, Robert Glück, Peter Thiemann: Bootstrapping higher-order program transformers from interpreters. SAC 1996: 408-413
- [e1]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
- 1995
- [c8]
- [c7]
- 1994
- [b1]Peter Thiemann: Grundlagen der funktionalen Programmierung. Leitfäden der Informatik, Teubner 1994, ISBN 978-3-519-02137-7, pp. 1-348
- [c6]
- 1993
- [j2]Peter Thiemann: Optimizing Structural Recursion in Functional Programs. Comput. Lang. 19(2): 91-103 (1993)
- [c5]
- [c4]
- [c3]
- 1992
- [c2]
- [c1]Peter Thiemann: LaToKi: A Language Toolkit for Bottom-Up Evaluation of Functional Programs. PLILP 1992: 481-482
- 1990
- [j1]Herbert Klaeren, Peter Thiemann: A Clean Modula-2 Interface to Abstract Data Types. Structured Programming 11(2): 69-78 (1990)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 10:58 CEST by the dblp team