Algorithms - Microsoft Research

Publication

Back and Forth: Prophecy Variables for Static Verification of Concurrent Programs

Shaz Qadeer, Ali Sezgin, Serdar Tasiran

MSR-TR-2009-142 | October 2009

Publication

Essential Loss: Bridge the Gap between Ranking Measures and Loss Functions in Learning to Rank

Wei Chen, Tie-Yan Liu, Yanyan Lan, Zhiming Ma, Hang Li

MSR-TR-2009-141 | October 2009

Video

Growth and Phase Transitions in Isolated and Interacting Networks

October 7, 2009 | Raissa D’Souza

Networks with complex structures and functions are pervasive in the modern world, spanning social, biological and technological systems. One feature common to many such networks is a broad variation in the number of edges incident…

01:20:49

Publication

Free-Riding and Free-Labor in Combinatorial

Moshe Babaioff, Noam Nisan, Michal Feldman

2nd International Symposium on Algorithmic Game Theory | October 2009

Publication

Implementing Uniform Reliable Broadcast with Binary Consensus in Systems with Fair-Lossy Links

Jialin Zhang, Wei Chen

Information Processing Letters | October 2009, Vol 110

Publication

Bounded Independence fools halfspaces

Ilias Diakonikolas, Parikshit Gopalan, Ragesh Jaiswal, Rocco A. Servedio, Emanuele Viola

FOCS’09 | October 2009

Publication

Compact Routing in Power-law Graphs

Wei Chen, Christian Sommer, Shang-Hua Teng, Yajun Wang

In Proceedings of the 23rd International Symposium on Distributed Computing (DISC’2009), Elche/Elx, Spain, Sept. 2009. | September 2009

Publication

Coded aperture pairs for depth from defocus

Changyin Zhou, Stephen Lin, Shree Nayar

2009 IEEE 12th International Conference on Computer Vision | September 2009

Publication

Probabilistic Programming with Infer.NET

John Winn, Tom Minka

September 2009

Project

Publication

A Compositional Theory for STM Haskell

Johannes Borgström, Karthik Bhargavan, Andy Gordon

MSR-TR-2009-66 | September 2009

ISBN: 978-1-60558-508-6

Haskell '09 Proceedings of the 2nd ACM SIGPLAN symposium on Haskell