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

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

Shobana Balakrishnan, Richard Black, Austin Donnelly, Paul England, Adam Glass, Dave Harper, Sergey Legtchenko, Aaron Ogus, Eric Peterson, and Antony Rowstron, Pelican: A building block for exascale cold data storage, 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI '14), 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

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

More publications...