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

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

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

Jay Lorch (53)

Behnaz Arzani (53)

Stefan Saroiu (50)

Chieh-Jan Mike Liang (49)

Íñigo Goiri (48)

Ryan Beckett (45)

Daniel S. Berger (45)

Madan Musuvathi (44)

Chetan Bansal (43)

Dushyanth Narayanan (42)

Dongmei Zhang (42)

John (JD) Douceur (40)

Saravan Rajmohan (40)

Austin Donnelly (39)

Krishna Chintalapudi (39)

Peng Cheng (39)

Emre Kiciman (38)

Yongqiang Xiong (38)

Ishai Menache (37)

Bodhi Priyantha (36)

Rodrigo Fonseca (36)

Yongguang Zhang (35)

Kevin Hsieh (34)

Haoxiang Lin (33)

Yuqing Yang (33)

Sameh Elnikety (32)

Siddhartha Sen (32)

Esha Choukse (32)

Dan R. K. Ports (31)

Butler Lampson (30)

Akshay Nambi (30)

Chris Hawblitzel (29)

Doug Burger (29)

Galen Hunt (29)

Jayashree Mohan (29)

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)

Jacob Nelson (22)

Shan Lu (22)

Eric Horvitz (21)

Hugh Williams (21)

Ioan Stefanovici (21)

Yu Kang (21)

Daniel Cletheroe (20)

Matthai Philipose (20)

Benn Thomsen (20)

Pedro Henrique Penna (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)

Andrew Putnam (12)

Rich Draves (12)

James Clegg (12)

Kai Shi (12)

Burcu Canakci (12)

Suraj Jog (12)

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)

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)

Vaishnavi Ranganathan (9)

Yifan Xiong (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)

Riyaz Pishori (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)

Enrique Saurez (6)

Fiodar Kazhamiaka (6)

Xiaoting Qin (6)

Renee St. Amant (6)

Andrew D. Wilson (5)

Brendan Lucier (5)

Christian Bird (5)

Chin-Yew Lin (5)

Darren Gehring (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)

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

Brian Kroth (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)

Yifei Shen (4)

Aashaka Shah (4)

Kirill Kalinin (4)

Ali Bakhoda (3)

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)

Lihua Yuan (3)

Yizhong Zhang (3)

Luna K. Qiu (3)

Yangyu Huang (3)

Guoxin Sui (3)

Yuge Zhang (3)

Zhiyuan He (3)

Menglin Xia (3)

Bruno Silva (3)

Sampath Rajendra (3)

Lev Tankelevitch (3)

Roshan Dathathri (3)

Jennifer Marsman (3)

Hayley LeBlanc (3)

Tianyu Chen (3)

Andrew Herbert (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)

Ran Gal (2)

Ricardo Gutierrez (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)

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)

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)

Nathan Evans (1)

Rajan Chari (1)

Mihaela Vorvoreanu (1)

Pat Sweeney (1)

Advait Sarkar (1)

Matthew Dixon (1)

Marc-Alexandre Côté (1)

Sunayana Sitaram (1)

Adam Sapek (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)

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

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)

Abhinav Jangda (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)

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)

Zilong Wang (1)

Yuhang He (1)

Sirui Li (1)

Junjie Xing (1)

Xiaoying Wang (1)

Shawn Yohanes Siew (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

Corral: A Solver for Reachability Modulo Theories

Akash Lal, Shaz Qadeer, Shuvendu Lahiri

Computer-Aided Verification (CAV) | July 2012

Computer-Aided Verification (CAV)

Project

Publication

Cloud-Powered Sight for All: Showing the Cloud What You See

Paramvir Bahl, Matthai Philipose, Victor Bahl

International Workshop on Mobile Cloud Computing and Services (MCS) | June 2012

International Workshop on Mobile Cloud Computing and Services (MCS)

Video Project

Publication

FM-based Indoor Localization

Yin Chen, Jie Liu, Dimitrios Lymberopoulos, Bodhi Priyantha,

ACM International Conference in Mobile Systems, Applications, and Services (MobiSys) | June 2012

Publication

Fast App Launching for Mobile Devices Using Predictive User Context

David Chu, Aman Kansal, Jie Liu

ACM MobiSys | June 2012

ACM MobiSys

Publication

Spot Localization Using PHY Layer Information

Souvik Sen, Bozidar Radunovic, Romit Roy Choudhury, Tom Minka

In proceedings of ACM Mobisys | June 2012

Publication

SwordFight: Enabling a New Class of Phone-to-Phone Action Games on Commodity Phones

Zengbin Zhang, David Chu, Xiaomeng Chen, Thomas Moscibroda

MobiSys 2012: 10th ACM International Conference on Mobile Systems, Applications, and Services, Low Wood Bay, UK | June 2012

Publication

DozyAP: Power-Efficient Wi-Fi Tethering

Hao Han, Yunxin Liu, Jacky Shen, Yongguang Zhang, Qun Li

The 10th International Conference in Mobile Systems, Applications, and Services (MobiSys 2012) | June 2012

Publication

Advancing the State of Mobile Cloud Computing

Victor Bahl, Richard Y. Han, Li Erran Li, Mahadev Satyanarayanan

Proceedings of the third ACM workshop on Mobile Cloud Computing and Services, (MCS), Low Wood Bay, Lake District, UK, June 2012 | June 2012

Project

A skunkworks project in 2008/2009 to re-imagine the OS platform for Windows Phone. The prototype proved that Windows NT and the CLR could deliver better performance than Windows CE and the .NET Compact Framework on…

Publication

Cloud Types for Eventual Consistency

Daan Leijen, Sebastian Burckhardt, Benjamin P. Wood, Manuel Fahndrich

Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP) | June 2012

Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP)

Project Project

Systems & networking

Highlights