Algorithms

Current selections

Sort by: Most recent

Clear selections

Search within these results

Content Types

People

Wei Chen (138)

Leslie Lamport (137)

Qingwei Lin 林庆维 (93)

Christian Borgs (72)

Jennifer Chayes (66)

Sumit Gulwani (61)

Janardhan (Jana) Kulkarni (54)

Brendan Lucier (50)

Dongmei Zhang (50)

Tom Minka (49)

Margus Veanes (42)

Aleksandrs Slivkins (41)

Marco Molinaro (41)

Jianfeng Gao (39)

Manik Varma (37)

Nishanth Chandran (31)

Nicole Immorlica (31)

Eric Horvitz (28)

David Heckerman (27)

Sergey Yekhanin (27)

Neeraj Kayal (25)

Ishai Menache (23)

Saravan Rajmohan (23)

Ravishankar Krishnaswamy (22)

Thomas Moscibroda (21)

Yu Kang (21)

Madan Musuvathi (20)

Bo Qiao (20)

Pu Zhao (20)

Dongsheng Li (20)

John Snyder (19)

Harsha Simhadri (19)

Sepideh Mahabadi (19)

Nikolaj Bjørner (18)

Siddhartha Sen (18)

Sriram Rajamani (18)

Yang Liu (18)

Jakub Tarnawski (18)

Andrew D. Wilson (17)

Jennifer Wortman Vaughan (17)

Satya Lokam (17)

Sebastian Braun (17)

Baining Guo (15)

John Langford (15)

Stephen Lin (15)

Dimitra Emmanouilidou (15)

Si Qin (15)

Aditya Nori (14)

Ivan Tashev (14)

Konstantina Mellou (13)

Henrique S. Malvar (12)

Neel Joshi (12)

Lester Mackey (12)

G. Ramalingam (11)

Michael Naehrig (11)

Luke Marshall (11)

Akshay Nambi (11)

Minghua Ma (11)

Matheus R. F. Mendonça (11)

Amit Deshpande (10)

Christopher Bishop (10)

Ryen W. White (10)

Arturs Backurs (10)

Akshay Krishnamurthy (9)

Dinei Florencio (9)

Karin Strauss (9)

Lev Nachmanson (9)

Shuvendu Lahiri (9)

Yue Dong (9)

Jack W. Stokes (8)

Miro Dudík (8)

Navin Goyal (8)

Suman Nath (8)

Surajit Chaudhuri (8)

Rick Szeliski (8)

Tolga Acar (8)

Ankit Garg (8)

Hang Dong (8)

Yashoteja Prabhu (8)

Siwei Wang (8)

Andrey Kolobov (7)

Ece Kamar (7)

Hannes Gamper (7)

Lidong Zhou (7)

Ramachandran Ramjee (7)

Robert E. Schapire (7)

James Bono (7)

Yuqing Yang (7)

Bozidar Radunovic (6)

Chetan Bansal (6)

Dan Bohus (6)

Michael Freedman (6)

Markus Weimer (6)

Ramarathnam Venkatesan (6)

Weizhu Chen (6)

Bichlien Nguyen (6)

Zinan Lin (6)

Alex Bocharov (5)

Chong Luo (5)

Fan Yang (5)

Nicolo Fusi (5)

Jim Gray (5)

Jonathan Larson (5)

Matthew Hastings (5)

Michel Galley (5)

Venkat Padmanabhan (5)

Peter Lee (5)

Ranveer Chandra (5)

Sumit Basu (5)

Xiaodong Liu (5)

Fanny Nina Paravecino (5)

Scott Freitas (5)

Caihua Shan (5)

Amit Sharma (4)

Bela Bauer (4)

Burton Smith (4)

Chris Quirk (4)

Ed Cutrell (4)

Chin-Yew Lin (4)

Emre Kiciman (4)

Cédric Fournet (4)

Harry Shum (4)

Nebojsa Jojic (4)

Katja Hofmann (4)

