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