Research

Publications

Peer-reviewed compiler systems work on equality saturation, IR design, FPGA compilation, source code rewriting, and idiom recognition.

  • 4 peer-reviewed papers
  • CGO · CC · SPLASH
  • papers, slides, artifacts
  1. CC2026

    Parallel and Customizable Equality Saturation

    • Artifact Available
    • Artifact Reusable
    • Results Reproduced

    Jonathan Van der Cruysse, Abd-El-Aziz Zayed, Mai Jacob Peng, Christophe Dubach

    Proceedings of the 35th ACM SIGPLAN International Conference on Compiler Construction (CC) · February 2026

    A parallel, extensible equality saturation engine with programmable strategies and generalized metadata

    PDF
  2. CGO2026

    SkeleShare: Algorithmic Skeletons and Equality Saturation for Hardware Resource Sharing

    • Artifact Available
    • Artifact Reusable
    • Results Reproduced

    Jonathan Van der Cruysse, Tzung-Han Juang, Shakiba Bolbolian Khah, Christophe Dubach

    Proceedings of the 24th ACM/IEEE International Symposium on Code Generation and Optimization (CGO) · February 2026

    An automated approach to hardware resource allocation and sharing using equality saturation and algorithmic skeletons

    PDF
  3. CGO2024

    Latent Idiom Recognition for a Minimalist Functional Array Language using Equality Saturation

    • Artifact Available
    • Artifact Reusable
    • Results Reproduced

    Jonathan Van der Cruysse, Christophe Dubach

    Proceedings of the 22nd ACM/IEEE International Symposium on Code Generation and Optimization (CGO) · March 2024

    An idiom recognition approach rooted in equality saturation

    PDF
  4. META2019

    FlashFreeze: Low-Overhead JavaScript Instrumentation for Function Serialization

    Jonathan Van der Cruysse, Lode Hoste, Wolfgang Van Raemdonck

    Proceedings of the 4th ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection, co-located with SPLASH · October 2019

    Arbitrary object serialization for JavaScript

    PDF