Follow
Marco Eilers
Marco Eilers
Postdoc at ETH Zurich
Verified email at inf.ethz.ch - Homepage
Title
Cited by
Cited by
Year
Modular product programs
M Eilers, P Müller, S Hitz
ACM Transactions on Programming Languages and Systems (TOPLAS) 42 (1), 1-37, 2019
742019
Nagini: a static verifier for Python
M Eilers, P Müller
Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018
702018
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
512018
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
292020
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
122021
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
72021
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
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
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
22023
Modular Specification and Verification of Security Properties for Mainstream Languages
M Eilers
ETH Zurich, 2022
22022
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 of Advanced Properties for Real World Vyper Contracts
C Bräm
2020
Verification of Programs Written in Libra’s Move Language
C Müller, P Müller
2020
Static Analysis of GPU Kernel Performance Hyperproperties
M Blarer, M Eilers, J Dohrau, P Müller
2019
The system can't perform the operation now. Try again later.
Articles 1–18