• Sign in
  • Sign up
conf.researchr.org / Marco Eilers
  • ECOOP 2019 profile
  • ETAPS 2019 profile
  • SPLASH 2020 profile
  • SPLASH 2021 profile
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

Share
xThu 18 Aug 21:02
using conf.researchr.org (v1.56.0)
Support page
Sign Up