Algorithms - Microsoft Research

Video

New Directions in Computer Science

October 25, 2012 | John Hopcroft

Computer science is undergoing a fundamental change. Over the last 40 years the field was concerned with making computers useful. Focus was on programming languages, compilers, operating systems, data structures and algorithms. These are still…

Publication

Positive Results for Concurrently Secure Computation in the Plain Model

Vipul Goyal

Foundations of Computer Science (FOCS), 2012 IEEE 53rd Annual Symposium on | October 2012

Publication

Constructing Non-malleable Commitments: A Black-Box Approach

Vipul Goyal, Chen-Kuei Lee, Rafail Ostrovsky, Ivan Visconti

Foundations of Computer Science (FOCS), 2012 IEEE 53rd Annual Symposium on | October 2012

Project

Big Data Analytics

We conduct research in the area of algorithms and systems for processing massive amounts of data. Our work aims at pushing the boundary of computer science in the area of algorithms and systems for large-scale computations. Our mission…

Publication

Informal subjective quality comparison of video compression performance of the HEVC and H.264/MPEG-4 AVC standards for low-delay applications

Michael Horowitz, Faouzi Kossentini, Nader Mahdi, Shilin Xu, Hsan Guermazi, Hassene Tmar, Bin Li, Gary J. Sullivan, Jizheng Xu

Proceedings of SPIE SPIE Applications of Digital Image Processing XXXV | October 2012, Vol 8499: pp. 321-326

Publication

Spotting Code Optimizations in Data-Parallel Pipelines through PeriSCOPE

Zhenyu Guo, Xuepeng Fan, Rishan Chen, Jiaxing Zhang, Sean McDirmid, Chang Liu, Wei Lin, Hucheng Zhou, Jingren Zhou, Lidong Zhou

IEEE Transactions on Parallel & Distributed Systems | October 2012, Vol 26(6)

Publication

Salus: a system for server-aided secure function evaluation

Seny Kamara, Payman Mohassel, Ben Riva

Proceedings of the 2012 ACM conference on Computer and communications security | October 2012

Publication

Toward a Principled Framework for Benchmarking Consistency

Muntasir Raihan Rahman, Wojciech Golab, Alvin AuYoung, Kimberly Keeton, Jay J. Wylie

Proceedings of the 8th Workshop on Hot Topics in System Dependability | October 2012

Publication

On Significance of the Least Significant Bits For Differential Privacy

Ilya Mironov

October 2012

Publication

IFRit: interference-free regions for dynamic data-race detection

Laura Effinger-Dean, Brandon Lucia, Luis Ceze, Dan Grossman, Hans-J. Boehm

SIGPLAN Not. | October 2012, Vol 47: pp. 467-484