illustration of connector points and an up arrow and down arrow on a green gradient background

Systems & networking

Researching and inventing new technologies for next-generation infrastructures and platforms for sensors, devices and the cloud.

robotics workshop header - server hallway with a color gradient overlay

Efficient AI | Making Azure's big bet possible

Weishung Liu on the Microsoft Research Podcast

What’s Your Story: Weishung Liu | Microsoft Research Podcast

AI Infrastructure | Towards efficient AI/ML deployment

Microsoft at ASPLOS 2024: Advancing hardware and software for high-scale, secure, and efficient modern applications

Current selections

Sort by: Most recent

Clear selections

Search within these results

Content Types

People

Ranveer Chandra (163)

Victor Bahl (147)

Venkat Padmanabhan (130)

Thomas Moscibroda (114)

Suman Nath (111)

Ganesh Ananthanarayanan (92)

Ramachandran Ramjee (91)

Lidong Zhou (86)

Paolo Costa (84)

Alec Wolman (78)

Bozidar Radunovic (77)

Sharad Agarwal (73)

Thomas Karagiannis (72)

Qingwei Lin 林庆维 (67)

Dave Maltz (66)

Ricardo Bianchini (65)

Hitesh Ballani (64)

Dave Thaler (64)

Fan Yang (55)

Karin Strauss (54)

Jay Lorch (53)

Behnaz Arzani (53)

Stefan Saroiu (50)

Íñigo Goiri (49)

Chieh-Jan Mike Liang (49)

Daniel S. Berger (46)

Ryan Beckett (45)

Madan Musuvathi (44)

Chetan Bansal (43)

Dushyanth Narayanan (42)

Dongmei Zhang (42)

Austin Donnelly (40)

John (JD) Douceur (40)

Saravan Rajmohan (40)

Krishna Chintalapudi (39)

Peng Cheng (39)

Emre Kiciman (38)

Yongqiang Xiong (38)

Rodrigo Fonseca (38)

Ishai Menache (37)

Bodhi Priyantha (36)

Yongguang Zhang (35)

Kevin Hsieh (34)

Haoxiang Lin (33)

Yuqing Yang (33)

Sameh Elnikety (32)

Siddhartha Sen (32)

Dan R. K. Ports (32)

Esha Choukse (32)

Butler Lampson (30)

Akshay Nambi (30)

Chris Hawblitzel (29)

Galen Hunt (29)

Jayashree Mohan (29)

Doug Burger (28)

Jim Gray (26)

Srinath Setty (26)

Siva Kesava Reddy Kakarla (26)

Jonathan Mace (26)

Sergey Legtchenko (25)

Surajit Chaudhuri (25)

Vishnu Navda (24)

Peter Bodík (24)

Sanjeev Mehrotra (24)

Manuel Costa (23)

Andromachi Chatzieleftheriou (23)

Shan Lu (23)

Jacob Nelson (22)

Eric Horvitz (21)

Hugh Williams (21)

Benn Thomsen (21)

Ioan Stefanovici (21)

Yu Kang (21)

Pedro Henrique Penna (21)

Daniel Cletheroe (20)

Matthai Philipose (20)

A.J. Brush (19)

Cédric Fournet (19)

Sebastian Burckhardt (19)

Irene Zhang (19)

Nipun Kwatra (19)

Tim Deegan (19)

Renato L. de F. Cunha (19)

Shiqi Jiang (19)

Minghua Ma (19)

Si Qin (19)

Ashish Panwar (19)

Weidong Cui (18)

Youshan Miao (18)

Xenofon Foukas (18)

Badrish Chandramouli (17)

Lenin Ravindranath Sivalingam (17)

Yanjie Gao (17)

Qi Chen (17)

Bo Qiao (17)

Carlo Curino (16)

Chong Luo (16)

Nikolaj Bjørner (16)

Phil Bernstein (16)

Ran Shu (16)

Chaojie Zhang (16)

Shuo Chen (15)

Scott Saponas (15)

Vivek Narasayya (15)

Bichlien Nguyen (15)

David Sweeney (14)

Henrique S. Malvar (14)

Landon Cox (14)

Pulkit Misra (14)

Wei Cui (14)

Pu Zhao (14)

Tusher Chakraborty (14)

Jue Zhang (14)

A. Parayil (14)

Kaushik Rajan (13)

Manik Varma (13)

Marcus Peinado (13)

Sriram Rajamani (13)

Wei Chen (13)

Ben Zorn (13)

