Peter Müller

Registered user since Wed 18 Jun 2014

Name: Peter Müller

Country: Switzerland

Affiliation: ETH Zurich

Personal website: http://www.pm.inf.ethz.ch

Contributions

FTfJP 2018Committee Member in Steering Committee
ESEC/FSE 2018Committee Member in Program Committee
PLDI 2018Author of Static Serializability Analysis for Causal Consistency within the PLDI Research Papers-track
POPL 2018Committee Member in Program Committee
SOAPCommittee Member in Program Committee
PXAuthor of Envision – Turning the IDE into a Visual Information System. within the PX-track
POPL 2017Author of Serializability for Eventual Consistency: Criterion, Analysis and Applications within the POPL-track
ERC member in External Review Committee
SPLASH 2017Committee Member in External Program Committee
ECOOP 2017Program Chair in Organizing Committee
Program Chair in Program Committee
Session Chair of Security (part of ECOOP Research Papers)
Session Chair of Keynote (part of ECOOP Invited Speakers)
PADLAuthor of Viper - A Verification Infrastructure for Permission-based Reasoning within the PADL-track
VMCAICommittee Member in Program Committee
Author of Viper - A Verification Infrastructure for Permission-based Reasoning within the VMCAI-track
Session Chair of Abstract Interpretation (part of VMCAI)
ECOOP 2016Committee Member in Program Committee
POPL 2016ERC member in External Reviewing Committee
ERC member in External Reviewing Committee
FTfJP 2015Committee Member in Steering Committee
ESOP 2015Committee Member in Program Committee
SPLASH 2015Committee Member in Program Committee
ECOOP 2015Author of Modular Verification of Finite Blocking in Non-terminating Programs within the Research Track-track
Session Chair of Type Systems (part of Research Track)
Committee Member in Programme Committee
SPLASH 2014Presenter of Static Analysis for Independent App Developers within the OOPSLA Artifacts-track
Author of Static Analysis for Independent App Developers within the OOPSLA-track
FOOL 2012
SPLASH 2012