Marco Eilers

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 14

Top Topics

Formal Verification

Concurrent Programs

Information Flows

Top Venues

Proc. ACM Program. Lang.

Publications

João C. Pereira, Tobias Klenze, Sofia Giampietro, Markus Limbeck, Dionysios Spiliopoulos, Felix A. Wolf, Marco Eilers, Christoph Sprenger, David A. Basin, Peter Müller, Adrian Perrig
Protocols to Code: Formal Verification of a Next-Generation Internet Router. CoRR (2024)
Marco Eilers, Malte Schwerhoff, Peter Müller
Verification Algorithms for Automated Separation Logic Verifiers. CAV (1) (2024)
Marco Eilers, Malte Schwerhoff, Peter Müller
Verification Algorithms for Automated Separation Logic Verifiers. CoRR (2024)
Marco Eilers, Thibault Dardinier, Peter Müller
CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Marco Eilers, Thibault Dardinier, Peter Müller
CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity. CoRR (2022)
Christian Bräm, Marco Eilers, Peter Müller, Robin Sierra, Alexander J. Summers
Rich specifications for Ethereum smart contract verification. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Christian Bräm, Marco Eilers, Peter Müller, Robin Sierra, Alexander J. Summers
Modular Verification of Collaborating Smart Contracts. CoRR (2021)
Marco Eilers, Severin Meier, Peter Müller
Product Programs in the Wild: Retrofitting Program Verifiers to Check Information Flow Security. CAV (1) (2021)
Christoph Sprenger, Tobias Klenze, Marco Eilers, Felix A. Wolf, Peter Müller, Martin Clochard, David A. Basin
Igloo: soundly linking compositional refinement and separation logic for distributed system verification. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Marco Eilers, Peter Müller, Samuel Hitz
Modular Product Programs. ACM Trans. Program. Lang. Syst. 42 (1) (2020)
Christoph Sprenger, Tobias Klenze, Marco Eilers, Felix A. Wolf, Peter Müller, Martin Clochard, David A. Basin
Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification. CoRR (2020)
Marco Eilers, Peter Müller, Samuel Hitz
Modular Product Programs. ESOP (2018)
Marco Eilers, Peter Müller
Nagini: A Static Verifier for Python. CAV (1) (2018)
Mostafa Hassan, Caterina Urban, Marco Eilers, Peter Müller
MaxSMT-Based Type Inference for Python 3. CAV (2) (2018)