An image of books on library shelves with a rainbow gradient overlay

Publications index

Below is an index of publications written by Microsoft researchers, often in collaboration with the academic community.

Current selections

Sort by: Most recent

Clear selections

Search within these results

People

Eric Horvitz (429)

Jianfeng Gao (384)

Jinyu Li (250)

Ryen W. White (239)

Dongmei Zhang (237)

Abigail Sellen (226)

Sumit Gulwani (224)

Stephen Lin (223)

David Heckerman (219)

Xing Xie (194)

Furu Wei (191)

Juan M. Lavista Ferres (186)

Antonio Criminisi (186)

Rick Szeliski (171)

Wei Chen (166)

Leslie Lamport (160)

Surajit Chaudhuri (160)

Ed Cutrell (159)

Qingwei Lin 林庆维 (149)

Ranveer Chandra (144)

Jaime Teevan (142)

Baining Guo (139)

Chin-Yew Lin (138)

Margus Veanes (136)

Ivan Tashev (133)

Nick Craswell (133)

Suman Nath (132)

Andrew D. Wilson (131)

Christopher Bishop (130)

Emre Kiciman (126)

Thomas Moscibroda (123)

Jonathan M. Carlson (118)

Dinei Florencio (115)

Yifan Gong (115)

Victor Bahl (111)

Christian Borgs (110)

Venkat Padmanabhan (110)

Cédric Fournet (107)

Sean Rintel (106)

John Langford (104)

Bill Weeks (104)

Jennifer Chayes (103)

Madan Musuvathi (100)

Sriram Rajamani (100)

Aditya Nori (99)

Nathalie Henry Riche (99)

Jim Gray (98)

Shuvendu Lahiri (98)

Christian Bird (93)

A.J. Brush (92)

G. Ramalingam (91)

Saravan Rajmohan (91)

Lijuan Wang (89)

Akshay Krishnamurthy (88)

Cha Zhang (88)

Dongsheng Li (88)

Tom Minka (87)

Shi Han (87)

Ece Kamar (86)

Hannes Gamper (86)

Lidong Zhou (86)

Rahul Dodhia (85)

Brendan Lucier (84)

Michel Galley (84)

Ramachandran Ramjee (83)

Siân Lindley (83)

Chetan Bansal (82)

Fan Yang (82)

Vivek Narasayya (82)

Jennifer Wortman Vaughan (81)

Shujie Liu (81)

Alec Wolman (80)

Ganesh Ananthanarayanan (79)

Kori Inkpen (78)

Scott Counts (77)

John Winn (77)

Karin Strauss (76)

Chong Luo (74)

Paolo Costa (74)

Li Dong (74)

Shamsi Iqbal (73)

Nebojsa Jojic (72)

Katja Hofmann (72)

Daan Leijen (71)

Dan Bohus (71)

Henrique S. Malvar (71)

Weizhu Chen (71)

Amit Sharma (70)

Hanna Wallach (70)

Wentao Wu (69)

Janardhan (Jana) Kulkarni (68)

Badrish Chandramouli (67)

Jack W. Stokes (67)

Kalika Bali (67)

Andrew Blake (66)

Jianlong Fu (66)

Cormac Herley (65)

Harry Shum (65)

Dave Maltz (64)

John Tang (64)

Sumit Basu (63)

Ben Zorn (63)

Yuqing Yang (63)

Dave Thaler (62)

Caleb Robinson (62)

Aleksandrs Slivkins (61)

Thomas Karagiannis (61)

Advait Sarkar (61)

Neel Joshi (60)

Sebastian Burckhardt (60)

Andrey Kolobov (59)

Hoifung Poon (59)

Kate Crawford (59)

Nikolaj Bjørner (59)

Nishanth Chandran (59)

Nicole Immorlica (59)

Jacki O'Neill (58)

Yang Liu (58)

Ricardo Bianchini (57)

Sarangarajan Parthasarathy (57)

Xiaodong Liu (57)

Sebastian Braun (57)

Akash Lal (56)

Chris Quirk (56)

Yan Lu (56)

Bela Bauer (55)

Butler Lampson (55)

John Snyder (55)

Nikhil Swamy (55)

Santiago Zanella-Béguelin (55)

John (JD) Douceur (54)

Jay Lorch (54)

Manik Varma (54)

Phil Bernstein (54)

Dong Chen (53)

Jonathan "Peli" de Halleux (53)

Lei Cui (53)

Melissa Chase (53)

Michel Pahud (53)

Lester Mackey (53)

Arjun Radhakrishna (53)

Shaohan Huang (53)

Dongdong Chen (53)

Stefan Saroiu (52)

James Weinstein (52)

Cecily Morrison (51)

Cuiling Lan (51)

Hitesh Ballani (51)

Michael Naehrig (51)

Siddhartha Sen (51)

Paul Thomas (51)

Ross Cutler (51)

