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.
Portfolio
Garbage Collection for Julia on GPUs
I created the first GPU garbage collector for the Julia language!
FlashFreeze, JavaScript Serializer
I created an arbitrary object serializer for JavaScript.
Part of my internship at Nokia Bell Labs.
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.