Peter Thiemann

Registered user since Fri 10 Apr 2015

Name: Peter Thiemann

Affiliation: University of Freiburg, Germany

Contributions

ETAPS 2019Committee Member in Steering Committee
‹Programming› 2019Committee Member in Steering Committee
POPL 2019Committee Member in Steering Committee
GPCE 2018Author of Regenerate: Generation of test cases for regular expression engines within the GPCE 2018-track
Onward! 2018Steering Committee Member in Steering Committee
ProWeb 2018Committee Member in Program Committee within the ProWeb 2018-track
SPLASH 2018Committee Member in Steering Committee
‹Programming› 2018Committee Member in Steering Committee
DLS 2017Steering Committee Member in Steering Committee within the DLS 2017-track
Onward! 2017Steering Committee Member in Steering Committee
PLDI 2018Committee Member in Steering Committee
ICFP 2017Author 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 2018Committee Member in Selection Committee within the Workshops-track
Committee Member in Steering Committee
‹Programming› 2017Committee Member in Steering Committee
member of Steering Committee Meeting within the Organizational-track
STOP 2016Committee Member in Program Committee within the STOP-track
POPL 2017ERC member in External Review Committee within the POPL-track
Committee Member in Steering Committee
ECOOP 2018Committee Member in Program Committee within the ECOOP Research Papers-track
DLS 2016Steering Committee Member in Steering Committee within the DLS-track
SPLASH 2017SIGPLAN Vice Chair in Steering Committee
PLDI 2017Committee Member in Steering Committee
Onward! 2016Committee Member in Steering Committee
ICFP 2016SIGPLAN Vice Chair in Steering Committee
Author of Context-Free Session Types within the Research Papers-track
ECOOP 2016Author 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 2016SIGPLAN Vice Chair in Steering Committee
POPL 2016ERC member in External Reviewing Committee
ERC member in External Reviewing Committee within the Research Papers-track
Onward! 2015Committee Member in Steering Committee
ESOP 2015Committee Member in Program Committee within the ESOP-track
PEPM 2015Committee Member in Program Committee within the PEPM 2015-track
PLDI 2015Author of Blame and coercion: Together again for the first time within the Research Papers-track
ECOOP 2015Author 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 2013Author of Efficient Dynamic Access Analysis Using JavaScript Proxies within the Research Papers-track