conf.researchr.org / Marco Eilers
Marco Eilers

Registered user since Tue 23 Oct 2018

Name:Marco Eilers
Country:Switzerland
Affiliation:ETH Zurich
Personal website:http://www.pm.inf.ethz.ch/people/personal/meilers-pers.html
Research interests:Programming Languages, Verification, Security

Contributions

SPLASH 2021 Author of Rich Specifications for Ethereum Smart Contract Verification within the OOPSLA-track
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