Algorithms

Pranjal Awasthi, Maria-Florina Balcan, Nika Haghtalab, Ruth Urner

Proceedings of the 28th Annual Conference on Learning Theory (COLT) 2015. | July 2015

B. Hall, N. Piterman, A. Hajnal, J Fisher, Jasmin Fisher

Biophysical Journal | July 2015, Vol 109: pp. 428-438

Loris D’Antoni, Margus Veanes

Formal Methods in System Design | July 2015

Md Tanvir Al Amin, Shen Li, Muntasir Raihan Rahman, Panindra Tumkur Seetharamu, Shiguang Wang, Tarek Abdelzaher, Indranil Gupta, Mudhakar Srivatsa, Raghu Ganti, Reaz Ahmed, Hieu Le

2015 IEEE International Conference on Autonomic Computing | July 2015

ICAC 2015 Best Paper Award

Computer Aided Verification (CAV) | July 2015

Dan Alistarh, Rati Gelashvili, Adrian Vladu

July 2015

In Proceedings of PODC 2015.

Dan Alistarh, Milan Vojnovic, Rati Gelashvili

Proceedings of ACM Symposium on Principles of Distributed Computing (PODC 2015) | July 2015

Sébastien Bubeck, Yin Tat Lee, Mohit Singh

June 2015

Project

Prateek Jain, Praneeth Netrapalli, Praneeth Netrapalli

Proceedings of The 28th Conference on Learning Theory (COLT) | June 2015

Project

Sourav Chakraborty, Raghav Kulkarni, Satya Lokam, Nitin Saurabh

Lecture Notes in Computer Science | June 2015