We stand with Ukraine  

Rudi Schneider

Orcid: 0009-0008-9151-773X

According to our database1, Rudi Schneider authored at least 3 papers between 2025 and 2026.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
Towards Pen-and-Paper-Style Equational Reasoning in Interactive Theorem Provers by Equality Saturation.
[BibTeX]
[DOI]
Marcus Rossel
,
Rudi Schneider
,
Thomas Koehler
,
Michel Steuwer
,
Andrés Goens
Proc. ACM Program. Lang., 2026

2025
Slotted E-Graphs: First-Class Support for (Bound) Variables in E-Graphs.
[BibTeX]
[DOI]
Rudi Schneider
,
Marcus Rossel
,
Amir Shaikhha
,
Andrés Goens
,
Thomas Koehler
,
Michel Steuwer
Proc. ACM Program. Lang., 2025

Syntax-Guided Synthesis with Counterexample-Guided E-graphs: A Work-in-Progress Report.
[BibTeX]
[DOI]
Guy Frankel
,
Rudi Schneider
,
Michel Steuwer
,
Elizabeth Polgreen
Proceedings of the Joint Proceedings of the 23rd International Workshop on Satisfiability Modulo Theories and the 16th Pragmatics of SAT International Workshop co-located with the 31st International Conference on Principles and Practice of Constraint Programming, 2025


  Loading...