Bin Benjamin Zhu (50)

Bozidar Radunovic (50)

Ishai Menache (50)

Sean Andrist (49)

Adam Fourney (48)

Darren Edge (48)

Sharad Agarwal (48)

Yeye He (48)

Anja Thieme (48)

Vu Le (48)

Linjie Li (48)

Chris Hawblitzel (47)

Arnd Christian König (47)

Manish Gupta (47)

Íñigo Goiri (47)

Shuo Chen (47)

Alessandro Sordoni (47)

Dushyanth Narayanan (46)

Don Syme (46)

Chieh-Jan Mike Liang (46)

Sunayana Sitaram (46)

Manuel Costa (45)

Richard Banks (45)

Ramarathnam Venkatesan (45)

Aseem Rastogi (45)

Carlo Curino (44)

Doug Burger (44)

Dimitra Emmanouilidou (44)

Yeyun Gong (44)

Li Zhao (43)

Marcin Junczys-Dowmunt (43)

Yun Wang (43)

Akshay Nambi (43)

Daniel S. Berger (43)

Shuohang Wang (43)

Marco Molinaro (43)

Johannes Gehrke (42)

Nikunj Raghuvanshi (42)

Scott Saponas (42)

Jianxun Lian (42)

Denae Ford (42)

E. Glen Weyl (41)

Javier Hernandez (41)

Yu Kang (41)

Vibhav Vineet (40)

Xiaofei Wang (40)

Ava P. Amini (40)

Nicolo Fusi (39)

Peng Cheng (39)

Yongqiang Xiong (39)

Yu Shi (39)

Zinan Lin (39)

Dongdong Zhang (38)

Miro Dudík (38)

Siddharth Suri (38)

Weidong Cui (38)

Hannes Schulz (38)

Behnaz Arzani (38)

Rodrigo Fonseca (38)

Nicolas Bruno (38)

Matthew J. Parkinson (37)

Yongguang Zhang (37)

Divya Gupta (37)

Ryan Beckett (37)

Esha Choukse (37)

Bodhi Priyantha (36)

Marcus Peinado (36)

Nicolas Villar (36)

Raghav Kaushik (36)

Weiwei Cui (36)

Sergey Yekhanin (36)

Bichlien Nguyen (36)

Xingdi Yuan (36)

Shruti Tople (36)

Gustavo Soares (36)

Anthony Ortiz (36)

Ethan Jackson (35)

Jake Hofman (35)

Srinath Setty (35)

Robert Sim (35)

Austin Donnelly (34)

Daniel G. Goldstein (34)

Galen Hunt (34)

Greg Smith (34)

Haidong Zhang (34)

Sameh Elnikety (34)

Fangzhao Wu (34)

Hao Cheng (34)

Dylan Foster (34)

Anton Schwaighofer (33)

Josh Benaloh (33)

Hsiao-Wuen Hon (33)

Krishna Chintalapudi (33)

Tristan Naumann (33)

Rathijit Sen (33)

Anoop Gupta (32)

Gordon Bell (32)

Matthew Hastings (32)

Qiang Huo (32)

Sanjeev Mehrotra (32)

Sasa Junuzovic (32)

Solon Barocas (32)

Qi Chen (32)

Longqi Yang (32)

Kevin Hsieh (32)

Jennifer Neville (32)

Si Qin (32)

Michael Levit (31)

Xiulian Peng (31)

Avrilia Floratou (31)

Bo Qiao (31)

Robert E. Schapire (30)

Sonia Jaffe (30)

Sangho Lee (30)

Kevin Larson (30)

Siwei Wang (30)

Jonathan Larson (29)

Rui Ding (29)

Peter Bodík (29)

Sujay Kumar Jauhar (29)

Yang Liu (29)

Lorin Crawford (29)

Haoxiang Lin (28)

Nan Yang (28)

Nagarajan Natarajan (28)

Pu Zhao (28)

Ben Van Durme (28)

Mukul Singh (28)

Lev Tankelevitch (28)

Greg Zaverucha (27)

Kim Laine (27)

Neeraj Kayal (27)

Dan R. K. Ports (27)

Xia Song (27)

Xufang Luo (27)

Chris White (26)

Yao Qian (26)

Swami Manohar (26)

Qi Dai (26)

Haoyu Dong (26)

Naoto Usuyama (26)

Sheng Zhang (26)

Weiqing Liu (26)

Matteo Interlandi (26)

Sheng Zhao (26)

Minghua Ma (26)

Darren Tanner (26)

Alex Bocharov (25)

Nancy Baym (25)

David Rothschild (25)

Paul Mineiro (25)

Yue Dong (25)

Mohit Jain (25)

Xiubo Geng (25)

Qianhui Wu (25)

Sara Malvar (25)

Jayashree Mohan (25)

Victor Ruehle (25)

Fangyun Wei (25)

Lev Nachmanson (24)

Matthai Philipose (24)

