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

Jianfeng Gao (393)

Jinyu Li (250)

Dongmei Zhang (246)

Ryen W. White (241)

Abigail Sellen (226)

Sumit Gulwani (225)

Stephen Lin (223)

David Heckerman (219)

Furu Wei (199)

Xing Xie (198)

Juan M. Lavista Ferres (194)

Antonio Criminisi (186)

Rick Szeliski (171)

Wei Chen (169)

Ed Cutrell (160)

Leslie Lamport (160)

Surajit Chaudhuri (160)

Qingwei Lin 林庆维 (152)

Ranveer Chandra (146)

Jaime Teevan (142)

Baining Guo (139)

Chin-Yew Lin (139)

Suman Nath (138)

Margus Veanes (136)

Andrew D. Wilson (134)

Nick Craswell (134)

Ivan Tashev (133)

Christopher Bishop (130)

Emre Kiciman (127)

Thomas Moscibroda (123)

Jonathan M. Carlson (120)

Dinei Florencio (115)

Yifan Gong (115)

Victor Bahl (111)

Christian Borgs (110)

Venkat Padmanabhan (110)

Cédric Fournet (108)

Sean Rintel (107)

John Langford (105)

Jennifer Chayes (103)

Madan Musuvathi (100)

Nathalie Henry Riche (100)

Sriram Rajamani (100)

Dongsheng Li (100)

Saravan Rajmohan (100)

Aditya Nori (99)

Shuvendu Lahiri (99)

Jim Gray (98)

Christian Bird (95)

Lijuan Wang (94)

A.J. Brush (92)

G. Ramalingam (91)

Akshay Krishnamurthy (89)

Cha Zhang (88)

Tom Minka (88)

Rahul Dodhia (88)

Ece Kamar (86)

Hannes Gamper (86)

Lidong Zhou (86)

Shi Han (86)

Fan Yang (85)

Michel Galley (85)

Brendan Lucier (84)

Chetan Bansal (84)

Ramachandran Ramjee (83)

Shujie Liu (83)

Siân Lindley (83)

Vivek Narasayya (82)

Alec Wolman (81)

Jennifer Wortman Vaughan (81)

Kori Inkpen (80)

Chong Luo (79)

Ganesh Ananthanarayanan (79)

Scott Counts (78)

John Winn (77)

Karin Strauss (77)

Li Dong (77)

Paolo Costa (74)

Nebojsa Jojic (73)

Shamsi Iqbal (73)

Weizhu Chen (73)

Yuqing Yang (73)

Katja Hofmann (72)

Amit Sharma (71)

Daan Leijen (71)

Dan Bohus (71)

Henrique S. Malvar (71)

Hanna Wallach (70)

Wentao Wu (70)

Janardhan (Jana) Kulkarni (69)

Kalika Bali (69)

Badrish Chandramouli (67)

Jack W. Stokes (67)

Andrew Blake (66)

Harry Shum (66)

Jianlong Fu (66)

Caleb Robinson (66)

Cormac Herley (65)

Dave Maltz (65)

John Tang (65)

Yan Lu (65)

Ben Zorn (64)

Sumit Basu (63)

Hoifung Poon (62)

Dave Thaler (62)

Advait Sarkar (62)

Aleksandrs Slivkins (61)

Thomas Karagiannis (61)

Andrey Kolobov (60)

Nikolaj Bjørner (60)

Neel Joshi (60)

Sebastian Burckhardt (60)

Xiaodong Liu (60)

Kate Crawford (59)

Nishanth Chandran (59)

Nicole Immorlica (59)

Jacki O'Neill (58)

Ricardo Bianchini (58)

Yang Liu (58)

Akash Lal (57)

Sarangarajan Parthasarathy (57)

Sebastian Braun (57)

Shaohan Huang (57)

Chris Quirk (56)

Nikhil Swamy (56)

Santiago Zanella-Béguelin (56)

Bela Bauer (55)

Butler Lampson (55)

John Snyder (55)

Lei Cui (55)

Paul Thomas (55)

Cuiling Lan (54)

Dong Chen (54)

John (JD) Douceur (54)

Jay Lorch (54)

