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

ISSTA 2019Committee Member in Program Committee within the Technical Papers-track
FTfJP 2018Committee Member in Steering Committee within the FTfJP-track
ESEC/FSE 2018Committee Member in Program Committee within the Research Papers-track
PLDI 2018Author of Static Serializability Analysis for Causal Consistency within the PLDI Research Papers-track
POPL 2018Committee Member in Program Committee within the Research Papers-track
SOAPCommittee Member in Program Committee within the SOAP-track
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 within the POPL-track
SPLASH 2017Committee Member in External Program Committee within the OOPSLA-track
ECOOP 2017Program Chair in Organizing Committee
Program Chair in Program Committee within the ECOOP Research Papers-track
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 within the Research Track-track
POPL 2016ERC member in External Reviewing Committee
ERC member in External Reviewing Committee within the Research Papers-track
FTfJP 2015Committee Member in Steering Committee within the FTfJP-track
ESOP 2015Committee Member in Program Committee within the ESOP-track
SPLASH 2015Committee Member in Program Committee within the OOPSLA-track
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 within the Research Track-track
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 2012Author of Selective Ownership: Combining Object and Type Hierarchies for Flexible Sharing within the FOOL 2012-track
Committee Member in Program Committee within the FOOL 2012-track
SPLASH 2012Committee Member in External Reviewers within the OOPSLA Research Papers-track