Michael Freedman (24)

Markus Weimer (24)

Satya Lokam (24)

Tolga Acar (24)

Yinan Li (24)

Linjun Shou (寿林钧) (24)

Xuchao Zhang (24)

Jonathan Mace (24)

Kenji Takeda (23)

Subru Krishnan (23)

Stavros Volos (23)

Jiaolong Yang (23)

Mihaela Vorvoreanu (23)

Bei Liu (23)

Shahrzad Gholami (23)

Tengchao Lv (23)

Renato L. de F. Cunha (23)

H. Jabran Zahid (23)

Jue Zhang (23)

Yifan Yang (23)

Tarleton Gillespie (22)

Yuan-Jyue Chen (22)

Arun Iyer (22)

Paul Smolensky (22)

Marc-Alexandre Côté (22)

Stephanie Hyland (22)

Yiwen Zhu (22)

Liang Wang (22)

Vishnu Navda (21)

Ran Gal (21)

Young Jin Kim (21)

Jakub Tarnawski (21)

Brent Hecht (21)

Ashish Tiwari (21)

Kevin Lin (21)

Jack Williams (21)

Xiyang Dai (21)

Rianne van den Berg (21)

Gust Verbruggen (21)

Caihua Shan (21)

Yifei Shen (21)

Andrew Putnam (20)

Daniel Cletheroe (20)

Jaron Lanier (20)

Patrick Longa (20)

Ron Paulsen (20)

Sergey Legtchenko (20)

Torsten Karzig (20)

Jacob Nelson (20)

Boris Köpf (20)

Tanuja Ganu (20)

Ashley J. Llorens (20)

Amanda K. Hall (20)

Shiqi Jiang (20)

Xiaoting Qin (20)

Payod Panda (20)

Antoine Delignat-Lavaud (19)

Dr. Chetan Nayak (19)

Jacek Czerwonka (19)

Roman Lutchyn (19)

Hongzhi Li (19)

Geoff Gardner (19)

Tobias Schnabel (19)

Xiaoyuan Yi (19)

Dongqi Han (19)

Ann Paradiso (18)

Kim Herzig (18)

Jeremiah (Miah) Wander (18)

Ravishankar Krishnaswamy (18)

Yan Huang (18)

Yaobo Liang (18)

Budhaditya Deb (18)

Cliff Wong (18)

Mengting Wan (18)

Yixi Xu (18)

Felipe Oviedo (18)

Sepideh Mahabadi (18)

Noel Codella (18)

Xinyang Jiang (18)

Frank Noé (18)

Brian Houck (18)

Yasuyuki Matsushita (18)

John Helmes (17)

Kaushik Rajan (17)

Bin Li (17)

Matthew Johnson (17)

Martin Grayson (17)

Mary L. Gray (17)

Ray Bittner (17)

Rich Draves (17)

Andrey Rybalchenko (17)

Ryota Tomioka (17)

Suresh Thummalapenta (17)

Shikhar Sharma (17)

Yi Mao (17)

Nipun Kwatra (17)

Zhirong Wu (17)

Martez Mott (17)

Tim Deegan (17)

David Alvarez-Melis (17)

Shruthi Bannur (17)

Tadas Baltrusaitis (17)

Daniel Coelho de Castro (17)

Jenna Butler (17)

Weiwei Yang (17)

Huseyin Inan (17)

Pedro Henrique Penna (17)

Betül Durak (17)

A. Parayil (17)

Amy Luers (17)

Fangkai Yang (17)

Harsha Nori (17)

Judith Amores (17)

Siva Kesava Reddy Kakarla (17)

Asma Ben Abacha (17)

Girmaw Abebe Tadesse (17)

Shan Lu (17)

Amit Deshpande (16)

David Sweeney (16)

Hugh Williams (16)

Ken Woodberry (16)

Tahina Ramananandro (16)

Benn Thomsen (16)

Ted Meeds (16)

Andromachi Chatzieleftheriou (16)

Ran Shu (16)

Barun Patra (16)

Jiahao Li (16)

Meghana Kshirsagar (16)

Ida Momennejad (16)

Christian Paquin (15)

Manoj Syamala (15)

Navin Goyal (15)

Shital Shah (15)

Harsha Simhadri (15)

Irene Zhang (15)

Ioan Stefanovici (15)

Xian Zhang (15)

Sudha Rao (15)

Jordan Ash (15)

Brian Kroth (15)

Chang Xu (15)

Ashish Panwar (15)

Saikat Chakraborty (15)

Chao Ma (15)

Lenin Ravindranath Sivalingam (14)

Mark Encarnación (14)

Silviu Cucerzan (14)

Suresh Parthasarathy (14)

Yanjie Gao (14)

Zhenghan Wang (14)

Sylvan Clebsch (14)

Luke Marshall (14)

Robert Gmyr (14)

Lukas Wutschitz (14)

