xAt 9.10 CET, the conf.researchr.org platform will be updated, causing conference websites to be offline for 1 minute. You may need to refresh the page you're viewing to interact with the website again.
conf.researchr.org / Marco Eilers
Marco Eilers

Registered user since Tue 23 Oct 2018

Name: Marco Eilers

Affiliation: ETH Zurich

Personal website: http://www.pm.inf.ethz.ch/people/personal/meilers-pers.html

Research interests: Programming Languages, Verification, Security

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
PERR 2019 Author of Invited talk by Marco Eilers within the PERR-track
ECOOP 2019 Committee Member in Artifact Evaluation Committee within the Artifacts-track