Publications

Projects

cilk p4

Locality-driven parallel for loops for the CilkPlus runtime system

Nabbit-C

Locality driven dynamic scheduling of task-graph applications

AMPipe

Automatic mapping of streaming pipeline applications for CPU deployment

MiniCARD

An efficient extension of a state-of-the-art SAT solver into a more general cardinality solver

Courses

Contact