Zeqi Lin (14)

Rui Wang (14)

Eirini Kalliamvakou (14)

Millicent Ochieng (14)

Mayukh Das (14)

Chung-Ching Lin (14)

Corby Rosset (14)

Wen-wai Yim (14)

Chaojie Zhang (14)

David Johnston (13)

Kevin Kane (13)

Nikos Karampatziakis (13)

Vassily Lyutsarev (13)

Wenxuan Xie (13)

Pantazis Deligiannis (13)

Landon Cox (13)

Pulkit Misra (13)

James Bono (13)

Guoqing Liu (13)

Jake Smith (13)

Alex Lu (13)

Yashoteja Prabhu (13)

Yansen Wang (13)

Xiao Liu (13)

Kenza Bouzid (13)

Lars Liden (12)

Bo-June (Paul) Hsu (12)

Paul Koch (12)

Youshan Miao (12)

Dmitry Pikulin (12)

Hamed Khanpour (12)

Danqing Huang (12)

Kevin Kaichuang Yang (12)

Ishani Chakraborty (12)

Vishak Gopal (12)

Hang Dong (12)

Madeleine Daepp (12)

Fanny Nina Paravecino (12)

Venkatesh Emani (12)

Tusher Chakraborty (12)

Arturs Backurs (12)

Xingxing Zhang (12)

Fernando Pérez-García (12)

Menglin Xia (12)

Sara Abdali (12)

Ankur Mallick (12)

Rujia Wang (12)

Nicolai Marquardt (12)

Pashmina Cameron (12)

Jay Bosamiya (12)

Dan Shumow (11)

Lei Ji (11)

Yan Xia (11)

Yu Liu (11)

Karthik Ramachandra (11)

Randy Pagulayan (11)

Wei Cui (11)

Konstantina Mellou (11)

Krzysztof Maziarz (11)

Xenofon Foukas (11)

Bahar Sarrafzadeh (11)

Robert Aichner (11)

Philipp Witte (11)

Marwin Segler (11)

Scott Freitas (11)

Harshita Sharma (11)

Matheus R. F. Mendonça (11)

Chris Parnin (11)

Srihari Hulikal Muralidhar (11)

Chandan Singh (11)

Gilles Quentin Hacheme (11)

Renee St. Amant (11)

Himanshu Raj (10)

Xun Guo (10)

Yordan Zaykov (10)

Daniel Firestone (10)

Sergei Gronin (10)

Hannah Richardson (nee Murfet) (10)

James Clegg (10)

Esha Ghosh (10)

Qianxi Zhang (10)

Andrew Paverd (10)

Luming Liang (10)

Oscar Koller (10)

Urszula Chajewska (10)

Kai Shi (10)

Bamdev Mishra (10)

Amgad Madkour (10)

Aaron L Halfaker (10)

Sam Thomson (10)

Jesús Camacho-Rodríguez (10)

Heidi Howard (10)

Harkirat Behl (10)

James Devine (10)

Burcu Canakci (10)

Jing Yao (10)

Harsh Jhamtani (10)

Sarah Fakhoury (10)

Yasharth Bajpai (10)

Weiteng Chen (10)

Chen Liang (10)

Haoran Qiu (10)

Vidhisha Balachandran (10)

Shraddha Barke (10)

Anson Bastos (10)

Ahmed Salem (10)

Jonathan Lester (9)

Pallavi Choudhury (9)

Vishal Chowdhary (9)

Jinglu Wang (9)

Aleksander Fabijan (9)

Manthan Thakker (9)

Fotis Psallidas (9)

Chad Atalla (9)

Kristen Severson (9)

Daniel Madrigal (9)

Mirian Hipolito Garcia (9)

Hope Twede (9)

Chenglong Wang (9)

Jiahang Xu (9)

Spandan Garg (9)

Simone Fobi Nsutezo (9)

Suraj Jog (9)

Akram Zaytar (9)

Wenbo Gong (9)

Tianyu Ding (9)

Haotian Li (9)

Baolin Peng (9)

Ahmed Tawfik (8)

Song Ge (8)

Tony Hoare (8)

Anshuman Dutt (8)

Ramakrishna Bairi (8)

Alok Kumbhare (8)

Hui Xue (8)

Raluca Stevenson (8)

Scarlett Li (8)

Eoin O'Farrell (8)

Neil Tenenholtz (8)

Rangan Majumder (8)

Kenichi Kumatani (8)

Ashvin Agrawal (8)

Ziqiao Zhou (8)

Celine Irvene (8)

Robert Osazuwa Ness (8)

Maximilian Ilse (8)

Yangyu Huang (8)

Tara Safavi (8)

Dan Vann (8)

Patrick Xia (8)

Liqun Li (8)

Andrzej Banburski-Fahey (8)

Zilong Wang (8)

Cassiano Becker (8)

Fabian Falck (8)

Ashley Feniello (7)