Stavros Volos (13)

Daniel Firestone (13)

Alok Kumbhare (13)

Rich Draves (12)

James Clegg (12)

Kai Shi (12)

Burcu Canakci (12)

Suraj Jog (12)

Andrew Putnam (11)

Shuvendu Lahiri (11)

Harsha Simhadri (11)

Celine Irvene (11)

Victor Ruehle (11)

Mayukh Das (11)

Fangkai Yang (11)

Rujia Wang (11)

Alex Crown (10)

Cormac Herley (10)

Nagarajan Natarajan (10)

Luke Marshall (10)

Vaishnavi Ranganathan (10)

Rathijit Sen (10)

Heidi Howard (10)

Matthew Balkwill (10)

Abigail Sellen (9)

Bin Benjamin Zhu (9)

Jennifer Chayes (9)

Johannes Gehrke (9)

Nebojsa Jojic (9)

Kenji Takeda (9)

Manoj Syamala (9)

Raghav Kaushik (9)

Ariel Gomez Diaz (9)

Francesca Parmigiani (9)

Sara Malvar (9)

Srinivasan Iyengar (9)

Changho Hwang (9)

Xuchao Zhang (9)

Gagan Somashekar (9)

Akash Lal (8)

Christian Borgs (8)

Arnd Christian König (8)

Eric Peterson (8)

Rick Rashid (8)

Ramarathnam Venkatesan (8)

Swami Manohar (8)

Sangho Lee (8)

Zhixiong Niu (8)

Patrick Anderson (8)

Debopam Bhattacherjee (8)

Yifan Yang (8)

Rohan Gandhi (8)

Ankur Mallick (8)

Sathiya Kumaran Mani (8)

Haoran Qiu (8)

Anoop Gupta (7)

Christopher Bishop (7)

Ed Cutrell (7)

Dinei Florencio (7)

David Heckerman (7)

Janardhan (Jana) Kulkarni (7)

Jack W. Stokes (7)

Nathalie Henry Riche (7)

Nikhil Swamy (7)

Himanshu Raj (7)

Rui Gao (7)

Andrey Rybalchenko (7)

Yuan-Jyue Chen (7)

Hui Xue (7)

Xian Zhang (7)

Qianxi Zhang (7)

Nikolaos Karianakis (7)

Jiahang Xu (7)

Enrique Saurez (7)

Riyaz Pishori (7)

Fiodar Kazhamiaka (7)

Pashmina Cameron (7)

Liqun Li (7)

Amit Sharma (6)

Scott Counts (6)

Gordon Bell (6)

Manish Gupta (6)

Ivan Tashev (6)

John Langford (6)

Michael Freedman (6)

Reuben Olinsky (6)

Sean Rintel (6)

Aleksandrs Slivkins (6)

Sergey Yekhanin (6)

Sylvan Clebsch (6)

Fotini Karinou (6)

Amaury Chamayou (6)

Junyi Liu (6)

Dongsheng Li (6)

Hang Dong (6)

Fanny Nina Paravecino (6)

Zhihua Lai (6)

Ross Cutler (6)

Xiaoting Qin (6)

Renee St. Amant (6)

Jing Liu (6)

Andrew D. Wilson (5)

Brendan Lucier (5)

Christian Bird (5)

Chin-Yew Lin (5)

Jianfeng Gao (5)

Kevin Kane (5)

Margus Veanes (5)

Markus Weimer (5)

Nishanth Chandran (5)

Nick Craswell (5)

Satya Lokam (5)

Tolga Acar (5)

Aseem Rastogi (5)

Anand Bonde (5)

Budhaditya Deb (5)

Xu Cao (5)

Jakub Tarnawski (5)

Konstantina Mellou (5)

Matteo Interlandi (5)

Abhisek Pan (5)

Douglas J. Kelly (5)

Qianhui Wu (5)

Hugo Barbalho (5)

Jake Smith (5)

Kali Frost (5)

Donglin Bai (5)

Marco Molinaro (5)

Ankit Verma (5)

Connor Settle (5)

Baotong Lu (5)

Liangcheng Yu (5)

Karthick Jayaraman (5)

Adrien Ghosn (5)

Ajay Manchepalli (4)

Antoine Delignat-Lavaud (4)

Arjmand Samuel (4)

Cha Zhang (4)

Christophe Poulain (4)

Chuck Thacker (4)

Jonathan Lester (4)

Knut Magne Risvik (4)

