Systems & networking

Sergey Legtchenko, Sébastien Monnet, Pierre Sens, Gilles Muller

ACM Transactions on Autonomous and Adaptive Systems (TAAS) | July 2012

Hao Pan, Yi-King Choi, Yang Liu, Wenchao Hu, Qiang Du, Konrad Polthier, Caiming Zhang, Wenping Wang

ACM Transactions on Graphics(SIGGRAPH) | July 2012

Hengjie Li, Wenting He, Yang Chen, Lieven Eeckhout, Olivier Temam, Chengyong Wu

IEEE Micro | July 2012, Vol 32(4): pp. 54-67

Akash Lal, Shaz Qadeer, Shuvendu Lahiri

Computer-Aided Verification (CAV) | July 2012

Computer-Aided Verification (CAV)

Project

Paramvir Bahl, Matthai Philipose, Victor Bahl

International Workshop on Mobile Cloud Computing and Services (MCS) | June 2012

International Workshop on Mobile Cloud Computing and Services (MCS)

Video Project

Yin Chen, Jie Liu, Dimitrios Lymberopoulos, Bodhi Priyantha,

ACM International Conference in Mobile Systems, Applications, and Services (MobiSys) | June 2012

Souvik Sen, Bozidar Radunovic, Romit Roy Choudhury, Tom Minka

In proceedings of ACM Mobisys | June 2012

Zengbin Zhang, David Chu, Xiaomeng Chen, Thomas Moscibroda

MobiSys 2012: 10th ACM International Conference on Mobile Systems, Applications, and Services, Low Wood Bay, UK | June 2012

Victor Bahl, Richard Y. Han, Li Erran Li, Mahadev Satyanarayanan

Proceedings of the third ACM workshop on Mobile Cloud Computing and Services, (MCS), Low Wood Bay, Lake District, UK, June 2012 | June 2012

Project

David Chu, Aman Kansal, Jie Liu

ACM MobiSys | June 2012

ACM MobiSys