Markus Mobius (7)

Peter Lee (7)

Qiufeng Yin (7)

Robert Gruen (7)

Ariel Gomez Diaz (7)

Matthias Troyer (7)

Ray Kallaher (7)

Guoxin Wang (7)

Adam Atkinson (7)

Eleanor Dillon (7)

Ondrej Miksik (7)

Patrick Anderson (7)

Joyce Cahoon (7)

Raghu Ramakrishnan (7)

Paulo Salem (7)

Leonardo Nunes (7)

Shengyu Fu (7)

Yufan Huang (7)

Serena Hillman (7)

Yizhong Zhang (7)

Srinivasan Iyengar (7)

Kali Frost (7)

Luna K. Qiu (7)

Yuge Zhang (7)

Xin Jin (7)

Priyanshu Gupta (7)

Zhong Li (7)

Zhongqi Miao (7)

Gabriel Ebner (7)

Weijia Xu (7)

Fiodar Kazhamiaka (7)

Sicheng Xu (7)

Gagan Somashekar (7)

Ananya Singha (7)

Carles Domingo-Enrich (7)

Emily Sheng (7)

Hui Xue (7)

Maximiliana Behnke (7)

Rita Faia Marques (7)

Fatemeh Saleh (7)

Vineeth N Balasubramanian (7)

Anne Loomis Thompson (6)

Eric Peterson (6)

Lei Fang (6)

Piali Choudhury (6)

Rui Gao (6)

Sarah Bird (6)

Ankit Garg (6)

Camilla Longden (6)

Vageesh D C (6)

Gijs de Lange (6)

Sonu Mehta (6)

Nikolaos Karianakis (6)

Vaishnavi Ranganathan (6)

Dave Bignell (6)

Amaury Chamayou (6)

Sebastian Heedt (6)

Ammar Ahmad Awan (6)

Brandon Haynes (6)

Anna Pavlenko (6)

Ran Jia (6)

Camille Couturier (6)

Anja Gruenheid (6)

Swati Sharma (6)

Robin Abraham (6)

Chin-Wei Huang (6)

Allen Kim (6)

Lixin Sun (6)

Changho Hwang (6)

Akiko I. Eriguchi (6)

Nan Chen (6)

Matheus Pereira (6)

Reshmi Ghosh (6)

Sathiya Kumaran Mani (6)

Lohit Petikam (6)

Oleksii Oleksenko (6)

Sam Bond-Taylor (6)

Sam Ade Jacobs (6)

Matthew Vogel (6)

Minseon Kim (6)

Lucas Caccia (6)

Jean Garcia-Gathright (6)

Nick Pangakis (6)

Remi Pautrat (6)

Satarupa Guha (6)

Jianwei Yu (6)

Jean Helie (6)

Burton Smith (5)

Chuck Thacker (5)

Dennis Mattoon (5)

Marina Polishchuk (5)

Nirupama Chandrasekaran (5)

Roy Levin (5)

Spencer Fowers (5)

Todd Massengill (5)

Zhitao Hou (5)

Neil Toronto (5)

Nathan Evans (5)

Chinmay Singh (5)

Andrey Antipov (5)

Thorvald Wadum Larsen (5)

Pratik Ghosh (5)

Silvano Galliani (5)

Christoph Vogel (5)

Ran Gilad-Bachrach (5)

Kai Qiu (5)

Adam D. Troy (5)

Abhisek Pan (5)

Dean Carignan (5)

Sunit Sivasankaran (5)

Rui Wang (5)

Jennifer Wang (5)

Samuel Chege Maina (5)

Peidong Wang (5)

Xiaoyi Zhang (5)

Zhongxin Guo (5)

Yifan Xiong (5)

Yuanyuan Tian (5)

Michael Hansen (5)

Mohamed Ahmed (5)

Debopam Bhattacherjee (5)

Sarah Lewis (5)

Jyoti Aneja (5)

Jeevana Priya Inala (5)

Rogerio Bonatti (5)

Xiaoyu Liu (5)

Shaleen Deep (5)

Jaspreet Bagga (5)

Zelalem Gero (5)

Rohan Gandhi (5)

Matthew Balkwill (5)

Amit Misra (5)

Ha Trinh (5)

Seth Spielman (5)

Sarah Alamdari (5)

Safoora Yousefi (5)

Chuheng Zhang (5)

Sihao Chen (5)

Kiran Tomlinson (5)

Yuhang He (5)

Reuben Tan (5)

Jing Liu (5)

Zewen Chi (5)

Thomas Lin (5)

Alex Dow (5)

Gabriele Goletto (5)

Adrien Ghosn (5)

Zhengyuan Yang (5)

Somya Chatterjee (5)

Tianyu Chen (5)

Ali Bakhoda (4)

Dany Rouhana (4)

Darren Gehring (4)

Gopal Srinivasa (4)

Kukjin Lee (4)

Laurent Bussard (4)

