Peter Thiemann

Registered user since Fri 10 Apr 2015

Name: Peter Thiemann

Affiliation: University of Freiburg, Germany

Contributions

ETAPS 2019	Committee Member in Steering Committee
‹Programming› 2019	Committee Member in Steering Committee
POPL 2019	Committee Member in Steering Committee
GPCE 2018	Author of Regenerate: Generation of test cases for regular expression engines 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
‹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 member 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