Research Contributions


My research addresses some of the most important challenges in the field of computer architecture.

With my students and colleagues, I have a long history of strong presence in the top architecture and systems venues. We have had some of the earliest and well-cited papers on memory consistency, cache leakage, low-power architectures, fault tolerance, and multicore cache hierarchies. More recently, we have made cache coherence both provably verifiable (a decades-old problem) and scalable in performance.

My interests are also broad: Leveraging nanotecchnology, we have defined architectures for programmable micro/nano fluidics where programs operate on fluids instead of values! (being commercialized by a start-up, Microfluidic Innovations). We have also contributed a breakthrough in Internet router hardware for packet classification, another decade-old problem (EffiCuts). Embracing Cloud and datacenter-scale computing, we have well-received papers on datacenter network transport layer and MapReduce.

As part of my graduate work, I have had several influential papers (Multiscalar, Speculative versioning cache and memory dependence prediction).