Manik Varma (54)

Phil Bernstein (54)

Lester Mackey (54)

James Weinstein (54)

Dongdong Chen (54)

Jonathan "Peli" de Halleux (53)

Melissa Chase (53)

Michel Pahud (53)

Arjun Radhakrishna (53)

Cecily Morrison (52)

Siddhartha Sen (52)

Stefan Saroiu (52)

Bin Benjamin Zhu (51)

Hitesh Ballani (51)

Michael Naehrig (51)

Sharad Agarwal (51)

Ross Cutler (51)

Bozidar Radunovic (50)

Ishai Menache (50)

Manish Gupta (49)

Íñigo Goiri (49)

Shuo Chen (49)

Anja Thieme (49)

Sean Andrist (49)

Adam Fourney (48)

Chris Hawblitzel (48)

Darren Edge (48)

Yeye He (48)

Sunayana Sitaram (48)

Vu Le (48)

Linjie Li (48)

Arnd Christian König (47)

Alessandro Sordoni (47)

Daniel S. Berger (47)

Dushyanth Narayanan (46)

Don Syme (46)

Aseem Rastogi (46)

Chieh-Jan Mike Liang (46)

Carlo Curino (45)

Manuel Costa (45)

Richard Banks (45)

Ramarathnam Venkatesan (45)

Li Zhao (45)

Javier Hernandez (45)

Doug Burger (44)

Scott Saponas (44)

Dimitra Emmanouilidou (44)

Yun Wang (44)

Akshay Nambi (44)

Denae Ford (44)

Yeyun Gong (44)

Marco Molinaro (44)

Marcin Junczys-Dowmunt (43)

Jianxun Lian (43)

Shuohang Wang (43)

Johannes Gehrke (42)

Nikunj Raghuvanshi (42)

Vibhav Vineet (42)

Yu Kang (42)

Rodrigo Fonseca (42)

Ava P. Amini (42)

E. Glen Weyl (41)

Yongqiang Xiong (41)

Xiaofei Wang (41)

Zinan Lin (41)

Peng Cheng (40)

Nicolo Fusi (39)

Miro Dudík (39)

Siddharth Suri (39)

Behnaz Arzani (39)

Yu Shi (39)

Dongdong Zhang (38)

Weidong Cui (38)

Hannes Schulz (38)

Ryan Beckett (38)

Esha Choukse (38)

Nicolas Bruno (38)

Bodhi Priyantha (37)

Matthew J. Parkinson (37)

Yongguang Zhang (37)

Bichlien Nguyen (37)

Robert Sim (37)

Divya Gupta (37)

Jake Hofman (36)

Marcus Peinado (36)

Nicolas Villar (36)

Raghav Kaushik (36)

Weiwei Cui (36)

Sergey Yekhanin (36)

Xingdi Yuan (36)

Shruti Tople (36)

Gustavo Soares (36)

Anthony Ortiz (36)

Hao Cheng (36)

Austin Donnelly (35)

Ethan Jackson (35)

Sameh Elnikety (35)

Srinath Setty (35)

Qi Chen (35)

Dylan Foster (35)

Jennifer Neville (35)

Daniel G. Goldstein (34)

Galen Hunt (34)

Greg Smith (34)

Haidong Zhang (34)

Fangzhao Wu (34)

Tristan Naumann (34)

Rathijit Sen (34)

Yang Liu (34)

Anton Schwaighofer (33)

Josh Benaloh (33)

Hsiao-Wuen Hon (33)

Krishna Chintalapudi (33)

Sasa Junuzovic (33)

Solon Barocas (33)

Longqi Yang (33)

Si Qin (33)

Anoop Gupta (32)

Gordon Bell (32)

Matthew Hastings (32)

Qiang Huo (32)

Sanjeev Mehrotra (32)

Bo Qiao (32)

Kevin Hsieh (32)

Lorin Crawford (32)

Yifan Yang (32)

Michael Levit (31)

Robert E. Schapire (31)

Xiulian Peng (31)

Avrilia Floratou (31)

Pu Zhao (31)

Sonia Jaffe (30)

Sangho Lee (30)

Kevin Larson (30)

Siwei Wang (30)

