David Basin -

Not registered as user

Name:David Basin

Country:Switzerland

Affiliation:ETH Zurich

Contributions

2025

POPL

Author of Reachability Analysis of the Domain Name System within the POPL-track

2024

SPLASH

Author of Plume: Efficient and Complete Black-box Checking of Weak Isolation Levels within the OOPSLA 2024-track

2022

SPLASH

Author of Bridging the Semantic Gap between Qualitative and Quantitative Models of Distributed Systems within the OOPSLA-track

2020

SPLASH

Author of Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification within the OOPSLA-track
Author of Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification within the OOPSLA Artifacts-track

2017

ISSTA

Author of Test Execution Checkpointing for Web Applications within the Technical Papers-track