Kim Laine (4)

Nikhil Swamy (4)

Phil Bernstein (4)

Paul Mineiro (4)

Sanjeev Mehrotra (4)

Sebastian Burckhardt (4)

Tarleton Gillespie (4)

Shital Shah (4)

Tanuja Ganu (4)

Linjun Shou (寿林钧) (4)

Weiwei Yang (4)

Huseyin Inan (4)

Patricia Kovaleski (4)

Qianhui Wu (4)

Hugo Barbalho (4)

Jue Zhang (4)

Fangkai Yang (4)

Yifei Shen (4)

Liqun Li (4)

Anson Bastos (4)

Alec Wolman (3)

Anton Schwaighofer (3)

Victor Bahl (3)

Josh Benaloh (3)

Carlo Curino (3)

Cormac Herley (3)

E. Glen Weyl (3)

Johannes Gehrke (3)

John Winn (3)

Manuel Costa (3)

Mark Encarnación (3)

Matthai Philipose (3)

Melissa Chase (3)

Markus Mobius (3)

Nikunj Raghuvanshi (3)

Patrick Longa (3)

Sameh Elnikety (3)

Santiago Zanella-Béguelin (3)

Vivek Narasayya (3)

Xing Xie (3)

Yongguang Zhang (3)

Yuan-Jyue Chen (3)

Hongzhi Li (3)

Nagarajan Natarajan (3)

Sonu Mehta (3)

Lukas Wutschitz (3)

David Alvarez-Melis (3)

Urszula Chajewska (3)

Vu Le (3)

Hao Cheng (3)

Mayukh Das (3)

A. Parayil (3)

Xinyang Jiang (3)

Xuchao Zhang (3)

Dongqi Han (3)

Nicolas Bruno (3)

Tao Lin (3)

Andrew Blake (2)

A.J. Brush (2)

Abigail Sellen (2)

Bin Benjamin Zhu (2)

Butler Lampson (2)

Arnd Christian König (2)

Chris White (2)

Dr. Chetan Nayak (2)

David Rothschild (2)

Daniel G. Goldstein (2)

Ethan Jackson (2)

Furu Wei (2)

Galen Hunt (2)

Manish Gupta (2)

Hsiao-Wuen Hon (2)

Íñigo Goiri (2)

Jinyu Li (2)

Rui Ding (2)

Kalika Bali (2)

Kate Crawford (2)

Kori Inkpen (2)

Lijuan Wang (2)

Markus Cozowicz (2)

Matthew J. Parkinson (2)

Nathalie Henry Riche (2)

Ran Gal (2)

Ricardo Bianchini (2)

Roman Lutchyn (2)

Shi Han (2)

Shujie Liu (2)

Silviu Cucerzan (2)

Sarah Bird (2)

Siddharth Suri (2)

Thomas Karagiannis (2)

Yeye He (2)

Yifan Gong (2)

Stavros Volos (2)

Paul Smolensky (2)

Budhaditya Deb (2)

Robert Sim (2)

Vibhav Vineet (2)

Divya Gupta (2)

Neil Tenenholtz (2)

Robert Gmyr (2)

Li Dong (2)

P. Anandan (2)

Weiqing Liu (2)

Kenichi Kumatani (2)

Yang Liu (2)

Matteo Interlandi (2)

Dylan Foster (2)

Esha Choukse (2)

Rodrigo Fonseca (2)

Ava P. Amini (2)

Jake Smith (2)

Deepesh Hada (2)

Luna K. Qiu (2)

Harsha Nori (2)

Zhiyuan He (2)

Pashmina Cameron (2)

Ha Trinh (2)

Gagan Somashekar (2)

Victor Reis (2)

Carles Domingo-Enrich (2)

Zilong Wang (2)

Yifan Wu (2)

Adam Fourney (1)

Ajay Manchepalli (1)

Akash Lal (1)

Andrzej Pastusiak (1)

Ann Paradiso (1)

Andrew Putnam (1)