Lev Tankelevitch (30)

Jonathan Larson (29)

Nan Yang (29)

Peter Bodík (29)

Qi Dai (29)

Sujay Kumar Jauhar (29)

Chris White (28)

Haoxiang Lin (28)

Rui Ding (28)

Nagarajan Natarajan (28)

Dan R. K. Ports (28)

Naoto Usuyama (28)

Sheng Zhang (28)

Ben Van Durme (28)

Qianhui Wu (28)

Mukul Singh (28)

Greg Zaverucha (27)

Kim Laine (27)

Neeraj Kayal (27)

Yao Qian (27)

Jiaolong Yang (27)

Weiqing Liu (27)

Xia Song (27)

Michael Freedman (26)

Yue Dong (26)

Swami Manohar (26)

Haoyu Dong (26)

Mohit Jain (26)

Matteo Interlandi (26)

Sara Malvar (26)

Sheng Zhao (26)

Jue Zhang (26)

Minghua Ma (26)

Darren Tanner (26)

Xuchao Zhang (26)

Alex Bocharov (25)

Nancy Baym (25)

David Rothschild (25)

Paul Mineiro (25)

Xiubo Geng (25)

Jayashree Mohan (25)

Victor Ruehle (25)

Fangyun Wei (25)

Lev Nachmanson (24)

Matthai Philipose (24)

Markus Weimer (24)

Satya Lokam (24)

Subru Krishnan (24)

Tolga Acar (24)

Yinan Li (24)

Arun Iyer (24)

Linjun Shou (寿林钧) (24)

Jonathan Mace (24)

Kenji Takeda (23)

Stavros Volos (23)

Mihaela Vorvoreanu (23)

Tanuja Ganu (23)

Bei Liu (23)

Yiwen Zhu (23)

Shahrzad Gholami (23)

Tengchao Lv (23)

Renato L. de F. Cunha (23)

Xiaoyuan Yi (23)

H. Jabran Zahid (23)

Liang Wang (23)

Tarleton Gillespie (22)

Yuan-Jyue Chen (22)

Paul Smolensky (22)

Marc-Alexandre Côté (22)

Stephanie Hyland (22)

Amanda K. Hall (22)

Shiqi Jiang (22)

Caihua Shan (22)

Xiaoting Qin (22)

Jaron Lanier (21)

Vishnu Navda (21)

Ran Gal (21)

Young Jin Kim (21)

Boris Köpf (21)

Tobias Schnabel (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)

Noel Codella (21)

Andrew Putnam (20)

Antoine Delignat-Lavaud (20)

Daniel Cletheroe (20)

Patrick Longa (20)

Ron Paulsen (20)

Sergey Legtchenko (20)

Torsten Karzig (20)

Jacob Nelson (20)

Cliff Wong (20)

Ashley J. Llorens (20)

Weiwei Yang (20)

Fangkai Yang (20)

Judith Amores (20)

Frank Noé (20)

Dongqi Han (20)

Payod Panda (20)

Dr. Chetan Nayak (19)

Jacek Czerwonka (19)

Roman Lutchyn (19)

Yaobo Liang (19)

Hongzhi Li (19)

Geoff Gardner (19)

Mengting Wan (19)

Felipe Oviedo (19)

Jenna Butler (19)

Amy Luers (19)

Xinyang Jiang (19)

Asma Ben Abacha (19)

Girmaw Abebe Tadesse (19)

Brian Houck (19)

Shan Lu (19)

Ann Paradiso (18)

Kim Herzig (18)

Bin Li (18)

Jeremiah (Miah) Wander (18)

Ravishankar Krishnaswamy (18)

Yan Huang (18)

Budhaditya Deb (18)

Ran Shu (18)

Martez Mott (18)

Yixi Xu (18)

Pedro Henrique Penna (18)

Sepideh Mahabadi (18)

Harsha Nori (18)

Siva Kesava Reddy Kakarla (18)

Yasuyuki Matsushita (18)

John Helmes (17)

Kaushik Rajan (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)

Tahina Ramananandro (17)

Shikhar Sharma (17)

Yi Mao (17)

Benn Thomsen (17)

