Marcus Rossel -

Registered user since Mon 28 Apr 2025

Name:Marcus Rossel

Country:Germany

Affiliation:Technische Universität Darmstadt

GitHub: https://github.com/marcusrossel

Contributions

2026

SPLASH

Committee Member in Artifact Evaluation Committee within the Artifact evaluation-track

ICFP

Committee Member in Artifact Evaluation Committee within the ICFP Artifacts-track

POPL

Author of Towards Pen-and-Paper-Style Equational Reasoning in Interactive Theorem Provers by Equality Saturation within the POPL-track

2025

PLDI

Author of Slotted E-Graphs: First-Class Support for (Bound) Variables in E-Graphs within the PLDI Research Papers-track

2024

EGRAPHS

Author of Bridging Syntax and Semantics of Lean Expressions in E-Graphs within the EGRAPHS 2024-track