Austin Donnelly (1)

Aviv Hurvitz (1)

Badrish Chandramouli (1)

Bodhi Priyantha (1)

Jonathan M. Carlson (1)

Christian Bird (1)

Scott Counts (1)

Christian Paquin (1)

Daan Leijen (1)

Darren Edge (1)

Dan Ling (1)

Dan Shumow (1)

Dany Rouhana (1)

David Johnston (1)

Doug Burger (1)

Dushyanth Narayanan (1)

Gopal Srinivasa (1)

Haidong Zhang (1)

Hoifung Poon (1)

Jake Hofman (1)

John (JD) Douceur (1)

John Tang (1)

Karen Easterbrook (1)

Kevin Kane (1)

Knut Magne Risvik (1)

Krishna Chintalapudi (1)

Kukjin Lee (1)

Lars Liden (1)

Lei Cui (1)

Lei Ji (1)

Manoj Syamala (1)

Marcus Peinado (1)

Matthew Johnson (1)

Mike Lewis (1)

Nick Craswell (1)

Nikos Karampatziakis (1)

Nicolas Villar (1)

Paul Koch (1)

Peng Cheng (1)

Peter Bodík (1)

Piali Choudhury (1)

Rick Rashid (1)

Roy Levin (1)

Andrey Rybalchenko (1)

Ryota Tomioka (1)

Sasa Junuzovic (1)

Sean Rintel (1)

Spencer Fowers (1)

Srinath Setty (1)

Tony Hoare (1)

Vassily Lyutsarev (1)

Hanna Wallach (1)

William Blum (1)

Xun Guo (1)

Zhenghan Wang (1)

Daniel Firestone (1)

Aseem Rastogi (1)

Chris Lovett (1)

Yaobo Liang (1)

Solon Barocas (1)

Avrilia Floratou (1)

Li Zhao (1)

Sean Andrist (1)

Fangzhao Wu (1)

Nathan Evans (1)

Bryan Tower (1)

Jacob Alber (1)

Rafah Hosn (1)

Mihaela Vorvoreanu (1)

Pat Sweeney (1)

Hui Xue (1)

Haoyu Dong (1)

Alessandro Sordoni (1)

Sunayana Sitaram (1)

Young Jin Kim (1)

Karthik Ramachandra (1)

Sonia Jaffe (1)

Scarlett Li (1)

Michael Schwarz (1)

Tobias Schnabel (1)

Hamed Khanpour (1)

Ivan Sadovskyy (1)

Swadheen Shukla (1)

Eleanor Dillon (1)

Jianxun Lian (1)

Wei Cui (1)

Daniel S. Berger (1)

Ran Gilad-Bachrach (1)

Shruti Tople (1)

Bamdev Mishra (1)

Kevin Kaichuang Yang (1)

Mike Walker (1)

Widad Machmouchi (1)

Xenofon Foukas (1)

Arjun Radhakrishna (1)

Brian Caswell (1)

Rathijit Sen (1)

Mengting Wan (1)

Juan M. Lavista Ferres (1)

Shaohan Huang (1)

Jordan Ash (1)

Abhisek Pan (1)

Madeleine Daepp (1)

Friederike Niedtner (1)

Ashley J. Llorens (1)

Ashvin Agrawal (1)

Raghu Ramakrishnan (1)

Camille Couturier (1)

Kunho Kim (1)

Stojan Trajanovski (1)

Andrea Tupini (1)

Jonathan McLean (1)

Tengchao Lv (1)

Prof. Darren Cosker (1)

Shiqi Jiang (1)

Millicent Ochieng (1)

Robin Abraham (1)

Jayashree Mohan (1)

Jennifer Neville (1)

Victor Ruehle (1)

Chang Xu (1)

Xianliang Yang (1)

Srinivasan Iyengar (1)

Chenglong Wang (1)

Jeevana Priya Inala (1)

Yansen Wang (1)

Rogerio Bonatti (1)

Yangyu Huang (1)