Nipun Kwatra (17)

Zhirong Wu (17)

Tim Deegan (17)

David Alvarez-Melis (17)

Shruthi Bannur (17)

Tadas Baltrusaitis (17)

Meghana Kshirsagar (17)

Daniel Coelho de Castro (17)

Huseyin Inan (17)

Betül Durak (17)

Alex Lu (17)

A. Parayil (17)

Amit Deshpande (16)

David Sweeney (16)

Hugh Williams (16)

Ken Woodberry (16)

Irene Zhang (16)

Ted Meeds (16)

Andromachi Chatzieleftheriou (16)

Sudha Rao (16)

Barun Patra (16)

Jiahao Li (16)

Ida Momennejad (16)

Saikat Chakraborty (16)

Christian Paquin (15)

Lenin Ravindranath Sivalingam (15)

Manoj Syamala (15)

Navin Goyal (15)

Shital Shah (15)

Harsha Simhadri (15)

Luke Marshall (15)

Ioan Stefanovici (15)

Xian Zhang (15)

Lukas Wutschitz (15)

Jordan Ash (15)

Chang Xu (15)

Mayukh Das (15)

Corby Rosset (15)

Ashish Panwar (15)

Wen-wai Yim (15)

Chaojie Zhang (15)

Chao Ma (15)

Mark Encarnación (14)

Silviu Cucerzan (14)

Suresh Parthasarathy (14)

Wenxuan Xie (14)

Yanjie Gao (14)

Zhenghan Wang (14)

Sylvan Clebsch (14)

Robert Gmyr (14)

Kevin Kaichuang Yang (14)

Zeqi Lin (14)

Eirini Kalliamvakou (14)

Millicent Ochieng (14)

Jake Smith (14)

Yansen Wang (14)

Chung-Ching Lin (14)

Chandan Singh (14)

Vineeth N Balasubramanian (14)

Ahmed Tawfik (13)

David Johnston (13)

Kevin Kane (13)

Nikos Karampatziakis (13)

Vassily Lyutsarev (13)

Pantazis Deligiannis (13)

Landon Cox (13)

Qianxi Zhang (13)

Pulkit Misra (13)

Danqing Huang (13)

James Bono (13)

Hang Dong (13)

Tusher Chakraborty (13)

Guoqing Liu (13)

Yashoteja Prabhu (13)

Xingxing Zhang (13)

Xiao Liu (13)

Gilles Quentin Hacheme (13)

Kenza Bouzid (13)

Jay Bosamiya (13)

Baolin Peng (13)

Lars Liden (12)

Bo-June (Paul) Hsu (12)

Paul Koch (12)

Youshan Miao (12)

Dmitry Pikulin (12)

Hamed Khanpour (12)

Ishani Chakraborty (12)

Vishak Gopal (12)

Madeleine Daepp (12)

Fanny Nina Paravecino (12)

Venkatesh Emani (12)

Arturs Backurs (12)

Fernando Pérez-García (12)

Harshita Sharma (12)

Menglin Xia (12)

Sara Abdali (12)

Ankur Mallick (12)

Rujia Wang (12)

Nicolai Marquardt (12)

Pashmina Cameron (12)

Ahmed Salem (12)

Dan Shumow (11)

Lei Ji (11)

Yan Xia (11)

Yu Liu (11)

Jinglu Wang (11)

Karthik Ramachandra (11)

Vaishnavi Ranganathan (11)

Randy Pagulayan (11)

Wei Cui (11)

Konstantina Mellou (11)

Krzysztof Maziarz (11)

Kai Shi (11)

Bamdev Mishra (11)

Xenofon Foukas (11)

Bahar Sarrafzadeh (11)

Robert Aichner (11)

Philipp Witte (11)

Marwin Segler (11)

Kristen Severson (11)

Chenglong Wang (11)

Scott Freitas (11)

Jing Yao (11)

Matheus R. F. Mendonça (11)

Chris Parnin (11)

Srihari Hulikal Muralidhar (11)

Akram Zaytar (11)

Renee St. Amant (11)

Chen Liang (11)

Shraddha Barke (11)

Zilong Wang (11)

Zhengyuan Yang (11)

