Follow
Marco Eilers
Marco Eilers
Postdoc at ETH Zurich
Verified email at inf.ethz.ch - Homepage
Title
Cited by
Cited by
Year
Nagini: a static verifier for Python
M Eilers, P Müller
Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018
862018
Modular product programs
M Eilers, P Müller, S Hitz
ACM Transactions on Programming Languages and Systems (TOPLAS) 42 (1), 1-37, 2019
782019
MaxSMT-Based Type Inference for Python 3
M Hassan, C Urban, M Eilers, P Müller
International Conference on Computer Aided Verification, 12-19, 2018
612018
Igloo: soundly linking compositional refinement and separation logic for distributed system verification
C Sprenger, T Klenze, M Eilers, FA Wolf, P Müller, M Clochard, D Basin
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-31, 2020
352020
Rich specifications for Ethereum smart contract verification
C Bräm, M Eilers, P Müller, R Sierra, AJ Summers
Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-30, 2021
212021
Product Programs in the Wild: Retrofitting Program Verifiers to Check Information Flow Security
M Eilers, S Meier, P Müller
Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021
112021
CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity
M Eilers, T Dardinier, P Müller
Proceedings of the ACM on Programming Languages 7 (PLDI), 1682-1707, 2023
42023
Input-output verification in viper
V Astrauskas
Master’s thesis, Department of Computer Science, ETH Zürich, 2016
42016
Multireduce and multiscan on modern GPUs
M Eilers
Department of Computer Science, University of Copenhagen. Master’s thesis, 2014
42014
Modular Specification and Verification of Security Properties for Mainstream Languages
M Eilers
ETH Zurich, 2022
32022
Verification of Ethereum Smart Contracts Written in Vyper
R Sierra, M Eilers, P Müller
Master’s thesis, 2019
32019
Abstract Read Permission Support for an Automatic Python Verifier
B Schmid
Bachelor thesis, ETH Zürich, 2018
32018
Verification of information flow security for python programs
S Meier
Master’s thesis, ETH Zurich, 2018
22018
Automating Modular Reasoning About Higher-Order Functions
B WEBER, P MÜLLER, A TER-GABRIELYAN, M EILERS
22017
SMT-based static type inference for Python 3
M Hassan, C Urban, P Muller
Bachelor thesis, ETH Zürich, Department of Computer Science, 2017
12017
Verification Algorithms for Automated Separation Logic Verifiers
M Eilers, M Schwerhoff, P Müller
International Conference on Computer Aided Verification, 362-386, 2024
2024
Protocols to Code: Formal Verification of a Next-Generation Internet Router
JC Pereira, T Klenze, S Giampietro, M Limbeck, D Spiliopoulos, FA Wolf, ...
arXiv preprint arXiv:2405.06074, 2024
2024
Adding Debugging Functionality to Viper’s Symbolic Execution Backend
A Keusch
2024
Specifying and Verifying Static Initialisation in Deductive Program Verifiers
P Firlejczyk, P Müller
2023
Verification of Advanced Properties for Real World Vyper Contracts
C Bräm
2020
The system can't perform the operation now. Try again later.
Articles 1–20