Algorithms - Microsoft Research

CHESS is a tool for finding and reproducing Heisenbugs in concurrent programs. CHESS repeatedly runs a concurrent test ensuring that every run takes a different interleaving.

Publication

Moments of Two-Variable Functions and the Uniqueness of Graph Limits

Christian Borgs, Jennifer Chayes, László Lovász

MSR-TR-2008-199 | October 2008

Publication

A Geometric Approach to Lower Bounds for Approximate Near-Neighbor Search and Partial Match

Rina Panigrahy, Kunal Talwar, Udi Wieder

FOCS ’08: Proceedings of the 49th annual IEEE Symposium on Foundations of Computer Science | October 2008

FOCS '08: Proceedings of the 49th annual IEEE Symposium on Foundations of Computer Science

ISBN: 978-0-7695-3436-7

Publication

Market equilibrium via a primal-dual algorithm for a convex program

Nikhil Devanur, Christos H. Papadimitriou, Amin Saberi, Vijay V. Vazirani

J. ACM | October 2008, Vol 55

Publication

Selective Use Of Multiple Entropy Models In Audio Coding

Sanjeev Mehrotra, Wei-ge Chen

Proceedings Workshop on Multimedia Signal Processing | October 2008