Peter Thiemann

Registered user since Fri 10 Apr 2015

Name:Peter Thiemann
Affiliation:University of Freiburg, Germany

Contributions

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
BEAT 2019 Author of Invited Talk: Gradual Session Types — an Ongoing Journey within the BEAT 2019-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
GPCE 2018 Author of Regenerate: A Language Generator for Extended Regular Expressions within the GPCE 2018-track
Onward! 2018 Steering Committee Member in Steering Committee
ProWeb 2018 Committee Member in Program Committee within the ProWeb 2018-track
SPLASH 2018 Committee Member in Steering Committee
Mentor in Mentors within the Breakfasts-track
‹Programming› 2018 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
PLDI 2018 Committee Member 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
POPL 2018 Committee Member in Selection Committee within the Workshops-track
Committee Member in Steering Committee
‹Programming› 2017 Committee Member in Steering Committee
Contributor/Author of Steering Committee Meeting within the Organizational-track
STOP 2016 Committee Member in Program Committee within the STOP-track
POPL 2017 ERC member in External Review Committee within the POPL-track
Committee Member in Steering Committee
ECOOP 2018 Committee Member in Program Committee within the ECOOP Research Papers-track
DLS 2016 Steering Committee Member in Steering Committee within the DLS-track
SPLASH 2017 SIGPLAN Vice Chair in Steering Committee
PLDI 2017 Committee Member in Steering Committee
Onward! 2016 Committee Member in Steering Committee
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
Modularity 2016 Committee Member in Program Committee within the MIP Award 2006-track
Committee Member in Steering Committee
SPLASH 2016 SIGPLAN Vice Chair 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
ESOP 2015 Committee Member in Program Committee within the ESOP-track
PEPM 2015 Committee Member in Program Committee within the PEPM 2015-track
PLDI 2015 Author of Blame and coercion: Together again for the first time within the Research Papers-track
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
DLS 2013 Author of Efficient Dynamic Access Analysis Using JavaScript Proxies within the Research Papers-track