Research Associate University of Texas at Austin Erdös number: 3 (Lenharth -> Richard E. Ladner -> Laszlo Lovasz)
I am the primary author of the current implementation of the Galois System which provides a simple, serial programming model absent user-visible syncronization for writing parallel applications. We achieve good performance and scaling. I work on scaling to NUMA and distributed systems. I have a few projects in hardware-software co-design, performance and scaling prediction, GPU runtimes, and approximate computing.
I earned my Ph.D. at UIUC working with Vikram Adve. I worked on points-to analysis (DSA), memory safety (SAFECODE), secure operating systems (SVA), and commodity OS fault recovery (my thesis work).