Peter Thiemann - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Peter Thiemann' as author, editor, or advisor:

Efficient dynamic access analysis using JavaScript proxiesMatthias Keil, Peter Thiemann. DLS 2013: 49-60 [doi]
User-level transactional programming in HaskellPeter Thiemann. haskell 2006: 84-95 [doi]
ACM SIGPLAN International Conference on Functional Programming, ICFP'12, Copenhagen, Denmark, September 9-15, 2012Peter Thiemann, Robby Bruce Findler, editors, ACM, 2012. [doi]
Introduction to the Special Issue on Dependent Type Theory Meets Practical ProgrammingGilles Barthe, Peter Dybjer, Peter Thiemann. JFP, 14(1):1-2, 2004. [doi]
Tag-Free Combinators for Binding-Time Polymorphic Program GenerationPeter Thiemann, Martin Sulzmann. FLOPS 2010: 87-102 [doi]
Access permission contracts for scripting languagesPhillip Heidegger, Annette Bieniusa, Peter Thiemann. POPL 2012: 111-122 [doi]
Derivatives for Regular Shuffle ExpressionsMartin Sulzmann, Peter Thiemann. LATA 2015: 275-286 [doi]
Discriminative sum types locate the source of type errorsMatthias Neubauer, Peter Thiemann. ICFP 2003: 15-26 [doi]
Grammar-based analysis of string expressionsPeter Thiemann. tldi 2005: 59-70 [doi]
Type Specialization for Imperative LanguagesDirk Dussart, John Hughes, Peter Thiemann. ICFP 1997: 204-216
EditorialOlivier Danvy, R. Kent Dybvig, Julia L. Lawall, Peter Thiemann. lisp, 21(3):237-238, 2008. [doi]
A Safety Analysis for Functional ProgramsPeter Thiemann. PEPM 1993: 133-144
Gradual Typing for Annotated Type SystemsPeter Thiemann, Luminous Fennell. ESOP 2014: 47-66 [doi]
Proving Isolation Properties for Software Transactional MemoryAnnette Bieniusa, Peter Thiemann. ESOP 2011: 38-56 [doi]
Interprocedural Analysis with Lazy PropagationSimon Holm Jensen, Anders Møller, Peter Thiemann. SAS 2010: 320-339 [doi]
Mnemonics: type-safe bytecode generation at run timeJohannes Rudolph, Peter Thiemann. PEPM 2010: 15-24 [doi]
Fragmental SpecializationSimon Helsen, Peter Thiemann. saig 2000: 51-71 [doi]
Gradual session typesAtsushi Igarashi, Peter Thiemann, Yuya Tsuda, Vasco T. Vasconcelos, Philip Wadler. JFP, 29, 2019. [doi]
An Overview of the SODA SystemPeter Thiemann. amast 1994: 185-192
WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional FormsPeter Thiemann. PADL 2002: 192-208 [doi]
Continuation-Based Partial Evaluation without ContinuationsPeter Thiemann. SAS 2003: 366-382 [doi]
A Prototype Dependency CalculusPeter Thiemann. ESOP 2002: 228-242 [doi]
Partial Derivatives for Context-Free Languages - From \mu -Regular Expressions to Pushdown AutomataPeter Thiemann. fossacs 2017: 248-264 [doi]
LaToKi: A Language Toolkit for Bottom-Up Evaluation of Functional ProgramsPeter Thiemann. plilp 1992: 481-482
On the Decidability of Subtyping with Bounded Existential Types and Implementation ConstraintsStefan Wehr, Peter Thiemann. ngc, 29(1):87-124, 2011. [doi]
Discriminative sum types locate the source of type errorsMatthias Neubauer, Peter Thiemann. SIGPLAN, 38(9):15-26, 2003. [doi]
On the Decidability of Subtyping with Bounded Existential TypesStefan Wehr, Peter Thiemann. aplas 2009: 111-127 [doi]
Towards Deriving Type Systems and Implementations for CoroutinesKonrad Anton, Peter Thiemann. aplas 2010: 63-79 [doi]
A Type Safe DOM APIPeter Thiemann. DBPL 2005: 169-183 [doi]
JSConTest: Contract-Driven Testing and Path Effect Inference for JavaScriptPhillip Heidegger, Peter Thiemann. jot, 11(1):1-29, 2012. [doi]
Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 12-16, 1996, Selected PapersOlivier Danvy, Robert Glück, Peter Thiemann, editors, Volume 1110 of Lecture Notes in Computer Science, Springer, Dagstuhl Castle, Germany, February 1996. [doi]
Syntactic Type Soundness for the Region CalculusSimon Helsen, Peter Thiemann. ENTCS, 41(3):1-19, 2000. [doi]
The Blame Theorem for a Linear Lambda Calculus with Type DynamicLuminous Fennell, Peter Thiemann. sfp 2013: 37-52 [doi]
Transparent object proxies for javascriptMatthias Keil 0002, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, Peter Thiemann. se 2016: 23-24 [doi]
Regenerate: a language generator for extended regular expressionsGabriel Radanne, Peter Thiemann. GPCE 2018: 202-214 [doi]
Two Flavors of Offline Partial EvaluationSimon Helsen, Peter Thiemann. asian 1998: 188-205 [doi]
XML templates and caching in WASHPeter Thiemann. haskell 2003: 19-26 [doi]
Interleaving sessions with predicatesPeter Thiemann. SAC 2017: 1312-1318 [doi]
Tracking Linear and Affine Resources with Java(X)Markus Degen, Peter Thiemann, Stefan Wehr. ECOOP 2007: 550-574 [doi]
LTL Semantic Tableaux and Alternating \omega ω -automata via Linear FactorsMartin Sulzmann, Peter Thiemann. ictac 2018: 11-34 [doi]
Transparent Object Proxies for JavaScript (Artifact)Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, Peter Thiemann. darts, 1(1), 2015. [doi]
Combining behavioural types with security analysisMassimo 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. jlp, 84(6):763-780, 2015. [doi]
Software Contracts for Communication, Monitoring, and Security (NII Shonan Meeting 2014-6)Atsushi Igarashi, Peter Thiemann, Philip Wadler. shonan-reports, 2014, 2014. [doi]
Gradual Security Typing with ReferencesLuminous Fennell, Peter Thiemann. csfw 2013: 224-239 [doi]
A Type Theoretic Specification of Partial EvaluationKenichi Asai, Luminous Fennell, Peter Thiemann, Yang Zhang. ppdp 2014: 57-68 [doi]
Konzepte zur effizienten Implementierung strukturell rekursiver ProgrammePeter Thiemann. PhD thesis, University of Tübingen, Germany, 1991. [doi]
A Computational Interpretation of Context-Free ExpressionsMartin Sulzmann, Peter Thiemann. aplas 2017: 387-405 [doi]
07051 Abstracts Collection -- Programming Paradigms for the Web: Web Programming and Web ServicesRichard Hull, Peter Thiemann, Philip Wadler. Dagstuhl 2007: [doi]
The interaction of contracts and lazinessMarkus Degen, Peter Thiemann, Stefan Wehr. PEPM 2012: 97-106 [doi]
A Heuristic Approach for Computing EffectsPhillip Heidegger, Peter Thiemann. TOOLS 2011: 147-162 [doi]
Circularity and Lambda Abstraction: From Bird to Pettorossi and backOlivier Danvy, Peter Thiemann, Ian Zerny. IFL 2013: 85 [doi]
Side effect monitoring for Java using bytecode rewritingManuel Geffken, Peter Thiemann. PPPJ 2014: 87-98 [doi]
Polymorphic specialization for MLSimon Helsen, Peter Thiemann. TOPLAS, 26(4):652-701, 2004. [doi]
Offline GC: trashing reachable objects on tiny devicesFaisal Aslam, Luminous Fennell, Christian Schindelhauer, Peter Thiemann, Zartash Afzal Uzmi. sensys 2011: 302-315 [doi]
From \omega -Regular Expressions to Büchi Automata via Partial DerivativesPeter Thiemann, Martin Sulzmann. LATA 2015: 287-298 [doi]
Higher-Order Code SplicingPeter Thiemann. ESOP 1999: 243-257 [doi]
Higher-Order Redundancy EliminationPeter Thiemann. PEPM 1994: 73-83
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018, Frankfurt am Main, Germany, September 03-05, 2018David Sabel, Peter Thiemann, editors, ACM, 2018. [doi]
Forkable Regular ExpressionsMartin Sulzmann, Peter Thiemann. LATA 2016: 194-206 [doi]
Blame assignment for higher-order contracts with intersection and unionMatthias Keil, Peter Thiemann. ICFP 2015: 375-386 [doi]
How to CPS Transform a MonadAnnette Bieniusa, Peter Thiemann. CC 2009: 266-280 [doi]
Optimizing structural recursion in functional programsPeter Thiemann. iccl 1992: 76-85 [doi]
Haskell type browserMatthias Neubauer, Peter Thiemann. haskell 2004: 92-93 [doi]
Transparent Object Proxies in JavaScriptMatthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, Peter Thiemann. ECOOP 2015: 149-173 [doi]
Dynamic Flow Analysis for JavaScriptNico Naus, Peter Thiemann. sfp 2019: 75-93 [doi]
A Falsification View of Success TypingRobert Jakob, Peter Thiemann. NFM 2015: 234-247 [doi]
Programmable Type Systems for Domain Specific LanguagesPeter Thiemann. ENTCS, 76:233-251, 2002. [doi]
Gradual Typing for Annotated Type SystemsLuminous Fennell, Peter Thiemann. se 2015: 45-46
Contract-Driven Testing of JavaScript CodePhillip Heidegger, Peter Thiemann. TOOLS 2010: 154-172 [doi]
Precise Interprocedural Side-Effect AnalysisManuel Geffken, Hannes Saffrich, Peter Thiemann. ictac 2014: 188-205 [doi]
Implementing Memoization for Partial EvaluationPeter Thiemann. plilp 1996: 198-212
Aspects of the PGG System: Specialization for Standard SchemePeter Thiemann. PEPM 1999: 412-432
Waitomo, eine interface-orientierte ProgrammiersprachePeter Thiemann, Stefan Wehr. stt, 26(2), 2006. [doi]
Simulation of PMSM in maxwell 3D/simplorer to optimize direct flux controlTobias Mueller, Chan See, Arfan Ghani, Peter Thiemann. visalg 2017: 368-373 [doi]
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, ProceedingsPeter Thiemann, editor, Volume 9632 of Lecture Notes in Computer Science, Springer, 2016. [doi]
Session Types with Gradual TypingPeter Thiemann. tgc 2014: 144-158 [doi]
Optimized Java Binary and Virtual Machine for Tiny MotesFaisal Aslam, Luminous Fennell, Christian Schindelhauer, Peter Thiemann, Gidon Ernst, Elmar Haussmann, Stefan Rührup, Zartash Afzal Uzmi. dcoss 2010: 15-30 [doi]
Derivatives and partial derivatives for regular shuffle expressionsMartin Sulzmann, Peter Thiemann. jcss, 104:323-341, 2019. [doi]
Syntactic Type Soundness Results for the Region CalculusCristiano Calcagno, Simon Helsen, Peter Thiemann. iandc, 173(2):199-221, 2002. [doi]
Brief announcement: actions in the twilight - concurrent irrevocable transactions and inconsistency repairAnnette Bieniusa, Arie Middelkoop, Peter Thiemann. podc 2010: 71-72 [doi]
Field Access Analysis for Enforcing Access Control PoliciesKathrin Lehmann, Peter Thiemann. etrics 2006: 337-351 [doi]
Mnemonics: type-safe bytecode generation at run timeJohannes Rudolph, Peter Thiemann. lisp, 23(3):371-407, 2010. [doi]
WASH Server PagesPeter Thiemann. FLOPS 2006: 277-293 [doi]
JavaGI: The Interaction of Type Classes with Interfaces and InheritanceStefan Wehr, Peter Thiemann. TOPLAS, 33(4):12, 2011. [doi]
TreatJS: Higher-Order Contracts for JavaScriptsMatthias Keil, Peter Thiemann. ECOOP 2015: 28-51 [doi]
Partially static operationsPeter Thiemann. PEPM 2013: 75-76 [doi]
Sound Specialization in the Presence of Computational EffectsJulia L. Lawall, Peter Thiemann. tacs 1997: 165-190
Derivatives for Enhanced Regular ExpressionsPeter Thiemann. wia 2016: 285-297 [doi]
Scripting Languages and Frameworks: Analysis and Verification (Dagstuhl Seminar 14271)Fritz Henglein, Ranjit Jhala, Shriram Krishnamurthi, Peter Thiemann. dagstuhl-reports, 4(6):84-107, 2014. [doi]
Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '02), Portland, Oregon, USA, January 14-15, 2002Peter Thiemann, editor, ACM, 2002. [doi]
JavaGI : Generalized Interfaces for JavaStefan Wehr, Ralf Lämmel, Peter Thiemann. ECOOP 2007: 347-372 [doi]
Gradual session typesAtsushi Igarashi, Peter Thiemann, Vasco T. Vasconcelos, Philip Wadler. PACMPL, 1(ICFP), 2017. [doi]
Interpreting Specialization in Type TheoryPeter Thiemann. PEPM 1999: 30-43
Symbolic Solving of Extended Regular Expression InequalitiesMatthias Keil, Peter Thiemann. fsttcs 2014: 175-186 [doi]
Type-based dependency analysis for javascriptMatthias Keil, Peter Thiemann. PLDI 2013: 47-58 [doi]
Special Issue Dedicated to ICFP 2008 EditorialPeter Thiemann, Henrik Nilsson. JFP, 20(5-6):415-416, 2008. [doi]
Eager and delayed contract monitoring for call-by-value and call-by-name evaluationMarkus Degen, Peter Thiemann, Stefan Wehr. jlp, 79(7):515-549, 2010. [doi]
Towards Specializing JavaScript ProgramsPeter Thiemann. ershov 2015: 320-334 [doi]
Static Trace-Based Deadlock Analysis for Synchronous Mini-GoKai Stadtmüller, Martin Sulzmann, Peter Thiemann. aplas 2016: 116-136 [doi]
Label-dependent session typesPeter Thiemann, Vasco T. Vasconcelos. PACMPL, 4(POPL), 2020. [doi]
Recency Types for Analyzing Scripting LanguagesPhillip Heidegger, Peter Thiemann. ECOOP 2010: 200-224 [doi]
True Lies: Lazy Contracts for Lazy LanguagesMarkus Degen, Peter Thiemann, Stefan Wehr. gi 2009: 2946-2959
Blame and coercion: together again for the first timeJeremy G. Siek, Peter Thiemann, Philip Wadler. PLDI 2015: 425-435 [doi]
DOM Transactions for Testing JavaScriptPhillip Heidegger, Annette Bieniusa, Peter Thiemann. taicpart 2010: 211-214 [doi]
Typing CoroutinesKonrad Anton, Peter Thiemann. sfp 2011: 16-30 [doi]
Type Analysis for JavaScriptSimon Holm Jensen, Anders MÃ¸ller, Peter Thiemann. SAS 2009: 238-255 [doi]
LJGS: Gradual Security Types for Object-Oriented Languages (Artifact)Luminous Fennell, Peter Thiemann. darts, 2(1), 2016. [doi]
Synchronization Analyses for Multiple Recursion Parameters (Extended Abstract)Wei-Ngan Chin, Siau-Cheng Khoo, Peter Thiemann. Dagstuhl 1996: 33-53
Type classes with more higher-order polymorphismMatthias Neubauer, Peter Thiemann. ICFP 2002: 179-190 [doi]
The interaction of contracts and lazinessMarkus Degen, Peter Thiemann, Stefan Wehr. lisp, 25(1):85-125, 2012. [doi]
Context-free session typesPeter Thiemann, Vasco T. Vasconcelos. ICFP 2016: 462-475 [doi]
Server-Side Web Programming in WASHPeter Thiemann. afp 2005: 309-330 [doi]
A Clean Modula-2 Interface to Abstract Data TypesHerbert Klaeren, Peter Thiemann. stp, 11(2):69-78, 1990.
Htdp and dmda in the battlefield: a case study in first-year programming instructionAnnette Bieniusa, Markus Degen, Phillip Heidegger, Peter Thiemann, Stefan Wehr, Martin Gasbichler, Michael Sperber, Marcus Crestani, Herbert Klaeren, Eric Knauel. ICFP 2008: 1-12 [doi]
LJGS: Gradual Security Types for Object-Oriented LanguagesLuminous Fennell, Peter Thiemann. ECOOP 2016: [doi]
Monadic Type Systems: Pure Type Systems for Impure SettingsGilles Barthe, John Hatcliff, Peter Thiemann. ENTCS, 10:54-120, 1997. [doi]
Mnemonics: Type-safe Bytecode Generation at Run TimeJohannes Rudolph, Peter Thiemann. PEPM 2010:
Agda Meets AcceleratePeter Thiemann, Manuel M. T. Chakravarty. IFL 2013: 174-189 [doi]
The Relation of Version Control to Concurrent ProgrammingAnnette Bieniusa, Peter Thiemann, Stefan Wehr. csse 2008: 461-464 [doi]
Grundlagen der funktionalen ProgrammierungPeter Thiemann. Leitfäden der Informatik, Teubner, 1994.
Distributed partial evaluationMichael Sperber, Peter Thiemann, Herbert Klaeren. cap 1997: 80-87 [doi]
TreatJS: Higher-Order Contracts for JavaScript (Artifact)Matthias Keil, Peter Thiemann. darts, 1(1), 2015. [doi]
Static Analysis of the Frequency of ChangePeter Thiemann. gi 2004: 428-437
Two for the Price of One: Composing Partial Evaluation and CompilationMichael Sperber, Peter Thiemann. PLDI 1997: 215-225
Functional and Logic Programming - 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. ProceedingsTom Schrijvers, Peter Thiemann, editors, Volume 7294 of Lecture Notes in Computer Science, Springer, 2012. [doi]
Intrinsically-Typed Mechanized Semantics for Session TypesPeter Thiemann. ppdp 2019: [doi]
JavaGI in the battlefield: practical experience with generalized interfacesStefan Wehr, Peter Thiemann. GPCE 2009: 65-74 [doi]
A Delta for Hybrid Type CheckingPeter Thiemann. BIRTHDAY 2016: 411-432 [doi]
Rethinking Java call stack design for tiny embedded devicesFaisal Aslam, Ghufran Baig, Mubashir Adnan Qureshi, Zartash Afzal Uzmi, Luminous Fennell, Peter Thiemann, Christian Schindelhauer, Elmar Haussmann. lctrts 2012: 1-10 [doi]

All Publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

External Links

Profile Name

Statistics

Aliases

Researchr

Peter Thiemann's Profile

Unidentified Publications