Algorithms - Microsoft Research

Publication

Extended symbolic finite automata and transducers

Loris D’Antoni, Margus Veanes

Formal Methods in System Design | July 2015

Publication

Emergent stem cell homeostasis in the C. elegans germline revealed by hybrid modelling

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

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

Publication

Fast and Exact Majority in Population Protocols

Dan Alistarh, Milan Vojnovic, Rati Gelashvili

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

Publication

Social Trove: A Self-Summarizing Storage Service for Social Sensing

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

Publication

A Geometric Alternative To Nesterov’s Accelerated Gradient Descent

Sébastien Bubeck, Yin Tat Lee, Mohit Singh

June 2015

Project

Publication

Fast Exact Matrix Completion with Finite Samples

Prateek Jain, Praneeth Netrapalli, Praneeth Netrapalli

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

Project

Publication

Upper Bounds on Fourier Entropy

Sourav Chakraborty, Raghav Kulkarni, Satya Lokam, Nitin Saurabh

Lecture Notes in Computer Science | June 2015

Project

Multiworld Testing

Exponentially better than A/B testing. Multiworld Testing (MWT) is the capability to test and optimize over K policies (context-based decision rules) using an amount of data and computation that scales logarithmically in K, without necessarily knowing…

Microsoft Research Blog

Award-winning theory from Microsoft researcher goes beyond famous Nash Equilibrium

June 19, 2015

Posted by George Thomas Jr. Microsoft researcher Vasilis Syrgkanis and two colleagues this week unveiled a new approach to understanding and optimizing online bidding and auctions, with implications far beyond the online advertising marketplace in…

Publication

Private Graphon Estimation for Sparse Graphs

Christian Borgs, Jennifer Chayes, Adam Smith

June 2015