Computer Systems and Networking

Improving networked-computing efficiencies


Computers now operate in a connected, often mobile world. Our research into operating systems, networks, and distributed computing is focused on developing technologies that enable computers to operate more effectively in a networked environment, and that provide the infrastructure required to enable the deployment, operation, management, and security of distributed applications.

 

Publications

Chang Liu, Jiaxing Zhang, Hucheng Zhou, Sean McDirmid, Zhenyu Guo, and Thomas Moscibroda, Automating Distributed Partial Aggregation, SOCC, November 2014

Chieh-Jan Mike Liang, Kaifei Chen, Nissanka Bodhi Priyantha, Jie Liu, and Feng Zhao, RushNet: Practical Traffic Prioritization for Saturated Wireless Sensor Networks, in SenSys, ACM – Association for Computing Machinery, November 2014

Sebastian Burckhardt, Principles of Eventual Consistency, vol. 1, no. 1-2, pp. 1-150, now publishers, 9 October 2014

Andrew Baumann, Marcus Peinado, and Galen Hunt, Shielding applications from an untrusted cloud with Haven, in 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI '14), USENIX – Advanced Computing Systems Association, 6 October 2014

Chris Hawblitzel, Jon Howell, Jacob R. Lorch, Arjun Narayan, Bryan Parno, Danfeng Zhang, and Brian Zill, Ironclad Apps: End-to-End Security via Automated Full-System Verification, in USENIX Symposium on Operating Systems Design and Implementation (OSDI), USENIX – Advanced Computing Systems Association, 6 October 2014

More publications...