Matthew Renzelmann (4)

Ray Bittner (4)

Subru Krishnan (4)

Siddharth Suri (4)

Jaime Teevan (4)

Trevor Eberl (4)

Vassily Lyutsarev (4)

Yang Liu (4)

Scarlett Li (4)

Tanakorn Leesatapornwongsa (4)

Tanuja Ganu (4)

Brent Hecht (4)

Jiaqi Chu (4)

Yeyun Gong (4)

Camille Couturier (4)

Daniel Madrigal (4)

Mirian Hipolito Garcia (4)

Rafael da Silva (4)

Leonardo Nunes (4)

Roberto Estevão (4)

Xingbo Wu (4)

Srikant Bharadwaj (4)

Rafael Padilha (4)

Bruno Silva (4)

Yifei Shen (4)

Aashaka Shah (4)

Kirill Kalinin (4)

Roshan Dathathri (4)

Burton Smith (3)

Daan Leijen (3)

Dany Rouhana (3)

Ece Kamar (3)

G. Ramalingam (3)

Greg Smith (3)

Jinyu Li (3)

John Winn (3)

Ken Woodberry (3)

Kukjin Lee (3)

Leslie Lamport (3)

Matthew J. Parkinson (3)

Miro Dudík (3)

Tom Minka (3)

Nicole Immorlica (3)

Peter Lee (3)

Qiufeng Yin (3)

Richard Banks (3)

Roy Levin (3)

Santiago Zanella-Béguelin (3)

Shi Han (3)

Shobana Balakrishnan (3)

Siân Lindley (3)

Sarah Bird (3)

Sumit Basu (3)

Todd Massengill (3)

Wentao Wu (3)

Weizhu Chen (3)

Avrilia Floratou (3)

Yiyong Lin (3)

Robert Sim (3)

Rahee Ghosh Peshawaria (3)

Sonia Jaffe (3)

Divya Gupta (3)

Sonu Mehta (3)

Robert Gmyr (3)

Eddy Ashton (3)

Vishak Gopal (3)

Weiwei Yang (3)

Ziqiao Zhou (3)

Harsh Vijay (3)

Patricia Kovaleski (3)

Swati Sharma (3)

Nathanael Cheriere (3)

Jennifer Neville (3)

Yizhong Zhang (3)

Luna K. Qiu (3)

Yangyu Huang (3)

Guoxin Sui (3)

Yuge Zhang (3)

Zhiyuan He (3)

Menglin Xia (3)

Sampath Rajendra (3)

Lev Tankelevitch (3)

Jennifer Marsman (3)

Hayley LeBlanc (3)

Tianyu Chen (3)

Andrew Herbert (2)

Ali Bakhoda (2)

Anton Schwaighofer (2)

Andy Slowey (2)

Baining Guo (2)

Chris Quirk (2)

CJ Williams (2)

Hoifung Poon (2)

Hsiao-Wuen Hon (2)

Jacek Czerwonka (2)

Jacki O'Neill (2)

John Snyder (2)

John Tang (2)

Rui Ding (2)

Kalika Bali (2)

Kate Crawford (2)

Kim Herzig (2)

Kori Inkpen (2)

Lev Nachmanson (2)

Markus Cozowicz (2)

Marina Polishchuk (2)

Nicolas Villar (2)

Piali Choudhury (2)

Ravishankar Krishnaswamy (2)

Ryen W. White (2)

Sumit Gulwani (2)

Yifan Gong (2)

Anshuman Dutt (2)

Paul Thomas (2)

Jiaolong Yang (2)

Vageesh D C (2)

Sean Andrist (2)

Bryan Tower (2)

Sitaram Lanka (2)

Logan Adams (2)

Yang Ou (2)

Jason Kace (2)

Boris Köpf (2)

Tal Zaccai (2)

Yi Shan (2)

Lukas M. Maas (2)

Sudha Rao (2)

Mohit Jain (2)

Longqi Yang (2)

Vasileios Zois (2)

P. Anandan (2)

Shruti Tople (2)

Arjun Radhakrishna (2)

Yiwen Zhu (2)

Ammar Ahmad Awan (2)

Juan M. Lavista Ferres (2)

Ashley J. Llorens (2)

Jenna Butler (2)

Neha Parikh Shah (2)

Philipp Witte (2)

Zhongxin Guo (2)

Peichen Xie (2)

Xuan Feng (2)

Kate Nowak (2)

Xinyang Jiang (2)

Nan Chen (2)

