Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Marcus Rossel
conf.researchr.org general profile
PLDI 2024 profile
PLDI 2025 profile
Registered user since Mon 28 Apr 2025
Name:
Marcus Rossel
Country:
Germany
Affiliation:
Barkhausen Institut
GitHub:
https://github.com/marcusrossel
Contributions
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
Share
x
Thu 22 May 10:32
