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