Rishi Sharma (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)

Andrew Paverd (10)

Luming Liang (10)

Oscar Koller (10)

Urszula Chajewska (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)

Harsh Jhamtani (10)

Sarah Fakhoury (10)

Yasharth Bajpai (10)

Weiteng Chen (10)

Fiodar Kazhamiaka (10)

Haoran Qiu (10)

Vidhisha Balachandran (10)

Anson Bastos (10)

Jonathan Lester (9)

Pallavi Choudhury (9)

Vishal Chowdhary (9)

Alok Kumbhare (9)

Neil Tenenholtz (9)

Aleksander Fabijan (9)

Manthan Thakker (9)

Fotis Psallidas (9)

Rui Wang (9)

Chad Atalla (9)

Daniel Madrigal (9)

Mirian Hipolito Garcia (9)

Hope Twede (9)

Luna K. Qiu (9)

Jiahang Xu (9)

Spandan Garg (9)

Simone Fobi Nsutezo (9)

Weijia Xu (9)

Suraj Jog (9)

Wenbo Gong (9)

Sicheng Xu (9)

Tianyu Ding (9)

Andrzej Banburski-Fahey (9)

Haotian Li (9)

Hui Xue (9)

Robert Gruen (8)

Song Ge (8)

Tony Hoare (8)

Anshuman Dutt (8)

Ramakrishna Bairi (8)

Hui Xue (8)

Raluca Stevenson (8)

Scarlett Li (8)

Eoin O'Farrell (8)

Rangan Majumder (8)

Kenichi Kumatani (8)

Ashvin Agrawal (8)

Raghu Ramakrishnan (8)

Ziqiao Zhou (8)

Celine Irvene (8)

Leonardo Nunes (8)

Yufan Huang (8)

Robert Osazuwa Ness (8)

Maximilian Ilse (8)

Yizhong Zhang (8)

Yangyu Huang (8)

Tara Safavi (8)

Nan Chen (8)

Dan Vann (8)

Patrick Xia (8)

Liqun Li (8)

Baotong Lu (8)

Carles Domingo-Enrich (8)

Cassiano Becker (8)

Fabian Falck (8)

Ashley Feniello (7)

Markus Mobius (7)

Peter Lee (7)

Qiufeng Yin (7)

Spencer Fowers (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)

Paulo Salem (7)

Xiaoyi Zhang (7)

Michael Hansen (7)

Shengyu Fu (7)

Serena Hillman (7)

Srinivasan Iyengar (7)

Kali Frost (7)

Yuge Zhang (7)

Allen Kim (7)

Lixin Sun (7)

Xin Jin (7)

Priyanshu Gupta (7)

Zhong Li (7)

Zhongqi Miao (7)

Gabriel Ebner (7)

Seth Spielman (7)

Gagan Somashekar (7)

Ananya Singha (7)

Sam Ade Jacobs (7)

Emily Sheng (7)

Jing Liu (7)

Maximiliana Behnke (7)

Fazle Faisal (7)

Rita Faia Marques (7)

Fatemeh Saleh (7)

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)

Dave Bignell (6)

Amaury Chamayou (6)

Sebastian Heedt (6)

Kai Qiu (6)

Ammar Ahmad Awan (6)

Brandon Haynes (6)

Anna Pavlenko (6)

Ran Jia (6)

Dean Carignan (6)

Camille Couturier (6)

Anja Gruenheid (6)

Swati Sharma (6)

Robin Abraham (6)

Debopam Bhattacherjee (6)

Jeevana Priya Inala (6)

Chin-Wei Huang (6)

Changho Hwang (6)

Akiko I. Eriguchi (6)

Zelalem Gero (6)

Matheus Pereira (6)

Reshmi Ghosh (6)

Sathiya Kumaran Mani (6)

Lohit Petikam (6)

Oleksii Oleksenko (6)

Sam Bond-Taylor (6)

Matthew Vogel (6)

Minseon Kim (6)

Chuheng Zhang (6)

Lucas Caccia (6)

Kiran Tomlinson (6)

Jean Garcia-Gathright (6)

Nick Pangakis (6)

Remi Pautrat (6)

