Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Peter Müller
conf.researchr.org general profile
ECOOP 2015 profile
ECOOP 2016 profile
ECOOP 2019 profile
ECOOP and ISSTA 2018 profile
ESEC/FSE 2018 profile
ESOP 2015 profile
ETAPS 2019 profile
ICSE 2020 profile
ISSTA 2019 profile
ISSTA 2022 profile
PLDI 2016 profile
PLDI 2018 profile
PLDI 2020 profile
PLDI 2022 profile
PLDI 2023 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
POPL 2016 profile
POPL 2017 profile
POPL 2018 profile
POPL 2024 profile
SPLASH 2011 profile
SPLASH 2012 profile
SPLASH 2014 profile
SPLASH 2015 profile
SPLASH 2017 profile
SPLASH 2019 profile
SPLASH 2020 profile
SPLASH 2021 profile
SPLASH 2022 profile
SPLASH 2023 profile
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
Share
x
Fri 2 Jun 07:57