Page Not Found
Page not found. Your pixels are in another canvas.
Sitemap
A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.
Pages
About
About me
Page not in menu
This is a page not in th emain menu
Posts
Future Blog Post
Published:
This post will show up by default. To disable scheduling of future posts, edit config.yml and set future: false.
Blog Post number 4
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 3
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 2
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 1
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
portfolio
Modelverse Just-in-Time Compiler
I created a tiered just-in-time (JIT) compiler for the Modelverse!
It is 37 times faster than the previous Modelverse VM.
FlashFreeze, JavaScript Serializer
I created an arbitrary object serializer for JavaScript.
Part of my internship at Nokia Bell Labs.
Garbage Collection for Julia on GPUs
I created the first GPU garbage collector for the Julia language!
Foresight, Scala Equality Saturation Engine
Foresight is a parallel, extensible equality saturation library in Scala, featuring programmable saturation strategies, generalized metadata, and deferred parallel rewriting.
projects
Flame
An optimizing compiler for managed code.
D&D Spellbook
A spellbook for D&D.
SimDemocracy
An online simulated democracy.
publications
FlashFreeze: Low-Overhead JavaScript Instrumentation for Function Serialization
Jonathan Van der Cruysse, Lode Hoste, Wolfgang Van Raemdonck
Published in Proceedings of the 4th ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection, co-located with SPLASH, 2019
Arbitrary object serialization for JavaScript
Download here
Latent Idiom Recognition for a Minimalist Functional Array Language using Equality Saturation
Jonathan Van der Cruysse, Christophe Dubach
Published in Proceedings of the 22nd ACM/IEEE International Symposium on Code Generation and Optimization (CGO), 2024
An idiom recognition approach rooted in equality saturation
Download here
Parallel and Customizable Equality Saturation
Jonathan Van der Cruysse, Abd-El-Aziz Zayed, Mai Jacob Peng, Christophe Dubach
Published in Proceedings of the 35th ACM SIGPLAN International Conference on Compiler Construction (CC), 2026
A parallel, extensible equality saturation engine with programmable strategies and generalized metadata
Download here
SkeleShare: Algorithmic Skeletons and Equality Saturation for Hardware Resource Sharing
Jonathan Van der Cruysse, Tzung-Han Juang, Shakiba Bolbolian Khah, Christophe Dubach
Published in Proceedings of the 24nd ACM/IEEE International Symposium on Code Generation and Optimization (CGO), 2026
An automated approach to hardware resource allocation and sharing using equality saturation and algorithmic skeletons
Download here
talks
FlashFreeze: Low-Overhead JavaScript Instrumentation for Function Serialization
Published:
I presented my paper on JavaScript function serialization at the META 2019 workshop, co-located with SPLASH.
Robust Program Specialization using Equality Saturation
Published:
I gave an early talk on program specialization at the 19th Workshop on Compiler-Driven Performance (CDP 2022), co-located with the 32nd International Conference on Collaborative Advances in Software and Computing (CASCON). This work planted the seeds of what would later become my Latent Idiom Recognition (LIAR) paper.
Latent Idiom Recognition for a Minimalist Functional Array Language using Equality Saturation
Published:
I presented my paper on latent idiom recognition at CGO 2024. The slide deck for this presentatation is available as PPTX and as PDF.
Toward Automatic Hardware and Data Partitioning in HLS
Published:
I presented my work on a resource-sharing and automatic partitioning project at CDP 2024, co-located with the 34th International Conference on Collaborative Advances in Software and Computing (CASCON). My project spans the intersection of High-Level Synthesis (HLS) and equality saturation.
teaching
1001WETTAL Languages and Machines
Teaching Assistant, University of Antwerp, Department of Computer Science, 2015
Professor Els Laenens hired me to create exercises and exam questions for the University of Antwerp’s course on regular languages and finite automata. These exercises and exam questions were mostly related to mechanical applications of algorithms that students would have to perform by hand. To ensure that the exercises would be appropriately challenging, I wrote a computer program that generated regular languages/finite automata. The exercise generator automatically assessed how much effort it would take to apply the algorithms specified by the exercises.
1001WETGPR Advanced Programming
Teaching Assistant, University of Antwerp, Department of Computer Science, 2016
Professor Jan Broeckhove hired me to write course material and create example programs for the University of Antwerp’s course on advanced C++ programming.
COMP 303 Software Design
Teaching Assistant, McGill University, School of Computer Science, 2020
I have served as a Teaching Assistant for COMP 303 Software Design at McGill University across multiple terms (Fall 2020 and Fall 2021).
ECSE 324 Computer Organization
Teaching Assistant, McGill University, Department of Electrical and Computer Engineering, 2020
I have served as a Teaching Assistant for ECSE 324 Computer Organization at McGill University across multiple terms (Fall 2020, Fall 2022, and Fall 2023).
COMP 520 Compiler Design
Teaching Assistant, McGill University, School of Computer Science, 2021
I served as a Teaching Assistant for COMP 520 Compiler Design at McGill University across multiple terms (Winter 2021, Winter 2022, Winter 2024, and Winter 2026).
COMP 302 Programming Languages and Paradigms
Teaching Assistant, McGill University, School of Computer Science, 2024
I have served as a Teaching Assistant for COMP 302 Programming Languages and Paradigms at McGill University across multiple terms (Fall 2024 and Fall 2025).
COMP 250 Introduction to Computer Science
Teaching Assistant, McGill University, School of Computer Science, 2025
I was a TA for COMP 250 Introduction to Computer Science at McGill University. COMP 250 is a foundational course introducing students to programming, algorithms, and data structures in Java. It is a large, highly structured course that emphasizes both conceptual understanding and practical problem-solving.