Michel Naim Gerguis (4)

Ray Huang (4)

Reid Andersen (4)

Iris Shen (4)

Chris Lovett (4)

Bryan Tower (4)

Rajan Chari (4)

Kevin Van Hoogdalem (4)

Sida Peng (4)

Mahmoud Adada (4)

Sitaram Lanka (4)

Fotini Karinou (4)

Francesca Parmigiani (4)

Judith Suter (4)

Victor Fragoso (4)

Zhixiong Niu (4)

Georg Wolfgang Winkler (4)

Junyi Liu (4)

Nicholas Wilson (4)

Joshua Elsdon (4)

Eddy Ashton (4)

Xiao Li (4)

Neha Parikh Shah (4)

Lei Chu (4)

Suvam Mukherjee (4)

Forough Poursabzi (4)

Anthony Cintron Roman (4)

Prof. Darren Cosker (4)

Liang Du (4)

Daniel Jones (4)

Xianliang Yang (4)

Trevor Dhu (4)

Xingbo Wu (4)

Javier Zazo (4)

Donglin Bai (4)

Piero Kauffmann (4)

Srikant Bharadwaj (4)

Kate Nowak (4)

Robert Pinsler (4)

Zhiyuan He (4)

Enrique Saurez (4)

Victor Garcia Satorras (4)

Michael Xu (4)

Sadid A. Hasan (4)

Hosein Hasanbeig (4)

Nicholas Jing Yuan (4)

Saksham Singhal (4)

Jan Hermann (4)

Christian Poelitz (4)

Daniel Zügner (4)

Aashaka Shah (4)

Baotong Lu (4)

Roshan Dathathri (4)

Yupan Huang (4)

Dongge Han (4)

Pei Zhou (4)

Kaixin Wang (4)

Karthick Jayaraman (4)

Tvrtko Tadić (4)

Benjamin Steenhoek (4)

Pranjal Chitale (4)

Emerson Murphy-Hill (4)

Sulaiman Vesal (4)

Gagan Jain (4)

Harish Yenala (4)

Hannah Washington (4)

Alex Crown (3)

Andrew Herbert (3)

Andrzej Pastusiak (3)

Chuck Needham (3)

Dave Brown (3)

Gabe Cohn (3)

Knut Magne Risvik (3)

Lili Cheng (3)

Markus Cozowicz (3)

Matthew Renzelmann (3)

Rick Rashid (3)

Reuben Olinsky (3)

Rick Rogahn (3)

Shobana Balakrishnan (3)

Sam Webster (3)

Trevor Eberl (3)

William Blum (3)

Anand Bonde (3)

Keith Battocchi (3)

Darrin Eide (3)

Jacob Alber (3)

Rafah Hosn (3)

John Watson (3)

Jan Gukelberger (3)

Pat Sweeney (3)

Luiz Belussi (3)

Xiao Lv (3)

Michael Schwarz (3)

Xu Cao (3)

Cheng Tan (3)

Yi Shan (3)

Kate Lytvynets (3)

Ivan Sadovskyy (3)

Jimmy Hall (3)

Swadheen Shukla (3)

Eduardo Salinas (3)

Carmen Badea (3)

Jeffrey Delmerico (3)

Tanakorn Leesatapornwongsa (3)

Radames Cruz Moreno (3)

Jiaqi Chu (3)

Widad Machmouchi (3)

Karthik Selvaraj (RESEARCH) (3)

Friederike Niedtner (3)

Yiming Liu (3)

Andrea Tupini (3)

Zhihua Lai (3)

Rafael da Silva (3)

Gustavo de Rosa (3)

Douglas J. Kelly (3)

Hugo Barbalho (3)

Yu Wang (3)

Nathanael Cheriere (3)

Sameer Segal (3)

Najeeb G. Abdulhamid (3)

Harish Doraiswamy (3)

Ashkan Aazami (3)

Giovanni Cherubin (3)

Jinu Jang (3)

Tammy Glazer (3)

Mahdi Rad (3)

Paola Gori-Giorgi (3)

Elise van der Pol (3)

Lucas A. Meyer (3)

Gregor Simm (3)

Claudio Zeni (3)

Andrew Fowler (3)

Andres Codas (3)

Thiago V. Spina (3)

Jorge J. G. Leandro (3)

Rafael Padilha (3)

Bruno Silva (3)

Andrea Britto Mattos Lima (3)

Abhinav Jangda (3)

Amrita Gupta (3)

Sergio Valcarcel Macua (3)

Gaurav Sinha (3)

Yuancheng Tu (3)

Derk Kooi (3)

Ashley Conard (3)

Sampath Rajendra (3)

Mansi Khemka (3)

Angelica Moreira (3)

Soheil Abbasloo (3)

Kirill Kalinin (3)

Liangcheng Yu (3)

James Hensman (3)

Lindsey Raymond (3)

Agathe Balayn (3)

