Algorithms

Current selections

Sort by: Most recent

Clear selections

Search within these results

Content Types

People

Leslie Lamport (137)

Wei Chen (135)

Qingwei Lin 林庆维 (93)

Christian Borgs (72)

Jennifer Chayes (66)

Sumit Gulwani (61)

Janardhan (Jana) Kulkarni (53)

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

Neeraj Kayal (25)

Ishai Menache (23)

Saravan Rajmohan (22)

Thomas Moscibroda (21)

Ravishankar Krishnaswamy (21)

Yu Kang (21)

Madan Musuvathi (20)

Bo Qiao (20)

Pu Zhao (20)

John Snyder (19)

Sepideh Mahabadi (19)

Nikolaj Bjørner (18)

Sriram Rajamani (18)

Yang Liu (18)

Harsha Simhadri (18)

Jakub Tarnawski (18)

Dongsheng Li (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)

Christopher Bishop (10)

Ryen W. White (10)

Arturs Backurs (10)

Akshay Krishnamurthy (9)

Amit Deshpande (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)

Yashoteja Prabhu (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)

Xufang Luo (7)

Bozidar Radunovic (6)

Dan Bohus (6)

Michael Freedman (6)

Markus Weimer (6)

Vadym Kliuchnikov (6)

Ramarathnam Venkatesan (6)

Weizhu Chen (6)

Bichlien Nguyen (6)

Yuqing Yang (6)

Zinan Lin (6)

Alex Bocharov (5)

Cheng Huang (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)

Milad Shokouhi (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)

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

Susan Dumais (4)

Tarleton Gillespie (4)

Shital Shah (4)

Jiang Bian (4)

Tanuja Ganu (4)

Linjun Shou (寿林钧) (4)

Peeyush Kumar (4)

Weiwei Yang (4)

Huseyin Inan (4)

Hugo Barbalho (4)

Jue Zhang (4)

Fangkai Yang (4)

Chaoyun Zhang (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)

Patricia Kovaleski (3)

Qianhui Wu (3)

Mayukh Das (3)

A. Parayil (3)

Xinyang Jiang (3)

Nicolas Bruno (3)

Tao Lin (3)

Andrew Blake (2)

A.J. Brush (2)

Abigail Sellen (2)

Ben Cutler (2)

Bin Benjamin Zhu (2)

Butler Lampson (2)

Arnd Christian König (2)

Chris White (2)

Dr. Chetan Nayak (2)

David Rothschild (2)

Desney Tan (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)

Robert DeLIne (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)

Rahul Sharma (2)

Paul Smolensky (2)

Budhaditya Deb (2)

Robert Sim (2)

Vibhav Vineet (2)

Divya Gupta (2)

Neil Tenenholtz (2)

Robert Gmyr (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)

Xuchao Zhang (2)

Dongqi Han (2)

Yifei Shen (2)

Pashmina Cameron (2)

Ha Trinh (2)

Gagan Somashekar (2)

Victor Reis (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)

Evelyne Viegas (1)

Gopal Srinivasa (1)

Haidong Zhang (1)

Hoifung Poon (1)

Jina Suh (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)

Peter Bodík (1)

Piali Choudhury (1)

Rick Rashid (1)

Roland Fernandez (1)

Roy Levin (1)

Andrey Rybalchenko (1)

Ryota Tomioka (1)

Sasa Junuzovic (1)

Sean Rintel (1)

Spencer Fowers (1)

Sharon Gillett (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)

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

Li Lyna Zhang (1)

Ivan Sadovskyy (1)

Swadheen Shukla (1)

Eleanor Dillon (1)

Jianxun Lian (1)

Suriya Gunasekar (1)

Li Dong (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)

Qianqian Qi (1)

Weishung 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)

Pedro Las-Casas (1)

Tengchao Lv (1)

Prof. Darren Cosker (1)

Shiqi Jiang (1)

Millicent Ochieng (1)

Robin Abraham (1)

Sadegh Aliakbarian (1)

Jayashree Mohan (1)

Jennifer Neville (1)

Victor Ruehle (1)

Lei Song (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)

Yuge Zhang (1)

Zhiyuan He (1)

Bonnie Kruft (1)

Menglin Xia (1)

Kun Li (1)

Yang Wang (1)

Chandan Singh (1)

Hosein Hasanbeig (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)

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)

Zilong Wang (1)

Fatemeh Saleh (1)

Yifan Wu (1)

Carolyn Tsao (1)

Yu Gu (1)

Published Date

Project

Agent Lightning

Optimize ANY agent with ANY framework We present Agent Lightning (opens in new tab), a flexible and extensible framework that enables seamless agent optimization for any existing agent framework. Here agent optimization includes various data-driven…

Publication

The Power of Migrations in Dynamic Bin Packing

Konstantina Mellou, Marco Molinaro, Rudy Zhou

ACM SIGMETRICS | June 2025

Project

Publication

Decision Trees with Short Explainable Rules

Victor Feitosa Souza, F. Cicalese, E. Laber, M. Molinaro, Marco Molinaro

Theoretical Computer Science | May 2025

Publication

Online Scheduling for LLM Inference with KV Cache Constraints

Patrick Jaillet, Jiashuo Jiang, Konstantina Mellou, Marco Molinaro, Chara Podimata, Zijie Zhou

May 2025

Project

Publication

PolySAT: Word-level Bit-vector Reasoning in Z3

Jakob Rath, Clemens Eisenhofer, Daniela Kaufmann, Nikolaj Bjørner, Laura Kov'acs

International Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2024) | May 2025

Publication

A Scalable Algorithm for Fair Influence Maximization with Unbiased Estimator

Xiaobin Rui, Zhixiao Wang, Hao Peng, Wei Chen, Philip S. Yu

IEEE Transactions on Knowledge and Data Engineering (TKDE) | May 2025

Publication

EyeO: Autocalibrating Gaze Output with Gaze Input for Gaze Typing

Akanksha Saran, Jacob Alber, Cyril Zhang, Ann Paradiso, Danielle Bragg, John Langford

CHI 2025 | April 2025

Publication

RuAG: Learned-rule-augmented Generation for Large Language Models

Yudi Zhang, Pei Xiao, Lu Wang, Chaoyun Zhang, Meng Fang, Yali Du, Yevgeniy Puzyrev, Randolph Yao, Si Qin, Qingwei Lin 林庆维, Mykola Pechenizkiy, Dongmei Zhang, Saravan Rajmohan, Qi Zhang

ICLR’25 | April 2025

Publication

Structural-Entropy-Based Sample Selection for Efficient and Effective Learning

Tianchi Xie, Jiangning Zhu, Guozu Ma, Minzhi Lin, Wei Chen, Weikai Yang, Shixia Liu

Proceedings of the 13th International Conference on Learning Representations (ICLR) | April 2025

Publication

OG-RAG: Ontology-Grounded Retrieval-Augmented Generation For Large Language Models

Peeyush Kumar, Kartik Sharma

April 2025

Github