Reuben Tan (6)

Thomas Lin (6)

Satarupa Guha (6)

Adrien Ghosn (6)

Jean Helie (6)

Lu Wang (6)

Tianyu Chen (6)

Burton Smith (5)

Chuck Thacker (5)

Dennis Mattoon (5)

Marina Polishchuk (5)

Nirupama Chandrasekaran (5)

Roy Levin (5)

Todd Massengill (5)

Zhitao Hou (5)

Neil Toronto (5)

Nathan Evans (5)

Chinmay Singh (5)

Andrey Antipov (5)

Thorvald Wadum Larsen (5)

Fotini Karinou (5)

Zhixiong Niu (5)

Pratik Ghosh (5)

Junyi Liu (5)

Silvano Galliani (5)

Christoph Vogel (5)

Ran Gilad-Bachrach (5)

Adam D. Troy (5)

Xiao Li (5)

Abhisek Pan (5)

Sunit Sivasankaran (5)

Lei Chu (5)

Jennifer Wang (5)

Samuel Chege Maina (5)

Peidong Wang (5)

Zhongxin Guo (5)

Yuanyuan Tian (5)

Mohamed Ahmed (5)

Sarah Lewis (5)

Jyoti Aneja (5)

Rogerio Bonatti (5)

Xiaoyu Liu (5)

Mahdi Rad (5)

Robert Pinsler (5)

Shaleen Deep (5)

Enrique Saurez (5)

Jaspreet Bagga (5)

Nicholas Jing Yuan (5)

Rohan Gandhi (5)

Andrea Britto Mattos Lima (5)

Matthew Balkwill (5)

Ashley Conard (5)

Daniel Zügner (5)

Amit Misra (5)

Roshan Dathathri (5)

Ha Trinh (5)

Sarah Alamdari (5)

Safoora Yousefi (5)

Pei Zhou (5)

Sihao Chen (5)

Yuhang He (5)

Emerson Murphy-Hill (5)

Lingjiao Chen (5)

Zewen Chi (5)

Alex Dow (5)

Gabriele Goletto (5)

Somya Chatterjee (5)

Pranjal A. Chitale (5)

Alex Farach (5)

Wesley Deng (5)

Ali Bakhoda (4)

Dany Rouhana (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)

Francesca Parmigiani (4)

Judith Suter (4)

Victor Fragoso (4)

Jimmy Hall (4)

Georg Wolfgang Winkler (4)

Carmen Badea (4)

Nicholas Wilson (4)

Joshua Elsdon (4)

Tanakorn Leesatapornwongsa (4)

Eddy Ashton (4)

Neha Parikh Shah (4)

Suvam Mukherjee (4)

Forough Poursabzi (4)

Anthony Cintron Roman (4)

Rafael da Silva (4)

Prof. Darren Cosker (4)

Sameer Segal (4)

Liang Du (4)

Daniel Jones (4)

Xianliang Yang (4)

Trevor Dhu (4)

Xingbo Wu (4)

Javier Zazo (4)

Thomas Roca, PhD (4)

Donglin Bai (4)

Piero Kauffmann (4)

Srikant Bharadwaj (4)

Kate Nowak (4)

Zhiyuan He (4)

Claudio Zeni (4)

Victor Garcia Satorras (4)

Andrew Fowler (4)

Michael Xu (4)

Sadid A. Hasan (4)

Hosein Hasanbeig (4)

Thiago V. Spina (4)

Bruno Silva (4)

Saksham Singhal (4)

Abhinav Jangda (4)

Jan Hermann (4)

Amrita Gupta (4)

Christian Poelitz (4)

Aashaka Shah (4)

Angelica Moreira (4)

Yupan Huang (4)

Dongge Han (4)

James Hensman (4)

Kaixin Wang (4)

Karthick Jayaraman (4)

Tvrtko Tadić (4)

Sushrut Karmalkar (4)

Benjamin Steenhoek (4)

Sulaiman Vesal (4)

Gagan Jain (4)

Wenyue Hua (4)

Harish Yenala (4)

Hannah Washington (4)

Alex Crown (3)

Andrew Herbert (3)

Ajay Manchepalli (3)

