Dimi Racordon

Summary

• 4 papers in 3 bundles
• Top 3 popular topics:
  • T1B: Static Semantics (3 times)
  • T5D: Formal Methods (3 times)
  • T4A: Workbenches (2 times)
• Top 3 coauthors:
  • Didier Buchs (2 times)
  • ∅ (1 times)
  • Dave Abrahams (1 times)
• Made 6 contributions (see below)

List of contributions

• (SLE 2018) Coauthored A Practical Type System for Safe Aliasing (Dimi Racordon, Didier Buchs)
• (SLE 2020) Coauthored Featherweight Swift: A Core Calculus for Swift’s Type System (Dimi Racordon, Didier Buchs)
• (SLE 2024) Authored Type Checking with Rewriting Rules (Dimi Racordon)
• (SLE 2024) Coauthored Method Bundles (Dimi Racordon, Dave Abrahams)
• (SLE 2025) Served on PC
• (SLE 2026) Served on PC

---

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.