Projects
-
A language that exposes algorithmic choices to the compiler.
-
A Deterministic Multithreading library for commodity hardware.
-
A high-performance language and compiler for streaming applications.
-
An AutoCAD plug-in for programmable microfluidic chips.
-
Exploring compiler issues in next-generation architectures.
-
Automatic detection of operands which are smaller than their declared type.
-
Runtime Introspection and Optimization.
-
Speculative parallelism in software based on stride prediction.
-
Automatic compilation for multimedia instruction sets.
-
Exposing underlying hardware mechanisms to application specific configurations/optimizations.
