Explore projects

The sac2c compiler

The Single-Assignment C compiler, called sac2c.

The Single-Assignment C compiler, called sac2c.

The Single-Assignment C compiler, called sac2c.

The Single-Assignment C compiler, called sac2c.

JFP pearl about rank-polymorphic scan and array theory

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.

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

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

The Single-Assignment C compiler, called sac2c.

Stack traces study across 30 languages and 4 programs.