NWPT 2023 - 34th Nordic Workshop on Programming Theory
Wed 22 - Thu 23 November 2023 Västerås
  • Attending
    • Venue: Mälardalen University
    • Hotels
  • Program
    • NWPT - 34th Nordic Workshop on Programming Theory Program
    • Your Program
    • Wed 22 Nov
    • Thu 23 Nov
  • Track/Call
  • Organization
      • NWPT 2023 - 34th Nordic Workshop on Programming Theory Committees
      • Track Committees
      • Organizing Committee
      • Program Committee
      • Contributors
      • People Index
  • Search
  • Series
  • Sign in
  • Sign up
NWPT 2023 - 34th Nordic Workshop on Programming Theory (series) / Peter Müller
  • conf.research.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 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

NWPT

  • CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity

Show activities from other conferences

Share
NWPT 2023 - 34th Nordic Workshop on Programming Theory -profile
View general profile
xFri 20 Jun 21:14

NWPT 2023 - 34th Nordic Workshop on Programming Theory

contact form

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

Tracks

NWPT 2023

Attending

Venue: Mälardalen University
Hotels
Sign Up