Tag type theory

APGCS’10 talk by Sooraj.

Sooraj Bhat, GT Grad Student and friend/affiliate of the HPC Garage

On Monday, May 31, Sooraj Bhat presented his work on mechanizing the derivation of statistical machine learning algorithms, which is joint work with Ashish AgarwalAlex Gray, and Rich, at the Workshop on Automated Program Generation for Computational Science (co-located with ICCS’10 in Amsterdam). This is a key first-step toward the automatic production of highly tuned parallel code for data analysis applications. [workshop-page | schedule]