| Nagini: a static verifier for Python M Eilers, P Müller Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018 | 80 | 2018 |
| Modular product programs M Eilers, P Müller, S Hitz ACM Transactions on Programming Languages and Systems (TOPLAS) 42 (1), 1-37, 2019 | 76 | 2019 |
| 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 | 53 | 2018 |
| 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 | 31 | 2020 |
| 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 | 16 | 2021 |
| 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 | 9 | 2021 |
| Input-output verification in viper V Astrauskas Master’s thesis, Department of Computer Science, ETH Zürich, 2016 | 4 | 2016 |
| Multireduce and multiscan on modern GPUs M Eilers Department of Computer Science, University of Copenhagen. Master’s thesis, 2014 | 4 | 2014 |
| Modular Specification and Verification of Security Properties for Mainstream Languages M Eilers ETH Zurich, 2022 | 3 | 2022 |
| Verification of Ethereum Smart Contracts Written in Vyper R Sierra, M Eilers, P Müller Master’s thesis, 2019 | 3 | 2019 |
| Abstract Read Permission Support for an Automatic Python Verifier B Schmid Bachelor thesis, ETH Zürich, 2018 | 3 | 2018 |
| 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 | 2 | 2023 |
| Verification of information flow security for python programs S Meier Master’s thesis, ETH Zurich, 2018 | 2 | 2018 |
| Automating Modular Reasoning About Higher-Order Functions B WEBER, P MÜLLER, A TER-GABRIELYAN, M EILERS | 2 | 2017 |
| SMT-based static type inference for Python 3 M Hassan, C Urban, P Muller Bachelor thesis, ETH Zürich, Department of Computer Science, 2017 | 1 | 2017 |
| Verification Algorithms for Automated Separation Logic Verifiers M Eilers, M Schwerhoff, P Müller arXiv preprint arXiv:2405.10661, 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 |
| 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 |
Peter MüllerETH Zurich在 inf.ethz.ch 的电子邮件经过验证
