Author

Simon Spies

Observed names: Spies, Simon, Spies, Simon Philipp

ORCID: 0000-0001-5424-9002

Observed ORCID: 0000-0001-5424-9002

OpenAlex ID: A5008450688

2021 · Simon Spies, Lennard Gäher, et al. · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 53

2022 · Lennard Gäher, Michael Sammler, et al. · Proceedings of the ACM on Programming Languages · 50

2022 · Simon Spies, Lennard Gäher, et al. · Proceedings of the ACM on Programming Languages · 34

2023 · Michael Sammler, Simon Spies, et al. · Proceedings of the ACM on Programming Languages · 29

2023 · Armaël Guéneau, Johannes Hostert, et al. · Proceedings of the ACM on Programming Languages · 20

2019 · Yannick Forster, Steven Schäfer, et al. · ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP) · 13

2020 · Simon Spies, Yannick Forster · ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP) · 12

2025 · Simon Spies, Niklas Mück, et al. · Proceedings of the ACM on Programming Languages · 11

2021 · Simon Spies, Neel Krishnaswami, et al. · Proceedings of the ACM on Programming Languages · 9

2024 · Simon Spies, Lennard Gäher, et al. · Proceedings of the ACM on Programming Languages · 8

Works count: 18

Citation count: 247

H-index: 9

I10-index: 8