Explore projects

The Single-Assignment C compiler, called sac2c.

The sac2c compiler

The Single-Assignment C compiler, called sac2c.

The CFAL benchmarks adopted for benchmarking the virtual stacktrace. Also includes some more automation to run the benchmarks.

The Single-Assignment C compiler, called sac2c.

The Single-Assignment C compiler, called sac2c.

Stack traces study across 30 languages and 4 programs.

JFP pearl about rank-polymorphic scan and array theory

My talk about extraction in Agda

My experiments with defining syntax for deeply-embedded DSLs.

IFL paper on multi-GPU code generation for out-of-core problems