Our group works on large-scale distributed computing, security, systems aspects of Big Data, low-cost computing for the developing world, and millimeter wave wireless.
10/28/2014: Talk "Ironclad: End-to-End Security via Automated Full-System Verification", by Jon Howell, 719 Bway 1221
9/11/2014: Yang Cui wins Courant MS Research Fellowship. Congratulations Yang!
9/1/2014: Spartan project wins Google Research Grant.
Extracting More Concurrency from Distributed Transactions,11th USENIX Symposium on Operating Systems Design and Implementation (OSDI'14)
Building a Scalable Multimedia Search Engine using Infiniband,USENIX Workshop on Hot Topics in Cloud COmputing (HotCloud)
Using Restricted Transactional Memory to Build a Scalable In-Memory Database,The European Conference on Computer Systems (EuroSys)