Publications

• Sulfur: a reflective tactic for substitution simplification.
  Joint work with Théo Winterhalter, Kathrin Stark, and Kenji Maillard.
  (2025, pdf, slides)

• Code generation via meta-programming in dependently typed proof assistants.
  Joint work with Yannick Forster.
  (2025, pdf, slides, recording)