Marcus Rossel

According to our database, Marcus Rossel authored at least 5 papers between 2023 and 2026.

Collaborative distances:

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

2026

Towards Pen-and-Paper-Style Equational Reasoning in Interactive Theorem Provers by Equality Saturation.

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

Proc. ACM Program. Lang., 2026

2025

The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale.

Matthew Bolan, Joachim Breitner, Jose Brox, Nicholas Carlini, Mario Carneiro, Floris van Doorn, Martin Dvorak, Andrés Goens, Aaron Hill, Harald Husum, Hernán Ibarra Mejia, Zoltan A. Kocsis, Bruno Le Floch, Amir Livne Bar-on, Lorenzo Luccioli, Douglas McNeil, Alex Meiburg, Pietro Monticone, Pace P. Nielsen, Emmanuel Osalotioman Osazuwa, Giovanni Paolini, Marco Petracci, Bernhard Reinke, David Renshaw, Marcus Rossel, Cody Roux, Jérémy Scanvic, Shreyas Srinivas, Anand Rao Tadipatri, Terence Tao, Vlad Tsyrklevich, Fernando Vaquerizo-Villar, Daniel Weber, Fan Zheng

CoRR, December, 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