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

POPL 2024	Committee Member in Program Committee within the POPL-track
SPLASH 2023	Author of Verification-Preserving Inlining in Automatic Separation Logic Verifiers within the OOPSLA-track
PLDI 2023	Author of Leveraging Rust Types for Program Synthesis within the PLDI Research Papers-track Author of CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity within the PLDI Research Papers-track
SPLASH 2022	Author of Fractional Resources in Unbounded Separation Logic within the OOPSLA-track Author of Modular Specification and Verification of Closures in Rust within the COVID Time Papers In Person-track
ISSTA 2022	Programme Committee in Program Committee within the Technical Papers-track
PLDI 2022	Committee Member in PLDI within the PLDI-track
SPLASH 2021	Author of Modular Specification and Verification of Closures in Rust within the OOPSLA-track Author of Rich Specifications for Ethereum Smart Contract Verification within the OOPSLA-track
SPLASH 2020	Author of How Do Programmers Use Unsafe Rust? within the OOPSLA-track Author of Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification within the OOPSLA Artifacts-track Author of Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification within the OOPSLA-track
ICSE 2020	Author of Automatically Testing String Solvers within the Technical Papers-track
PLDI 2020	Session Chair of Session 2 (part of Ask Me Anything)
SPLASH 2019	Author of Leveraging Rust Types for Modular Specification and Verification within the OOPSLA Artifacts-track Author of Modular Verification of Heap Reachability Properties in Separation Logic within the OOPSLA-track Author of Modular Verification of Heap Reachability Properties in Separation Logic within the OOPSLA Artifacts-track Author of Leveraging Rust Types for Modular Specification and Verification within the OOPSLA-track
ISSTA 2019	Committee Member in Program Committee within the Technical Papers-track
ETAPS 2019	Author of ETAPS Steering committee meeting within the Social-track
TACAS 2019	Author of The Axiom Profiler: Understanding and Debugging SMT Quantifier Instantiations within the TACAS 2019-track
VerifyThis 2019	Committee Member in Organizing Committee within the VerifyThis-track
ESEC/FSE 2018	Committee Member in Program Committee within the Research Papers-track
FTfJP 2018	Committee Member in Steering Committee within the FTfJP-track
PLDI 2018	Author of Static Serializability Analysis for Causal Consistency within the PLDI Research Papers-track
POPL 2018	Committee Member in Program Committee within the Research Papers-track
SPLASH 2017	Committee Member in External Program Committee within the OOPSLA-track
ECOOP 2017	Program 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)
POPL 2017	Author of Serializability for Eventual Consistency: Criterion, Analysis and Applications within the POPL-track ERC member in External Review Committee within the POPL-track
ECOOP 2016	Committee Member in Program Committee within the Research Track-track
PX 2016	Author of Envision – Turning the IDE into a Visual Information System. within the PX-track
SOAP 2016	Committee Member in Program Committee within the SOAP-track
POPL 2016	ERC member in External Reviewing Committee ERC member in External Reviewing Committee within the Research Papers-track
PADL	Author of Viper - A Verification Infrastructure for Permission-based Reasoning within the PADL-track
VMCAI	Committee 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)
SPLASH 2015	Committee Member in Program Committee within the OOPSLA-track
ECOOP 2015	Author 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
FTfJP 2015	Committee Member in Steering Committee within the FTfJP-track
ESOP 2015	Committee Member in Program Committee within the ESOP-track
SPLASH 2014	Presenter of Static Analysis for Independent App Developers within the OOPSLA Artifacts-track Author of Static Analysis for Independent App Developers within the OOPSLA-track
SPLASH 2012	Committee Member in External Reviewers within the OOPSLA Research Papers-track
FOOL 2012	Author 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 2011	Author of Freedom Before Commitment : A Lightweight Type System for Object Initialisation within the OOPSLA-track