Andrzej Pastusiak (3)

Chuck Needham (3)

Dave Brown (3)

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

Swadheen Shukla (3)

Eduardo Salinas (3)

Jeffrey Delmerico (3)

Radames Cruz Moreno (3)

Jiaqi Chu (3)

Widad Machmouchi (3)

Karthik Selvaraj (RESEARCH) (3)

Niranjani Prasad (3)

Friederike Niedtner (3)

Yiming Liu (3)

Andrea Tupini (3)

Xiang Ming (3)

Zhihua Lai (3)

Kshitiz Kumar (3)

Gustavo de Rosa (3)

Douglas J. Kelly (3)

Hugo Barbalho (3)

Yu Wang (3)

Nathanael Cheriere (3)

Gaurav Mittal (3)

John Stairs (3)

Najeeb G. Abdulhamid (3)

Harish Doraiswamy (3)

Ashkan Aazami (3)

Giovanni Cherubin (3)

Jinu Jang (3)

Tammy Glazer (3)

Paola Gori-Giorgi (3)

Elise van der Pol (3)

Lucas A. Meyer (3)

Gregor Simm (3)

Andres Codas (3)

Jorge J. G. Leandro (3)

Rafael Padilha (3)

Sergio Valcarcel Macua (3)

Gaurav Sinha (3)

Yuancheng Tu (3)

Derk Kooi (3)

Guido Martínez (3)

Sampath Rajendra (3)

Mansi Khemka (3)

Soheil Abbasloo (3)

Kirill Kalinin (3)

Bishal Santra (3)

Liangcheng Yu (3)

Lindsey Raymond (3)

Zongyu Guo (3)

Agathe Balayn (3)

Philippe Laban (3)

Rebecca Janssen (3)

Dasha Metropolitansky (3)

Galen Mullins (3)

Sirui Li (3)

Gaurav Verma (3)

Yifan Wu (3)

Bruce Wittmann (3)

Pooria Namyar (3)

Oleg Smirnov (3)

Ahmed Elgohary (3)

Yash Pandya (3)

Rui Ma (3)

Rachel Lawrence (3)

Achraf Chalabi (2)

Adrian Bonar (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)

Pavel Myshkov (2)

Ruben Grigoryan (2)

Matthew Dixon (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)

Melanie Fernandez Pradier (2)

Qiang Gan (2)

Yongzhi Li (李永智) (2)

Jingwen Lu (2)

Rajarshee Mitra (2)

Kunho Kim (2)

Stojan Trajanovski (2)

Luis França (2)

Johnny Johnson (2)

Jason (Zengzhong) Li (2)

Harsh Vijay (2)

Roberto Santos (2)

Roberto Estevão (2)

Shideh Rezaeifar (2)

Morris Sharp (2)

Shoko Ueda (2)

Bastiaan S. Veeling (2)

Xi (Ada) Wang (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)

Deniz Gunceler (2)

Sebastian Ehlert (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)

Jennifer Marsman (2)

Thijs Vogels (2)

Jeya Maria Jose Valanarasu (2)

Victor Reis (2)

Peniel Argaw (2)

Samuel Kessler (2)

Juan Manuel Zambrano Chaves (2)

Varun Jain (2)

Henrik Turbell (2)

Amey Varhade (2)

Hamna . (2)

Kevin Qu (2)

Zhengyan Shi (2)

Xueting Han (2)

Giulia Luise (2)

Jose Garrido Torres (2)

K.J.H. Giesbertz (2)

Hayley LeBlanc (2)

Xinxing Xu (2)

Hugo ROMAT (2)

Marko Tot (2)

Tao Lin (2)

Wassim Hamidouche (2)

Spencer Whitehead (2)

Andrew Zhao (2)

Debarati Das (2)

Avik Dutta (2)

Riashat Islam (2)

Shivam Garg (2)

Jihoon Tack (2)

Hannah Cha (2)

Vivek Mathur (2)

Abubakarr Jaye (2)

Sourav Pal (2)

Pavel Tolmachev (2)

Pedro BPS Reis (2)

Yadong Lu (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)

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)

Mason Thomas (1)