Sushrut Karmalkar (3)

Dasha Metropolitansky (3)

Lingjiao Chen (3)

Gaurav Verma (3)

Bruce Wittmann (3)

Oleg Smirnov (3)

Ahmed Elgohary (3)

Yash Pandya (3)

Achraf Chalabi (2)

Adrian Bonar (2)

Ajay Manchepalli (2)

Ambrosio Blanco (2)

Aviv Hurvitz (2)

Dan Ling (2)

Gaoxiang Xu (2)

Jim Kajiya (2)

Mike Shepperd (2)

Muscle Wu (2)

Tony Carbary (2)

Yiyong Lin (2)

Ruben Grigoryan (2)

Matthew Dixon (2)

Adam Sapek (2)

Logan Adams (2)

Mahdi Ghandi (2)

Alexey Taymanov (2)

Yang Ou (2)

Amber Hoak (2)

David Tittsworth (2)

Lukas M. Maas (2)

Benjamin Arai (2)

Donald Ngwe (2)

Rohit Pillai (2)

Niranjani Prasad (2)

Melanie Fernandez Pradier (2)

Qiang Gan (2)

Yongzhi Li (李永智) (2)

Jingwen Lu (2)

Rajarshee Mitra (2)

Kunho Kim (2)

Stojan Trajanovski (2)

Johnny Johnson (2)

Xiang Ming (2)

Jason (Zengzhong) Li (2)

Kshitiz Kumar (2)

Roberto Santos (2)

Roberto Estevão (2)

John Stairs (2)

Lihua Yuan (2)

Thomas Roca, PhD (2)

Shideh Rezaeifar (2)

Shoko Ueda (2)

Bastiaan S. Veeling (2)

Tao Zhang (2)

Advitya Gemawat (2)

Dan Bruce (2)

Shweti Mahajan (2)

Ankit Verma (2)

Connor Settle (2)

Lucia Ronchi Darre (2)

Christopher O'Dowd (2)

Sebastian Ehlert (2)

Guido Martínez (2)

Stephen Schneider (2)

Ade Famoti (2)

Kavyansh Chourasia (2)

Siddarth Asokan (2)

Ren Yang (2)

Newman Cheng (2)

Weijian Xu (2)

Shikhar Mohan (2)

Bishal Santra (2)

Jennifer Marsman (2)

Thijs Vogels (2)

Victor Reis (2)

Peniel Argaw (2)

Samuel Kessler (2)

Juan Manuel Zambrano Chaves (2)

Philippe Laban (2)

Rebecca Janssen (2)

Amey Varhade (2)

Galen Mullins (2)

Sirui Li (2)

Zhengyan Shi (2)

Fazle Faisal (2)

Xueting Han (2)

Giulia Luise (2)

Jose Garrido Torres (2)

K.J.H. Giesbertz (2)

Hayley LeBlanc (2)

Hugo ROMAT (2)

Aashish Kolluri (2)

Marko Tot (2)

Tao Lin (2)

Wenyue Hua (2)

Wassim Hamidouche (2)

Lu Wang (2)

Spencer Whitehead (2)

Debarati Das (2)

Avik Dutta (2)

Riashat Islam (2)

Jihoon Tack (2)

Hannah Cha (2)

Rui Ma (2)

Vivek Mathur (2)

Abubakarr Jaye (2)

Rachel Lawrence (2)

Andreas Bode (1)

Alvin Chen (1)

Arjmand Samuel (1)

Andy Slowey (1)

Chris Sienkiewicz (1)

CJ Williams (1)

Christophe Poulain (1)

Dany Fabian (1)

Dan Marshall (1)

David Langworthy (1)

Karen Easterbrook (1)

Martin Cai (1)

Mike Lewis (1)

Olivier Nano (1)

ThuVan Pham (1)

Moshe Lutz (1)

Kevin Gao (1)

Laura Walker (1)

Woosuk Lee (1)

Pavel Myshkov (1)

Mason Thomas (1)

Rahee Ghosh Peshawaria (1)

Gary Campbell (1)

John Azariah (1)

William HP Nielsen (1)

Christopher Gooley (1)

Mirco Milletari (1)

Jason Kace (1)

Xiaowu Hu (1)

Emrah Yücelen (1)

Tal Zaccai (1)

David Van Woerkom (1)

Lukas Gruber (1)

John Corring (1)

Vasileios Zois (1)

Patrick Hummel (1)

P. Anandan (1)

Nathan Myhrvold (1)

Kieran McDonald (1)

Kevin Moynihan (1)

Danny Simmons (1)

Sasha Patotski (1)

Huaying Xue (1)

Garnet Vaz (1)

Liudmila Ulanova (1)

Carolyn Buractaon (1)

Katja Kevic (1)

Elton Zheng (1)

Xia Zhu (1)

Amir Kantor (1)

Vishesh Agarwal (1)

Luis França (1)