Donglin Bai (1)

Yifan Yang (1)

Harkirat Behl (1)

Jiahang Xu (1)

Yuge Zhang (1)

Bonnie Kruft (1)

Menglin Xia (1)

Chandan Singh (1)

Hosein Hasanbeig (1)

Frank Noé (1)

Whitney Hudson (1)

Rujia Wang (1)

Asma Ben Abacha (1)

Gabriel Ebner (1)

Sarah Smith (1)

Chaojie Zhang (1)

Fiodar Kazhamiaka (1)

Dax Pryce (1)

Ade Famoti (1)

Xiaoting Qin (1)

Siddarth Asokan (1)

Soheil Abbasloo (1)

Lev Tankelevitch (1)

Tianyu Ding (1)

Chen Liang (1)

Vivan Amin (1)

Sarah Alamdari (1)

Lindsey Raymond (1)

Matthew Vogel (1)

Darya Moldavskaya (1)

Kiran Tomlinson (1)

Baolin Peng (1)

Lingjiao Chen (1)

Sirui Li (1)

Fazle Faisal (1)

Fatemeh Saleh (1)

Carolyn Tsao (1)

Zhengyuan Yang (1)

Yuchen Zeng (1)

Shivam Garg (1)

Jihoon Tack (1)

Payod Panda (1)

Pedro BPS Reis (1)

Published Date

Publication

Exact Synthesis of Single-qubit Unitaries over Clifford-cyclotomic Gate Sets

Simon Forest, David Gosset, Vadym Kliuchnikov, David Mckinnon

January 2015

Publication

The Hidden Graph Model: Communication Locality and Optimal Resiliency with Adaptive Faults

Nishanth Chandran, Wutichai Chongchitmate, Juan A. Garay, Shafi Goldwasser, Rafail Ostrovsky, Vassilis Zikas

Proceedings of the 2015 Conference on Innovations in Theoretical Computer Science, ITCS 2015, Rehovot, Israel, January 11-13, 2015 | January 2015

ISBN: 978-1-4503-3333-7

Publication

Fast algorithms for online stochastic convex programming

Shipra Agrawal, Nikhil Devanur

SODA 2015 (ACM-SIAM Symposium on Discrete Algorithms) | January 2015

SODA 2015 (ACM-SIAM Symposium on Discrete Algorithms)

Project

Publication

Relax, No Need to Round: Integrality of Clustering Formulations

Pranjal Awasthi, Afonso S. Bandeira, Moses Charikar, Ravishankar Krishnaswamy, Soledad Villar, Rachel Ward

Proceedings of the 2015 Conference on Innovations in Theoretical Computer Science | January 2015

ISBN: 978-1-4503-3333-7

Publication

Program Boosting: Program Synthesis via Crowd-Sourcing

Robert A Cochran, , Benjamin Livshits, David Molnar, Margus Veanes, Ben Livshits

POPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2015

Publication

Incentive Networks

Yuezhou Lv, Thomas Moscibroda

AAAI 2015: 29th AAAI Conference on Artificial Intelligence, Austin, Texas | January 2015

Publication

Communication-Efficient Distributed Optimization of Self-Concordant Empirical Loss

Yuchen Zhang, Lin Xiao

MSR-TR-2015-1 | January 2015

Project

Publication

Convex Optimization: Algorithms and Complexity

Sébastien Bubeck

Foundations and Trends in Machine Learning | January 2015, Vol 8(4): pp. 231-357

Project

Microsoft Research Blog

Equation of a Fuzzing Curve — Part 1/2

December 18, 2014 | Eugene Bobukh

Introduction While fuzzing, you may need to extrapolate or describe analytically a “fuzzing curve”, which is the dependency between the number of bugs found and the count of fuzzing inputs. Here I will share my…

Publication

On-demand interface registration with a voice control system

Gershom Louis Payzer, Nicholas Dorian Rapp, Nalin Singal, Lawrence Wayne Olson

December 2014