Explore projects

The Single-Assignment C compiler, called sac2c.

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

My experiments with defining syntax for deeply-embedded DSLs.

My talk about extraction in Agda

The Single-Assignment C compiler, called sac2c.

JFP pearl about rank-polymorphic scan and array theory

The Single-Assignment C compiler, called sac2c.

Stack traces study across 30 languages and 4 programs.

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.

Siert's version to tinker with.