Mattan Serry (1)

Harsh Vijay (1)

James Brand (1)

Peichen Xie (1)

Xuan Feng (1)

Patricia Kovaleski (1)

Clint Simon (1)

Sebastian Kohlmeier (1)

Gaurav Mittal (1)

April Kwong (1)

Eyal Kolman (1)

Deepesh Hada (1)

Sahaj Agarwal (1)

Jose Jimenez-Luna (1)

Guoxin Sui (1)

Sarah Hanses (1)

Julia Greissl (1)

Morris Sharp (1)

Nikola Pejic (1)

Beibei Shi (1)

Andrew Jenks (1)

Chethan M (1)

Santiago Salcido (1)

Whitney Hudson (1)

Alonso Guevara Fernández (1)

Alessandro Manzotti (1)

Deniz Gunceler (1)

Sami Khairy (1)

Ravi Shreyas Anupindi (1)

Yu Xie (1)

Maria Angels de Luis Balaguer (1)

Steven Truitt (1)

Paidamoyo Chapfuwa (1)

Joshua Bradley (1)

Richard Edgar (1)

Tim Hempel (1)

Flora Liu (1)

Jeya Maria Jose Valanarasu (1)

Zongyu Guo (1)

Guanghui Qin (1)

Dimitris Papailiopoulos (1)

Darya Moldavskaya (1)

Ashish Sharma (1)

Ruichun Ma (1)

Jessica Young (1)

Varun Jain (1)

Henrik Turbell (1)

Hamna . (1)

Smitha Saligrama (1)

Gabriel Ryan (1)

Matheus Cerqueira (1)

Eray Inanc (1)

Naiteek Sangani (1)

Junjie Xing (1)

Tristan Lazard (1)

Philip Adams (1)

Xiaoying Wang (1)

Juheon (1)

Gordon Broadbent (1)

Hanze Dong (1)

Emily Bao (1)

Xinxing Xu (1)

Anant Khandelwal (1)

William Chappell (1)

Travis Lowdermilk (1)

Shawn Yohanes Siew (1)

Marianna Pantouvaki (1)

Kaoutar Benyahya (1)

Will Wang (1)

Tyler Payne (1)

Wenhui Wang (1)

Zhiliang Peng (1)

Yaoyao Chang (1)

Spyridon (Spyros) Mastorakis (1)

Liming Jiang (1)

Cinoo Lee (1)

Helia Hashemi (1)

Amanda Swearngin (1)

Zezhou Huang (1)

Archana Yadav (1)

Waqas Zamir (1)

Pooria Namyar (1)

Sheshera Mysore (1)

Aravind Rajeswaran (1)

Andrew Zhao (1)

Shivam Garg (1)

John Gardner (1)

Alind Khare (1)

Chidera Biringa (1)

Nigel Boachie Kumankumah (1)

Dayquan Julienne (1)

Tianwei Chen (1)

Ritabrata Maiti (1)

Pavel Tolmachev (1)

Beatriz Costa-Gomes (1)

Published Date

Publication

The Hoare Logic Of CSP, and All That

Leslie Lamport

ACM Transactions on Programming Languages and Systems | April 1984, pp. 281-296

Publication

Using Time Instead of Timeout for Fault-Tolerant Distributed Systems

Leslie Lamport

ACM Transactions on Programming Languages and Systems | April 1984, pp. 254-280

Publication

A Logic for Constant Depth Circuits

Yuri Gurevich

Information and Control 61 | April 1984, Vol 61: pp. 65-74

Publication

Experience with Grapevine: The Growth of a Distributed System

Mike Schroeder, Andrew Birrell, Roger Needham

ACM Transactions on Computer Systems | February 1984, Vol 2

Publication

Implementing Remote Procedure Calls

Andrew Birrell, Bruce Jay Nelson

ACM Transactions on Computer Systems | February 1984, Vol 2: pp. 39-59

Publication

Arbitrary precision arithmetic using continued fractions

Simon Peyton Jones

MSR-TR-2016-70 | January 1984

INDRA Note 1530, University College London

Publication

Diagnostic Strategies in the Hypothesis-Directed PATHFINDER System

Eric Horvitz, David Heckerman, Bharat N. Nathwani, Lawrence M. Fagan

January 1984, pp. 630-636

Publication

Ideal MHD Ballooning Stability in the Vicinity of a Separatrix

Christopher Bishop, P. Kirby, J. W. Connor, R. J. Hastie, J. B. Taylor

Nuclear Fusion | January 1984, Vol 24(12): pp. 1579

Publication

Algebras of Feasible Functions

Yuri Gurevich

24th Annual Symposium on Foundations of Computer Science IEEE Computer Society Press | October 1983

Publication

The Word Problem for Lattice-ordered Groups

A. M. W. Glass, Yuri Gurevich

Transactions of American Mathematics Society | October 1983, Vol 280: pp. 127-138