Rahee Ghosh Peshawaria (1)

Gary Campbell (1)

William HP Nielsen (1)

Christopher Gooley (1)

Mirco Milletari (1)

Jason Kace (1)

Xiaowu Hu (1)

Emrah Yücelen (1)

Ze Gan (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)

Mattan Serry (1)

James Brand (1)

Peichen Xie (1)

Xuan Feng (1)

Patricia Kovaleski (1)

Clint Simon (1)

Sebastian Kohlmeier (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)

Yue Chen (1)

Nikola Pejic (1)

Beibei Shi (1)

Andrew Jenks (1)

Jameson Merkow (1)

Chethan M (1)

Santiago Salcido (1)

Whitney Hudson (1)

Alonso Guevara Fernández (1)

Alessandro Manzotti (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)

Guanghui Qin (1)

Darya Moldavskaya (1)

Ashish Sharma (1)

Ruichun Ma (1)

Jessica Young (1)

Vyshak Jain (1)

Luca Wilke (1)

Alberto Santamaria-Pang (1)

Smitha Saligrama (1)

Gabriel Ryan (1)

Matheus Cerqueira (1)

Eray Inanc (1)

Naiteek Sangani (1)

Junjie Xing (1)

Tristan Lazard (1)

Xiaoying Wang (1)

Juheon (1)

Gordon Broadbent (1)

Emily Bao (1)

Katy Smith (1)

Anant Khandelwal (1)

William Chappell (1)

Travis Lowdermilk (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)

Han Yang (1)

Hao Chen (1)

Zezhou Huang (1)

Archana Yadav (1)

Waqas Zamir (1)

Lin Ai (1)

Sheshera Mysore (1)

Aravind Rajeswaran (1)

Pratyusha Sharma (1)

Yuchen Zeng (1)

Tim Pearce (1)

Ziyu Wan (1)

Maia Stiber (1)

Agrima Seth (1)

Lorenzo Jaime Flores (1)

John Gardner (1)

Alind Khare (1)

Chidera Biringa (1)

Nigel Boachie Kumankumah (1)

Dayquan Julienne (1)

Tianwei Chen (1)

Ritabrata Maiti (1)

Rosa Zhou (1)

Beatriz Costa-Gomes (1)

Ken Archer (1)

Fabian Thiemann (1)

Published Date

Publication

Decision Problem for Separated Distributive Lattices

Yuri Gurevich

Journal of Symbolic Logic | July 1983, Vol 48: pp. 193-196

Publication

Interpreting Second-order Logic in the Monadic Theory of Order

Yuri Gurevich, Saharon Shelah

July 1983, Vol 48

Publication

The Weak Byzantine Generals Problem

Leslie Lamport

Journal of the Association for Computing Machinery | June 1983, Vol 30(3): pp. 668-676

Publication

Organizing software in a distributed environment

Butler Lampson, Eric Schmidt

1983 ACM SIGPLAN Symposium on Programming Language Issues in Software Systems | June 1983

Proc., ACM Sigplan Notices 18, 6 (Jun. 1983), pp 1-13

Publication

What Good Is Temporal Logic?

Leslie Lamport

Information Processing 83, R. E. A. Mason, ed., Elsevier Publishers | May 1983, Vol 83: pp. 657-668

Publication

Lattice Yang-Mills Theory at Nonzero Temperature and the Confinement Problem

Christian Borgs, Erhard Seiler

May 1983, Vol 91(3): pp. 329-380

Publication

Random Models and the Goedel Case of the Decision Problem

Yuri Gurevich, Saharon Shelah

Journal of Symbolic Logic | April 1983, pp. 1120-1124

Publication

Specifying Concurrent Program Modules

Leslie Lamport

ACM Transactions on Programming Languages and Systems | April 1983, pp. 190-222

Publication

Reasoning About Nonatomic Operations

Leslie Lamport

Proceedings of the Tenth ACM Symposium on Principles of Programming Languages, ACM SIGACT-SIGPLAN | January 1983

Publication

Topological Charge Distribution in SU(N) Gauge Theories

Christopher Bishop, P. V. D. Swift

Physics Letters | January 1983, Vol 129: pp. 198