Michael Arntzenius - 12:00 Wright
    "A Type Theory for Linking"
    advisor: Karl Crary

Hui Han Chin - 12:20 Wright
    "Applications of Spectral Algorithms"
    advisor: Gary Miller

Brent Lim Tze Hao - 12:40 Wright
    "Automatic Heap Exploit Generation"
    advisor: David Brumley

Adam Blank - 1:00 Wright
    "ColorMyGraph: Student Proof Analysis and Verification"
    advisor: Klaus Sutner

Jerene Yang - 1:20 Wright
    "Graphical Numerical Inference: a.k.a. Brain Surgery for Excel"
    advisor: Manuel Blum

Matthew Mirman - 1:40 Wright
    "Mode Checking for Lazy Functional Logic Programming"
    advisor: Frank Pfenning

Maryam Aly - 2:00 Wright
    "Temporal Analysis of Information Cascades on Twitter"
    advisor: Luis von Ahn

Nikhil Khadke - 3:00 Wright
    "Transparent System Call-Based Performance Debugging for Cloud Computing"
    advisor: Priya Narasimhan

Aaron Snook - 3:20 Wright
    "Word Problem Solving Using Sequence Inference"
    advisor: Manuel Blum

Wennie Tabib - 3:40 Wright
    "Feature Detection on an FPGA"
    advisor: William "Red" Whittaker