ISMM 2023
Sun 18 Jun 2023 Orlando, Florida, United States
co-located with PLDI 2023
  • Attending
    • Venue: Orlando World Center Marriott
    • PLDI 2023
    • PLDI'23 Attendee's Guide
    • Registration
    • Code of Conduct
    • Sponsorship
    • Visa
    • Volunteers
    • Childcare
  • Program
    • ISMM Program
    • Your Program
    • Sun 18 Jun
  • Track/Call
  • Organization
      • ISMM 2023 Committees
      • Track Committees
      • Organizing Committee
      • Program Committee
      • Contributors
      • People Index
  • Search
  • Series
    • Series
    • ISMM 2025
    • ISMM 2024
    • ISMM 2023
    • ISMM 2022
    • ISMM 2021
    • ISMM 2020
    • ISMM 2019
    • ISMM 2018
    • ISMM 2017
    • ISMM 2016
    • ISMM 2015
  • Sign in
  • Sign up
PLDI 2023 (series) / ISMM 2023 (series) / Peter Müller
  • conf.research.org general profile
  • APLAS 2025 profile
  • ATVA 2025 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
  • ICFP/SPLASH 2025 profile
  • ICSE 2020 profile
  • ISSTA 2019 profile
  • ISSTA 2022 profile
  • NWPT 2023 - 34th Nordic Workshop on Programming Theory profile
  • PLDI 2016 profile
  • PLDI 2018 profile
  • PLDI 2020 profile
  • PLDI 2022 profile
  • PLDI 2024 profile
  • PLDI 2025 profile
  • PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
  • POPL 2016 profile
  • POPL 2017 profile
  • POPL 2018 profile
  • POPL 2024 profile
  • POPL 2025 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
  • SPLASH 2024 profile
  • SPLASH/ISSTA 2026 profile
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

2023

PLDI

  • Leveraging Rust Types for Program Synthesis
  • CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity

Show activities from other conferences

Share
PLDI 2023-profile
View general profile
xTue 9 Dec 03:39

ISMM 2023


using conf.researchr.org (v1.72.1)
Support page

Tracks

ISMM 2023

Attending

Venue: Orlando World Center Marriott
PLDI'23 Attendee's Guide
Registration
Code of Conduct
Sponsorship
Visa
Volunteers
Childcare
Sign Up