Marcus Rossel

According to our database, Marcus Rossel authored at least 3 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Slotted E-Graphs: First-Class Support for (Bound) Variables in E-Graphs.

Rudi Schneider, Marcus Rossel, Amir Shaikhha, Andrés Goens, Thomas Koehler, Michel Steuwer

Proc. ACM Program. Lang., 2025

2024

Bridging Syntax and Semantics of Lean Expressions in E-Graphs.

Marcus Rossel, Andrés Goens

CoRR, 2024

2023

Provable Determinism for Software in Cyber-Physical Systems.

Marcus Rossel, Shaokai Lin, Marten Lohstroh, Jerónimo Castrillón, Andrés Goens

Proceedings of the Verified Software. Theories, Tools and Experiments, 2023