• Sign in
  • Sign up
conf.researchr.org / Marco Eilers
  • ECOOP 2019 profile
  • ETAPS 2019 profile
  • PLDI 2023 profile
  • POPL 2023 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

2023

SOAP

  • Committee Member in Program Committee within the SOAP 2023-track

PLDI

  • Author of CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity within the PLDI Research Papers-track

PriSC

  • Committee Member in Program Committee within the PriSC 2023-track

2021

SPLASH

  • Author of Rich Specifications for Ethereum Smart Contract Verification within the OOPSLA-track

2020

SPLASH

  • 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

2019

ECOOP

  • Committee Member in Artifact Evaluation Committee within the Artifacts-track

PERR

  • Author of Invited talk by Marco Eilers within the PERR-track
Share
xSat 14 Jun 17:41
using conf.researchr.org (v1.69.0)
Support page
Sign Up