• Sign in
  • Sign up
conf.researchr.org / Marco Eilers
  • ECOOP 2019 profile
  • ETAPS 2019 profile
  • ICFP/SPLASH 2025 profile
  • PLDI 2023 profile
  • POPL 2023 profile
  • POPL 2027 profile
  • SPLASH 2020 profile
  • SPLASH 2021 profile
  • SPLASH 2027 profile
Marco Eilers

Registered user since Tue 23 Oct 2018

Name:Marco Eilers
Country:Switzerland
Affiliation:ETH Zurich
Personal website: https://marcoeilers.github.io/
GitHub: https://github.com/marcoeilers
Research interests:Programming Languages, Verification, Security

Contributions

2027

SPLASH

  • Committee Member in OOPSLA Review Committee within the OOPSLA-track

VMCAI

  • Committee Member in Program Committee within the VMCAI 2027-track

2025

SPLASH

  • Author of Modular Reasoning about Global Variables and Their Initialization within the OOPSLA-track

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
xFri 28 Aug 03:20
using conf.researchr.org (v1.76.0)
Support page
Sign Up