conf.researchr.org / David Basin

Not registered as user yet

Name: David Basin

Affiliation: ETH Zurich

Contributions

SPLASH 2020 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
ISSTA 2017 Author of Test Execution Checkpointing for Web Applications within the Technical Papers-track