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 (49)

Tom Minka (49)

Margus Veanes (42)

Aleksandrs Slivkins (41)

Marco Molinaro (41)

Jianfeng Gao (38)

Manik Varma (37)

Nishanth Chandran (31)

Nicole Immorlica (31)

David Heckerman (27)

Eric Horvitz (27)

Sergey Yekhanin (27)

Neeraj Kayal (25)

Ishai Menache (23)

Ravishankar Krishnaswamy (22)

Saravan Rajmohan (22)

Thomas Moscibroda (21)

Yu Kang (21)

Madan Musuvathi (20)

Bo Qiao (20)

Pu Zhao (20)

John Snyder (19)

Harsha Simhadri (19)

Dongsheng Li (19)

Sepideh Mahabadi (19)

Nikolaj Bjørner (18)

Sriram Rajamani (18)

Yang Liu (18)

Jakub Tarnawski (18)

Andrew D. Wilson (17)

Jennifer Wortman Vaughan (17)

Satya Lokam (17)

Siddhartha Sen (17)

Sebastian Braun (17)

Baining Guo (15)

Stephen Lin (15)

Dimitra Emmanouilidou (15)

Aditya Nori (14)

Ivan Tashev (14)

John Langford (14)

Si Qin (14)

Konstantina Mellou (13)

Henrique S. Malvar (12)

Neel Joshi (12)

Lester Mackey (12)

Akshay Nambi (12)

G. Ramalingam (11)

Michael Naehrig (11)

Luke Marshall (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)

Surajit Chaudhuri (8)

Rick Szeliski (8)

Tolga Acar (8)

Ankit Garg (8)

Hang Dong (8)

Xufang Luo (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)

Suman Nath (7)

James Bono (7)

Bozidar Radunovic (6)

Dan Bohus (6)

Michael Freedman (6)

Markus Weimer (6)

Ramarathnam Venkatesan (6)

Weizhu Chen (6)

Bichlien Nguyen (6)

Yuqing Yang (6)

Zinan Lin (6)

Alex Bocharov (5)

Chetan Bansal (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)

Hugo Barbalho (4)

Jue Zhang (4)

Fangkai Yang (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)

Qianhui Wu (3)

Mayukh Das (3)

A. Parayil (3)

Xinyang Jiang (3)

Dongqi Han (3)

Yifei Shen (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)

Markus Cozowicz (2)

Matthew J. Parkinson (2)

Nathalie Henry Riche (2)

Ran Gal (2)

Ricardo Bianchini (2)

Roman Lutchyn (2)

Shi Han (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)

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)

Xuchao Zhang (2)

Pashmina Cameron (2)

Ha Trinh (2)

Gagan Somashekar (2)

Victor Reis (2)

Zilong Wang (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)

Lijuan Wang (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)

Shujie Liu (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)

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)

Yang Liu (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)

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)

Carles Domingo-Enrich (1)

Kiran Tomlinson (1)

Sirui Li (1)

Fatemeh Saleh (1)

Yifan Wu (1)

Carolyn Tsao (1)

Jihoon Tack (1)

Payod Panda (1)

Published Date

Project

Cloud Efficiency Optimization (CLEO)

Improving resource utilization and sustainability The goal of this project is to infuse optimization solutions across Microsoft’s Cloud, targeting improvements in resource utilization (space, power, compute) and sustainability. We are interested in both fundamental and…

Publication

Symbolic Automata: Omega-Regularity Modulo Theories

Margus Veanes, Thomas Ball, Gabriel Ebner, Ekaterina Zhuchko

POPL | January 2025

Project

Publication

Information Complexity of Mixed-Integer Convex Optimization

A. Basu, Hongyi Jiang, Phillip A. Kerger, Marco Molinaro

Math. Program. | January 2025, Vol 210: pp. 3-45

Publication

Sublinear Metric Steiner Tree via Improved Bounds for Set Cover

Sepideh Mahabadi, Mohammad Roghani, Jakub Tarnawski, Ali Vakilian

Innovations in Theoretical Computer Science (ITCS) | January 2025

Publication

DiscQuant: A Quantization Method for Neural Networks Inspired by Discrepancy Theory

Jerry Chee, Arturs Backurs, Rainie Heck, Li Zhang, Janardhan (Jana) Kulkarni, Thomas Rothvoss, Sivakanth Gopi

COLT 2025 | January 2025

Publication

RE#: High Performance Derivative-Based Regex Matching with Intersection, Complement, and Restricted Lookarounds

Ian Erik Varatalu, Margus Veanes, Juhan Ernits

POPL | January 2025

Project

Publication

The DiskANN library: Graph-Based Indices for Fast, Fresh and Filtered Vector Search

Ravishankar Krishnaswamy, Ravishankar Krishnaswamy, M. Manohar, Harsha Simhadri

IEEE Data Eng. Bull. | December 2024, Vol 48: pp. 20-42

Project

Publication

Trace is the Next AutoDiff: Generative Optimization with Rich Feedback, Execution Traces, and LLMs

Ching-An Cheng, Allen Nie, Adith Swaminathan

NeurIPS 2024 | December 2024

NeurIPS Expo Demo

Access

Podcast

Ideas: Economics and computation with Nicole Immorlica

December 5, 2024

When research manager Nicole Immorlica discovered she could use math to make the world a better place for people, she was all in. She discusses working in computer science theory and economics, including studying the…

Publication

Computational Design of Dense Servers for Immersion Cooling

Milin Kodnongbua, Fiodar Kazhamiaka, Daniel S. Berger, Vikram Iyer, Alvin Lebeck, Rodrigo Fonseca, Ricardo Bianchini, Adriana Schulz

SIGGRAPH Asia & ACM Transactions on Graphics | December 2024