Markus Müller-Olm - POPL 2024

Sun 14 - Sat 20 January 2024 London, United Kingdom

Registered user since Wed 23 Jun 2021

Name:Markus Müller-Olm

Country:Germany

Affiliation:University of Münster

Personal website: https://www.uni-muenster.de/Informatik.AGMueller-Olm/en/people/mmo/index.shtml

Research interests:Concurrency Theory, Model Checking, Program Logics, Program Analysis, Verification

Contributions

2024

POPL

Deciding Asynchronous Hyperproperties for Recursive Programs

VMCAI

A Navigation Logic for Recursive Programs with Dynamic Thread Creation

Show activities from other conferences

POPL 2024-profile
View general profile