Algorithms - Microsoft Research

Publication

Playing for Data: Ground Truth from Computer Games

Stephan R. Richter, Vibhav Vineet, Stefan Roth, Vladlen Koltun

July 2016

Video

The Resurgence of Software Performance Engineering

July 6, 2016 | Charles E. Leiserson

Today, most application developers write code without much regard for how quickly it will run. Moreover, once the code is written, it is rare for it to be reengineered to run faster. But two technology…

1:09:54

Project

ProjecToR: Agile Reconfigurable Data Center Interconnect

ProjecToR is a novel, free-space optics based approach for building data center interconnects. It uses a digital micromirror device (DMD) and mirror assembly combination as a transmitter and a photodetector on top of the rack…

Publication

On Intervals and Bounds in Bit-vector Arithmetic

Mikolas Janota, Christoph M. Wintersteiger

Proceedings of the 14th International Workshop on Satisfiability Modulo Theories (SMT) | July 2016

Publication

Minimization of Symbolic Tree Automata

Margus Veanes

LICS | July 2016

LICS

Publication

Specification and Complexity of Collaborative Text Editing

Hagit Attiya, Sebastian Burckhardt, Alexey Gotsman, Adam Morrison, Hongseok Yang, Marek Zawirski

Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing | July 2016

Publication

Cross-device user matching based on massive browse logs: The runner-up solution for the 2016 CIKM Cup

Jianxun Lian, Xing Xie

July 2016

Presented at the workshop of 2016 CIKM Cup

Publication

The Global Patch Collider

Shenlong Wang, Sean Ryan Fanello, Christoph Rhemann, Shahram Izadi, Pushmeet Kohli

Computer Vision and Pattern Recognition (CVPR), 2016 IEEE Conference on | July 2016

ISBN: 978-1-4673-8851-1

Publication

Robust Influence Maximization

Wei Chen, Tian Lin, Zihan Tan, Mingfei Zhao, Xuren Zhou

In Proceedings of the 22nd ACM SIGKDD Conference on Knowledge Discovery and Data Mining (KDD’2016), San Francisco, U.S.A., August, 2016. | June 2016

Publication

Identifying correlated heavy-hitters in a two-dimensional data stream

Bibudh Lahiri, Arko Mukherjee, Srikanta Tirthapura

Data Mining and Knowledge Discovery | June 2016, Vol 30(4): pp. 797-818