Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Peter Thiemann
conf.researchr.org general profile
APLAS 2019 profile
ECOOP 2015 profile
ECOOP 2016 profile
ECOOP 2022 profile
ECOOP and ISSTA 2018 profile
ECOOP and ISSTA 2023 profile
ESOP 2015 profile
ETAPS 2019 profile
ICFP 2016 profile
ICFP 2017 profile
ICFP 2018 profile
ICFP 2020 profile
ICFP 2023 profile
Modularity 2016 profile
PEPM 2015 profile
PLDI 2015 profile
PLDI 2018 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
POPL 2016 profile
POPL 2017 profile
POPL 2018 profile
POPL 2019 profile
POPL 2020 profile
POPL 2022 profile
POPL 2023 profile
SPLASH 2013 profile
SPLASH 2015 profile
SPLASH 2016 profile
SPLASH 2017 profile
SPLASH 2018 profile
SPLASH 2019 profile
SPLASH 2020 profile
SPLASH 2021 profile
SPLASH 2022 profile
SPLASH 2023 profile
‹Programming› 2017 profile
‹Programming› 2018 profile
‹Programming› 2019 profile
‹Programming› 2023 profile
Registered user since Fri 10 Apr 2015
Name:
Peter Thiemann
Affiliation:
University of Freiburg, Germany
Contributions
PADL 2023
Committee Member in Program Committee within the PADL 2023-track
PLMW @ POPL 2023
Presenter of Session Types Meet Polymorphism and Dependent Types within the PLMW @ POPL 2023-track
Invited Speaker in Speakers within the PLMW @ POPL 2023-track
SPLASH 2023
PC Member in OOPSLA Review Committee within the OOPSLA-track
ICFP 2023
Committee Member in Program Committee within the ICFP Research Papers-track
ECOOP 2023
PC Member in Program Committee within the Research Papers-track
‹Programming› 2023
Committee Member in Program Committee within the Research Papers-track
SPLASH 2022
Author of Label dependent lambda calculus and gradual typing within the COVID Time Papers In Person-track
Author of Kindly Bent to Free Us within the COVID Time Papers In Person-track
Session Chair of Effects (part of OOPSLA)
Session Chair of ICFP and SAS (part of COVID Time Papers In Person)
Session Chair of SLE papers (part of COVID Time Papers In Person)
ECOOP 2022
Panelist of Type systems within the Expert Discussion-track
Author of Global Type Inference for Featherweight Generic Java within the Research Papers-track
WGT 2022
Committee Member in Program Committee within the WGT-track
SPLASH 2021
Author of Label Dependent Lambda Calculus and Gradual Typing within the OOPSLA-track
APLAS 2021
Author of A Typed Programmatic Interface to Contracts on the Blockchain within the Research Papers-track
ECOOP 2020
Session Chair of M-1 (part of Research Papers)
Committee Member in Program Committee within the Research Papers-track
Session Chair of M-3 (part of Research Papers)
ICFP 2020
Author of Kindly Bent to Free Us within the ICFP Program-track
POPL 2020
Session Chair of Type Systems (part of Research Papers)
Committee Member in Program Committee within the Research Papers-track
Session Chair of Dynamic Program Analysis (part of Research Papers)
Author of Label-Dependent Session Types within the Research Papers-track
APLAS 2019
Ordinary PC member in Program Committee within the Research Papers-track
Session Chair of Logic and Automata (part of Research Papers)
Author of Label-Dependent Session Types within the APLAS NIER-track
SPLASH 2019
Committee Member in External Review Committee within the OOPSLA-track
ETAPS 2019
Author of ETAPS Steering committee meeting within the Social-track
Committee Member in Steering Committee
‹Programming› 2019
Committee Member in Steering Committee
POPL 2019
Committee Member in Steering Committee
BEAT 2019
Author of Invited Talk: Gradual Session Types — an Ongoing Journey within the BEAT 2019-track
SPLASH 2018
Committee Member in Steering Committee
Mentor in Mentors within the Breakfasts-track
Onward! 2018
Steering Committee Member in Steering Committee
GPCE 2018
Author of Regenerate: A Language Generator for Extended Regular Expressions within the GPCE 2018-track
ECOOP 2018
Committee Member in Program Committee within the ECOOP Research Papers-track
PLDI 2018
Committee Member in Steering Committee
‹Programming› 2018
Committee Member in Steering Committee
ProWeb 2018
Committee Member in Program Committee within the ProWeb 2018-track
POPL 2018
Committee Member in Selection Committee within the Workshops-track
Committee Member in Steering Committee
DLS 2017
Steering Committee Member in Steering Committee within the DLS 2017-track
Onward! 2017
Steering Committee Member in Steering Committee
SPLASH 2017
SIGPLAN Vice Chair in Steering Committee
ICFP 2017
Author of Gradual Session Types within the Research Papers-track
Session Chair of Monday Closing Events (part of Keynotes and Reports)
SIGPLAN Vice Chair in Steering Committee
PLDI 2017
Committee Member in Steering Committee
‹Programming› 2017
Committee Member in Steering Committee
Contributor/Author of Steering Committee Meeting within the Organizational-track
POPL 2017
ERC member in External Review Committee within the POPL-track
Committee Member in Steering Committee
Onward! 2016
Committee Member in Steering Committee
SPLASH 2016
SIGPLAN Vice Chair in Steering Committee
DLS 2016
Steering Committee Member in Steering Committee within the DLS-track
ICFP 2016
SIGPLAN Vice Chair in Steering Committee
Author of Context-Free Session Types within the Research Papers-track
ECOOP 2016
Author of LJGS: Gradual Security Types for Object-Oriented Languages within the Research Track-track
Author of LJGS: Gradual Security Types for Object-Oriented Languages within the Artifacts-track
STOP 2016
Committee Member in Program Committee within the STOP-track
Modularity 2016
Committee Member in Program Committee within the MIP Award 2006-track
Committee Member in Steering Committee
POPL 2016
ERC member in External Reviewing Committee
ERC member in External Reviewing Committee within the Research Papers-track
Onward! 2015
Committee Member in Steering Committee
ECOOP 2015
Author of TreatJS: Higher-Order Contracts for JavaScripts within the Research Track-track
Author of Transparent Object Proxies in JavaScript within the Artifacts-track
Author of Transparent Object Proxies in JavaScript within the Research Track-track
Author of TreatJS: Higher-Order Contracts for JavaScripts within the Artifacts-track
PLDI 2015
Author of Blame and coercion: Together again for the first time within the Research Papers-track
ESOP 2015
Committee Member in Program Committee within the ESOP-track
PEPM 2015
Committee Member in Program Committee within the PEPM 2015-track
DLS 2013
Author of Efficient Dynamic Access Analysis Using JavaScript Proxies within the Research Papers-track
Share
x
Tue 7 Feb 19:13