Peter Müller - SPLASH/ISSTA 2026

Sun 4 - Fri 9 October 2026 Oakland, California, United States

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

2026

SPLASH

Abductive Inference of Separation Logic Specifications with Isorecursive User-Defined Predicates and Magic Wands
Sound State Encodings in Translational Separation Logic Verifiers
Associate Chair in OOPSLA Review Committee within the OOPSLA-track

SPLASH/ISSTA

Fusion: A Fold and Unfold Annotation Synthesis Tool for Viper-Based Verification

Show activities from other conferences

SPLASH/ISSTA 2026-profile
View general profile