Tao Zhang (2)

Abhinav Jangda (2)

Waleed Reda (2)

Sami Khairy (2)

Ravi Shreyas Anupindi (2)

Brian Houck (2)

Maria Angels de Luis Balaguer (2)

Nicolas Bruno (2)

Soheil Abbasloo (2)

Seth Spielman (2)

Prathamesh Deshpande (2)

Jay Bosamiya (2)

Ruichun Ma (2)

Fazle Faisal (2)

Cassiano Becker (2)

Sujata Banerjee (2)

Pooria Namyar (2)

Rohan Mahapatra (2)

Fabian Falck (2)

Payod Panda (2)

Andrew Blake (1)

Aditya Nori (1)

Andrey Kolobov (1)

Akshay Krishnamurthy (1)

Alex Bocharov (1)

Amit Deshpande (1)

Nancy Baym (1)

Josh Benaloh (1)

Jonathan M. Carlson (1)

Chris O'Prey (1)

Cuiling Lan (1)

Darren Edge (1)

Dan Shumow (1)

David Rothschild (1)

Dan Bohus (1)

Don Syme (1)

Furu Wei (1)

Gopal Srinivasa (1)

Gregory Lee (1)

Gaoxiang Xu (1)

Hannes Gamper (1)

Harry Shum (1)

John Helmes (1)

Jonathan Larson (1)

Jordan Dahl (1)

Katja Hofmann (1)

Jim Kajiya (1)

Kendall Martin (1)

Lei Cui (1)

Bin Li (1)

Lijuan Wang (1)

Matthew Hastings (1)

Matthew Johnson (1)

Martin Cai (1)

Mike Shepperd (1)

Neel Joshi (1)

Nikos Karampatziakis (1)

Bo-June (Paul) Hsu (1)

Patrick Longa (1)

Paul Mineiro (1)

Ran Gal (1)

Robert Gruen (1)

Sasa Junuzovic (1)

Spencer Fowers (1)

Shamsi Iqbal (1)

Silviu Cucerzan (1)

Suresh Parthasarathy (1)

Suresh Thummalapenta (1)

Sam Webster (1)

Tarleton Gillespie (1)

Tony Hoare (1)

Hanna Wallach (1)

Xing Xie (1)

Xin Ma (1)

Yeye He (1)

Yinan Li (1)

Yu Liu (1)

Shital Shah (1)

Anja Thieme (1)

Ramakrishna Bairi (1)

Yaobo Liang (1)

Pantazis Deligiannis (1)

Laura Walker (1)

Tahina Ramananandro (1)

Hongzhi Li (1)

Rajan Chari (1)

Mihaela Vorvoreanu (1)

Pat Sweeney (1)

Advait Sarkar (1)

Matthew Dixon (1)

Marc-Alexandre Côté (1)

Sunayana Sitaram (1)

Mahdi Ghandi (1)

Phillip Yi Xiao (1)

Alex Wetmore (1)

Christopher Gooley (1)

Karthik Ramachandra (1)

Sebastian Braun (1)

Kate Lytvynets (1)

Stephanie Hyland (1)

Carmen Badea (1)

Denae Ford (1)

Xiaofei Wang (1)

Lukas Wutschitz (1)

Rangan Majumder (1)

Nathan Myhrvold (1)

Adam D. Troy (1)

Xiubo Geng (1)

Kevin Kaichuang Yang (1)

Gustavo Soares (1)

Shruthi Bannur (1)

Weiqing Liu (1)

Kenichi Kumatani (1)

Carolyn Buractaon (1)

James Bono (1)

Mengting Wan (1)

Elton Zheng (1)

Manthan Thakker (1)

Aaron L Halfaker (1)

Daniel Coelho de Castro (1)

Hao Cheng (1)

Ashvin Agrawal (1)

Jingwen Lu (1)

Raghu Ramakrishnan (1)

Fotis Psallidas (1)

Jack Williams (1)

Kevin Larson (1)

Jonathan McLean (1)

Johnny Johnson (1)

Huseyin Inan (1)

Ava P. Amini (1)

Jason (Zengzhong) Li (1)

Tengchao Lv (1)

Millicent Ochieng (1)

Anja Gruenheid (1)

Yuanyuan Tian (1)

Michael Hansen (1)

Roberto Santos (1)

Sepideh Mahabadi (1)

Sameer Segal (1)

Harish Doraiswamy (1)

Maximilian Ilse (1)

Chang Xu (1)

Sheng Zhao (1)

Sarah Lewis (1)

Yansen Wang (1)

Qingtao Li (1)

Fernando Pérez-García (1)

Harshita Sharma (1)

James Devine (1)

Caihua Shan (1)

Antonio Criminisi (1)

Morris Sharp (1)

Shoko Ueda (1)

Michael Xu (1)

Corby Rosset (1)

Dominic Ayre (1)

Hosein Hasanbeig (1)

Nicholas Jing Yuan (1)

Mahati Chamarthy (1)

Priyanshu Gupta (1)

Takuro Sato (1)

Jorge J. G. Leandro (1)

Zinan Lin (1)

Sara Abdali (1)

Whitney Hudson (1)

Weijia Xu (1)

Gbola Afonja (1)

Rithvik Kolla (1)

Dax Pryce (1)

Ade Famoti (1)

Steven Truitt (1)

Oleksii Oleksenko (1)

Mansi Khemka (1)

Angelica Moreira (1)

Chen Liang (1)

Ha Trinh (1)

Joshua Bradley (1)

Jiamin Li (1)

Kenza Bouzid (1)

Arman Salimi (1)

Yupan Huang (1)

Dongge Han (1)

Grigory Chirkov (1)

Ananya Singha (1)

Sarah Alamdari (1)

Wenxue Cheng (1)

Sam Ade Jacobs (1)

Samuel Kessler (1)

Matthew Perron (1)

Carles Domingo-Enrich (1)

Hui Xue (1)

Zilong Wang (1)

Yuhang He (1)

Luca Wilke (1)

Sirui Li (1)

Junjie Xing (1)

Xiaoying Wang (1)

Marianna Pantouvaki (1)

Kaoutar Benyahya (1)

Anson Bastos (1)

Jay Gala (1)

Babak Rahmani (1)

Spyridon (Spyros) Mastorakis (1)

Helia Hashemi (1)

Oleg Smirnov (1)

Vivek Mathur (1)

Alind Khare (1)

Published Date

Publication

Fair stateless model checking

Madanlal Musuvathi, Shaz Qadeer, Madan Musuvathi

PLDI 08: Programming Language Design and Implementation | June 2008

PLDI 08: Programming Language Design and Implementation

Publication

Understanding Hybrid CDN-P2P: Why Limelight Needs its Own Red Swoosh

Cheng Huang, Angela Wang, Jin Li, Keith W. Ross

NOSSDAV ’08 Proceedings of the 18th International Workshop on Network and Operating Systems Support for Digital Audio and Video, Braunschweig, Germany | May 2008

ISBN: 978-1-60558-157-6

Publication

STAR: An Efficient Coding Scheme for Correcting Triple Storage Node Failures

Cheng Huang, Lihao Xu

IEEE Transactions on Computers | May 2008

Publication

Getting Operations Logic Right: Types, Service-Orientation, and Static Analysis

Karthik Bhargavan, Andy Gordon

Workshop on The Rise and Rise of the Declarative Datacentre | May 2008

Publication

Îµ-Optimization Schemes and L-bit Precision: Alternative perspectives for Solving Combinatorial Optimization Problems

James B. Orlin, Andreas S. Schulz, Sudipta Sengupta

Discrete Optimization | May 2008, pp. 550-561

Special issue in memory of George B. Dantzig

Publication

PRISM: PRecision-Integrated Scalable Monitoring

Navendu Jain, Dmitry Kit, Prince Mahajan, Praveen Yalagandula, Mike Dahlin, Yin Zhang

TR06-22 | May 2008

Publication

Packing multicast trees

Philip A. Chou, Sudipta Sengupta, Minghua Chen, Jin Li

May 2008

Workshop on Modeling and Analysis of Computer and Communication Systems

Publication

Proceedings of the workshop on “The Rise and Rise of the Declarative Datacentre”

Tim Harris, Karthik Bhargavan, Andy Gordon

MSR-TR-2008-61 | May 2008

Publication

HomeMaestro: Order from Chaos in Home Networks

Thomas Karagiannis, Elias Athanasopoulos, Christos Gkantsidis, Peter Key

MSR-TR-2008-84 | May 2008

Publication

Evidence-Based Access Control for Ubiquitous Web Services

Nishith Khantal, Johannes Helander, Ben Zorn, Oscar Almeida

2nd Web 2.0 Security and Privacy, in Conjunction with IEEE Symposium on Security and Privacy | May 2008

Systems & networking

Highlights