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

Jianfeng Gao (405)

Dongmei Zhang (256)

Jinyu Li (250)

Ryen W. White (242)

Abigail Sellen (226)

Sumit Gulwani (226)

Stephen Lin (223)

David Heckerman (219)

Furu Wei (210)

Juan M. Lavista Ferres (201)

Antonio Criminisi (186)

Wei Chen (180)

Rick Szeliski (171)

Surajit Chaudhuri (163)

Leslie Lamport (160)

Qingwei Lin 林庆维 (153)

Baining Guo (148)

Ranveer Chandra (146)

Jaime Teevan (142)

Chin-Yew Lin (140)

Suman Nath (140)

Margus Veanes (136)

Nick Craswell (135)

Andrew D. Wilson (134)

Ivan Tashev (133)

Christopher Bishop (130)

Emre Kiciman (127)

Thomas Moscibroda (123)

Jonathan M. Carlson (120)

Saravan Rajmohan (115)

Victor Bahl (112)

Dongsheng Li (111)

Christian Borgs (110)

Venkat Padmanabhan (110)

Cédric Fournet (108)

Sean Rintel (108)

John Langford (105)

Jennifer Chayes (103)

Madan Musuvathi (100)

Nathalie Henry Riche (100)

Sriram Rajamani (100)

Aditya Nori (99)

Lijuan Wang (99)

Shuvendu Lahiri (99)

Jim Gray (98)

Christian Bird (96)

Chong Luo (94)

Rahul Dodhia (93)

A.J. Brush (92)

Akshay Krishnamurthy (91)

G. Ramalingam (91)

Chetan Bansal (89)

Fan Yang (89)

Cha Zhang (88)

Michel Galley (88)

Tom Minka (88)

Brendan Lucier (87)

Ece Kamar (87)

Lidong Zhou (87)

Shi Han (87)

Shujie Liu (87)

Hannes Gamper (86)

Ramachandran Ramjee (84)

Li Dong (84)

Alec Wolman (83)

Jennifer Wortman Vaughan (83)

Siân Lindley (83)

Yan Lu (83)

Vivek Narasayya (82)

Scott Counts (81)

Ganesh Ananthanarayanan (81)

Kori Inkpen (80)

Yuqing Yang (80)

Karin Strauss (78)

John Winn (77)

Weizhu Chen (77)

Paolo Costa (75)

Nebojsa Jojic (74)

Katja Hofmann (74)

Wentao Wu (74)

Amit Sharma (73)

Shamsi Iqbal (73)

Daan Leijen (71)

Dan Bohus (71)

Henrique S. Malvar (71)

Hanna Wallach (71)

Caleb Robinson (71)

Janardhan (Jana) Kulkarni (70)

Kalika Bali (70)

Badrish Chandramouli (68)

Jianlong Fu (67)

Andrew Blake (66)

Harry Shum (66)

Dave Maltz (65)

Ben Zorn (65)

Shaohan Huang (65)

Nicole Immorlica (64)

Xiaodong Liu (64)

Aleksandrs Slivkins (63)

Sumit Basu (63)

Dave Thaler (62)

Advait Sarkar (62)

Andrey Kolobov (61)

Dong Chen (61)

Thomas Karagiannis (61)

Nikolaj Bjørner (60)

Neel Joshi (60)

Sebastian Burckhardt (60)

Lester Mackey (60)

Kate Crawford (59)

Nishanth Chandran (59)

Ricardo Bianchini (59)

Dongdong Chen (59)

Jacki O'Neill (58)

Yang Liu (58)

Sebastian Braun (58)

Akash Lal (57)

Chris Quirk (57)

Lei Cui (56)

Nikhil Swamy (56)

Santiago Zanella-Béguelin (56)

Paul Thomas (56)

Bela Bauer (55)

Butler Lampson (55)

John Snyder (55)

Jay Lorch (55)

Manik Varma (55)

Phil Bernstein (55)

Cuiling Lan (54)

Stefan Saroiu (54)

James Weinstein (54)

Jonathan "Peli" de Halleux (53)

Melissa Chase (53)

Michel Pahud (53)

Li Zhao (53)

Arjun Radhakrishna (53)

Cecily Morrison (52)

Hitesh Ballani (52)

Sharad Agarwal (52)

Siddhartha Sen (52)

Yeyun Gong (52)

Bozidar Radunovic (51)

Manish Gupta (51)

Íñigo Goiri (51)

Peng Cheng (51)

Shuo Chen (51)

Sunayana Sitaram (51)

Ross Cutler (51)

Ishai Menache (50)

Anja Thieme (50)

Linjie Li (50)

Adam Fourney (49)

Carlo Curino (49)

Sean Andrist (49)

Alessandro Sordoni (49)

Vu Le (49)

Yifan Yang (49)

Chris Hawblitzel (48)

Darren Edge (48)

Yeye He (48)

Akshay Nambi (48)

Jianxun Lian (48)

Arnd Christian König (47)

Vibhav Vineet (47)

Dushyanth Narayanan (46)

Don Syme (46)

E. Glen Weyl (46)

Scott Saponas (46)

Ramarathnam Venkatesan (46)

Aseem Rastogi (46)

Chieh-Jan Mike Liang (46)

Yun Wang (46)

Zinan Lin (46)

Doug Burger (45)

Manuel Costa (45)

Richard Banks (45)

Javier Hernandez (45)

Yu Kang (45)

Rodrigo Fonseca (45)

Marco Molinaro (45)

Yongqiang Xiong (44)

Dimitra Emmanouilidou (44)

Denae Ford (44)

Xiaofei Wang (44)

Ava P. Amini (44)

Marcin Junczys-Dowmunt (43)

Nicolas Bruno (43)

Nikunj Raghuvanshi (42)

Siddharth Suri (42)

Qi Chen (42)

Hao Cheng (42)

Robert Sim (41)

Qi Dai (41)

Esha Choukse (41)

Miro Dudík (40)

Behnaz Arzani (40)

Dongdong Zhang (39)

Nicolo Fusi (39)

Ryan Beckett (39)

Tristan Naumann (39)

Matthew J. Parkinson (38)

Weidong Cui (38)

Sergey Yekhanin (38)

Bichlien Nguyen (38)

Hannes Schulz (38)

Rathijit Sen (38)

Si Qin (38)

Bodhi Priyantha (37)

Jake Hofman (37)

Srinath Setty (37)

Weiwei Cui (37)

Yongguang Zhang (37)

Fangzhao Wu (37)

Xingdi Yuan (37)

Divya Gupta (37)

Anthony Ortiz (37)

Jennifer Neville (37)

Marcus Peinado (36)

Nicolas Villar (36)

Raghav Kaushik (36)

Solon Barocas (36)

Shruti Tople (36)

Gustavo Soares (36)

Yang Liu (36)

Dylan Foster (36)

Austin Donnelly (35)

Daniel G. Goldstein (35)

Ethan Jackson (35)

Greg Smith (35)

Haidong Zhang (35)

Sameh Elnikety (35)

Sheng Zhang (35)

Lorin Crawford (35)

Siwei Wang (35)

Galen Hunt (34)

Krishna Chintalapudi (34)

Bo Qiao (34)

Pu Zhao (34)

Anton Schwaighofer (33)

Josh Benaloh (33)

Hsiao-Wuen Hon (33)

Sasa Junuzovic (33)

Xiulian Peng (33)

Jiaolong Yang (33)

Longqi Yang (33)

Kevin Hsieh (33)

Anoop Gupta (32)

Gordon Bell (32)

Matthew Hastings (32)

Nan Yang (32)

Qiang Huo (32)

Sanjeev Mehrotra (32)

Qianhui Wu (32)

Michael Levit (31)

Robert E. Schapire (31)

Avrilia Floratou (31)

Sonia Jaffe (31)

Naoto Usuyama (31)

Mohit Jain (31)

Bei Liu (31)

Matteo Interlandi (31)

Lev Tankelevitch (31)

Chris White (30)

Jonathan Larson (30)

Yao Qian (30)

Nagarajan Natarajan (30)

Dan R. K. Ports (30)

Sangho Lee (30)

Kevin Larson (30)

Rui Ding (29)

Peter Bodík (29)

Mihaela Vorvoreanu (29)

Sujay Kumar Jauhar (29)

Tanuja Ganu (29)

Xiaoyuan Yi (29)

Haoxiang Lin (28)

Yue Dong (28)

Ben Van Durme (28)

Jue Zhang (28)

Fangyun Wei (28)

Mukul Singh (28)

David Rothschild (27)

Greg Zaverucha (27)

Kim Laine (27)

Neeraj Kayal (27)

Haoyu Dong (27)

Xia Song (27)

Shiqi Jiang (27)

Minghua Ma (27)

Liang Wang (27)

Xuchao Zhang (27)

Michael Freedman (26)

Yinan Li (26)

Swami Manohar (26)

Sara Malvar (26)

Victor Ruehle (26)

Sheng Zhao (26)

Darren Tanner (26)

Fangkai Yang (26)

Nancy Baym (25)

Lev Nachmanson (25)

Paul Mineiro (25)

Arun Iyer (25)

Linjun Shou (寿林钧) (25)

Xiubo Geng (25)

Jayashree Mohan (25)

Jonathan Mace (25)

Kenji Takeda (24)

Matthai Philipose (24)

Markus Weimer (24)

Satya Lokam (24)

Subru Krishnan (24)

Tolga Acar (24)

Stavros Volos (24)

Shahrzad Gholami (24)

Amanda K. Hall (24)

Tengchao Lv (24)

Alex Lu (24)

Xinyang Jiang (24)

Andrew Putnam (23)

Paul Smolensky (23)

Marc-Alexandre Côté (23)

Young Jin Kim (23)

Yiwen Zhu (23)

Weiwei Yang (23)

Renato L. de F. Cunha (23)

H. Jabran Zahid (23)

Caihua Shan (23)

Xiaoting Qin (23)

Tarleton Gillespie (22)

Yuan-Jyue Chen (22)

Boris Köpf (22)

Stephanie Hyland (22)

Cliff Wong (22)

Jakub Tarnawski (22)

Ashish Tiwari (22)

Xiyang Dai (22)

Gust Verbruggen (22)

Noel Codella (22)

Jaron Lanier (21)

Vishnu Navda (21)

Ran Gal (21)

Ron Paulsen (21)

Jacob Nelson (21)

Ran Shu (21)

Tobias Schnabel (21)

Brent Hecht (21)

Kevin Lin (21)

Jack Williams (21)

Rianne van den Berg (21)

Dongqi Han (21)

Antoine Delignat-Lavaud (20)

Daniel Cletheroe (20)

Patrick Longa (20)

Roman Lutchyn (20)

Sergey Legtchenko (20)

Torsten Karzig (20)

Yaobo Liang (20)

Ashley J. Llorens (20)

Huseyin Inan (20)

Judith Amores (20)

Frank Noé (20)

Asma Ben Abacha (20)

Girmaw Abebe Tadesse (20)

Shan Lu (20)

Baolin Peng (20)

Payod Panda (20)

Dr. Chetan Nayak (19)

Jacek Czerwonka (19)

Kaushik Rajan (19)

Bin Li (19)

Jeremiah (Miah) Wander (19)

Yan Huang (19)

Geoff Gardner (19)

Zhirong Wu (19)

David Alvarez-Melis (19)

Mengting Wan (19)

Felipe Oviedo (19)

Jenna Butler (19)

Sepideh Mahabadi (19)

Amy Luers (19)

Siva Kesava Reddy Kakarla (19)

Brian Houck (19)

Yasuyuki Matsushita (19)

Kim Herzig (18)

Ravishankar Krishnaswamy (18)

Budhaditya Deb (18)

Nipun Kwatra (18)

Xian Zhang (18)

Qianxi Zhang (18)

Martez Mott (18)

Yixi Xu (18)

Pedro Henrique Penna (18)

Chang Xu (18)

A. Parayil (18)

Harsha Nori (18)

Xiao Liu (18)

John Helmes (17)

Martin Grayson (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)

Irene Zhang (17)

Benn Thomsen (17)

Sudha Rao (17)

Tim Deegan (17)

Kevin Kaichuang Yang (17)

Shruthi Bannur (17)

Jiahao Li (17)

Tadas Baltrusaitis (17)

Daniel Coelho de Castro (17)

Ida Momennejad (17)

Betül Durak (17)

Corby Rosset (17)

Chaojie Zhang (17)

Vineeth N Balasubramanian (17)

Amit Deshpande (16)

David Sweeney (16)

Hugh Williams (16)

Ken Woodberry (16)

Wenxuan Xie (16)

Ted Meeds (16)

Andromachi Chatzieleftheriou (16)

Wei Cui (16)

Barun Patra (16)

Jordan Ash (16)

Mayukh Das (16)

Yansen Wang (16)

Ashish Panwar (16)

Saikat Chakraborty (16)

Wen-wai Yim (16)

Christian Paquin (15)

Lenin Ravindranath Sivalingam (15)

Manoj Syamala (15)

Navin Goyal (15)

Yanjie Gao (15)

Yan Xia (15)

Harsha Simhadri (15)

Sylvan Clebsch (15)

Luke Marshall (15)

Ioan Stefanovici (15)

Jake Smith (15)

Yangyu Huang (15)

Jing Yao (15)

Chao Ma (15)

Zhengyuan Yang (15)

Lei Ji (14)

Mark Encarnación (14)

Suresh Parthasarathy (14)

Jinglu Wang (14)

Landon Cox (14)

Robert Gmyr (14)

James Bono (14)

Zeqi Lin (14)

Eirini Kalliamvakou (14)

Millicent Ochieng (14)

Yashoteja Prabhu (14)

Xingxing Zhang (14)

Harshita Sharma (14)

Chung-Ching Lin (14)

Chen Liang (14)

Jay Bosamiya (14)

Haoran Qiu (14)

Wesley Deng (14)

Ahmed Tawfik (13)

David Johnston (13)

Kevin Kane (13)

Nikos Karampatziakis (13)

Vassily Lyutsarev (13)

Pantazis Deligiannis (13)

Pulkit Misra (13)

Danqing Huang (13)

Bamdev Mishra (13)

Hang Dong (13)

Madeleine Daepp (13)

Rui Wang (13)

Tusher Chakraborty (13)

Guoqing Liu (13)

Xiaoyi Zhang (13)

Arturs Backurs (13)

Menglin Xia (13)

Sara Abdali (13)

Rujia Wang (13)

Gilles Quentin Hacheme (13)

Kenza Bouzid (13)

Shraddha Barke (13)

Anson Bastos (13)

Ahmed Salem (13)

Lars Liden (12)

Bo-June (Paul) Hsu (12)

Paul Koch (12)

Yu Liu (12)

Youshan Miao (12)

Dmitry Pikulin (12)

Andrew Paverd (12)

Hamed Khanpour (12)

Kai Qiu (12)

Xenofon Foukas (12)

Ishani Chakraborty (12)

Vishak Gopal (12)

Fanny Nina Paravecino (12)

Venkatesh Emani (12)

Marwin Segler (12)

Kristen Severson (12)

Fernando Pérez-García (12)

Ankur Mallick (12)

Nicolai Marquardt (12)

Pashmina Cameron (12)

Sicheng Xu (12)

Dan Shumow (11)

Daniel Firestone (11)

Sergei Gronin (11)

Karthik Ramachandra (11)

Vaishnavi Ranganathan (11)

Randy Pagulayan (11)

Konstantina Mellou (11)

Krzysztof Maziarz (11)

Kai Shi (11)

Bahar Sarrafzadeh (11)

Robert Aichner (11)

Philipp Witte (11)

Chenglong Wang (11)

Jiahang Xu (11)

Scott Freitas (11)

Matheus R. F. Mendonça (11)

Xin Jin (11)

Chris Parnin (11)

Srihari Hulikal Muralidhar (11)

Zhongqi Miao (11)

Weijia Xu (11)

Akram Zaytar (11)

Renee St. Amant (11)

Baotong Lu (11)

Haotian Li (11)

Lu Wang (11)

Rishi Sharma (11)

Pallavi Choudhury (10)

Himanshu Raj (10)

Xun Guo (10)

Yordan Zaykov (10)

Hannah Richardson (nee Murfet) (10)

Scarlett Li (10)

James Clegg (10)

Esha Ghosh (10)

Luming Liang (10)

Neil Tenenholtz (10)

Oscar Koller (10)

Urszula Chajewska (10)

Amgad Madkour (10)

Aaron L Halfaker (10)

Chad Atalla (10)

Sam Thomson (10)

Daniel Madrigal (10)

Jesús Camacho-Rodríguez (10)

Hope Twede (10)

Yufan Huang (10)

Heidi Howard (10)

Harkirat Behl (10)

Spandan Garg (10)

James Devine (10)

Burcu Canakci (10)

Simone Fobi Nsutezo (10)

Sarah Fakhoury (10)

Yasharth Bajpai (10)

Priyanshu Gupta (10)

Weiteng Chen (10)

Fiodar Kazhamiaka (10)

Kaixin Wang (10)

Kiran Tomlinson (10)

Daiqing Qi (10)

Jonathan Lester (9)

Markus Mobius (9)

Song Ge (9)

Vishal Chowdhary (9)

Alok Kumbhare (9)

Eoin O'Farrell (9)

Aleksander Fabijan (9)

Kenichi Kumatani (9)

Manthan Thakker (9)

Fotis Psallidas (9)

Mirian Hipolito Garcia (9)

Yizhong Zhang (9)

Luna K. Qiu (9)

Allen Kim (9)

Suraj Jog (9)

Wenbo Gong (9)

Liqun Li (9)

Tianyu Ding (9)

Andrzej Banburski-Fahey (9)

Hui Xue (9)

Reuben Tan (9)

Jing Liu (9)

Robert Gruen (8)

Tony Hoare (8)

Anshuman Dutt (8)

Ramakrishna Bairi (8)

Ray Kallaher (8)

Hui Xue (8)

Raluca Stevenson (8)

Eleanor Dillon (8)

Rangan Majumder (8)

Ashvin Agrawal (8)

Raghu Ramakrishnan (8)

Ziqiao Zhou (8)

Celine Irvene (8)

Leonardo Nunes (8)

Shengyu Fu (8)

Robert Osazuwa Ness (8)

Maximilian Ilse (8)

Srinivasan Iyengar (8)

Nan Chen (8)

Dan Vann (8)

Patrick Xia (8)

Zongyu Guo (8)

Minseon Kim (8)

Chuheng Zhang (8)

Emily Sheng (8)

Cassiano Becker (8)

Tianyu Chen (8)

Fabian Falck (8)

Pranjal A. Chitale (8)

Zhongqi Yue (8)

Peter Lee (7)

Qiufeng Yin (7)

Spencer Fowers (7)

Ariel Gomez Diaz (7)

Matthias Troyer (7)

Gijs de Lange (7)

Guoxin Wang (7)

Adam Atkinson (7)

Nikolaos Karianakis (7)

Sebastian Heedt (7)

Ondrej Miksik (7)

Patrick Anderson (7)

Brandon Haynes (7)

Joyce Cahoon (7)

Camille Couturier (7)

Paulo Salem (7)

Yifan Xiong (7)

Serena Hillman (7)

Kali Frost (7)

Yuge Zhang (7)

Lixin Sun (7)

Zelalem Gero (7)

Zhong Li (7)

Gabriel Ebner (7)

Ashley Conard (7)

Amit Misra (7)

Seth Spielman (7)

Dongge Han (7)

Gagan Somashekar (7)

Ananya Singha (7)

Sam Ade Jacobs (7)

Jean Garcia-Gathright (7)

Maximiliana Behnke (7)

Fazle Faisal (7)

Rita Faia Marques (7)

Fatemeh Saleh (7)

Wenyue Hua (7)

Eric Peterson (6)

Lei Fang (6)

Piali Choudhury (6)

Rui Gao (6)

Sarah Bird (6)

Todd Massengill (6)

Ankit Garg (6)

Camilla Longden (6)

Vageesh D C (6)

Chinmay Singh (6)

Sonu Mehta (6)

Zhixiong Niu (6)

Jimmy Hall (6)

Dave Bignell (6)

Amaury Chamayou (6)

Ammar Ahmad Awan (6)

Anna Pavlenko (6)

Dean Carignan (6)

Forough Poursabzi (6)

Anthony Cintron Roman (6)

Peidong Wang (6)

Zhongxin Guo (6)

Anja Gruenheid (6)

Swati Sharma (6)

Robin Abraham (6)

Gaurav Mittal (6)

Jeevana Priya Inala (6)

Chin-Wei Huang (6)

Robert Pinsler (6)

Changho Hwang (6)

Akiko I. Eriguchi (6)

Michael Xu (6)

Nicholas Jing Yuan (6)

Rohan Gandhi (6)

Matheus Pereira (6)

Abhinav Jangda (6)

Jan Hermann (6)

Reshmi Ghosh (6)

Sathiya Kumaran Mani (6)

Lohit Petikam (6)

Oleksii Oleksenko (6)

Angelica Moreira (6)

Roshan Dathathri (6)

Sam Bond-Taylor (6)

Sarah Alamdari (6)

Matthew Vogel (6)

Nick Pangakis (6)

Mercy Ranjit (6)

Remi Pautrat (6)

Thomas Lin (6)

Alex Dow (6)

Satarupa Guha (6)

Adrien Ghosn (6)

Jean Helie (6)

Yuchen Zeng (6)

Sunnie S. Y. Kim (6)

Burton Smith (5)

Chuck Thacker (5)

Dennis Mattoon (5)

Kukjin Lee (5)

Marina Polishchuk (5)

Nirupama Chandrasekaran (5)

Ray Huang (5)

Roy Levin (5)

Zhitao Hou (5)

Neil Toronto (5)

Nathan Evans (5)

Bryan Tower (5)

Andrey Antipov (5)

Thorvald Wadum Larsen (5)

Sitaram Lanka (5)

Fotini Karinou (5)

Pratik Ghosh (5)

Georg Wolfgang Winkler (5)

Junyi Liu (5)

Carmen Badea (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)

Yuanyuan Tian (5)

Mohamed Ahmed (5)

Sarah Lewis (5)

Jyoti Aneja (5)

Rogerio Bonatti (5)

Donglin Bai (5)

Xiaoyu Liu (5)

Piero Kauffmann (5)

Mahdi Rad (5)

Shaleen Deep (5)

Enrique Saurez (5)

Jaspreet Bagga (5)

Andrea Britto Mattos Lima (5)

Matthew Balkwill (5)

Daniel Zügner (5)

Sampath Rajendra (5)

Ha Trinh (5)

Yupan Huang (5)

Liangcheng Yu (5)

James Hensman (5)

Jeya Maria Jose Valanarasu (5)

Safoora Yousefi (5)

Pei Zhou (5)

Sihao Chen (5)

Yuhang He (5)

Emerson Murphy-Hill (5)

Lingjiao Chen (5)

Gaurav Verma (5)

Gabriele Goletto (5)

Hanze Dong (5)

Yash Pandya (5)

Yanzhi Chen (5)

Somya Chatterjee (5)

Hannah Washington (5)

Prashant Kodali (5)

Rachel Lawrence (5)

Alex Farach (5)

Kwan Yun (5)

Mingqing Xiao (5)

Ajay Manchepalli (4)

Ali Bakhoda (4)

Dany Rouhana (4)

Gopal Srinivasa (4)

Laurent Bussard (4)

Michel Naim Gerguis (4)

Reid Andersen (4)

Iris Shen (4)

Rajan Chari (4)

Rafah Hosn (4)

Kevin Van Hoogdalem (4)

John Watson (4)

Sida Peng (4)

Mahmoud Adada (4)

Francesca Parmigiani (4)

Judith Suter (4)

Victor Fragoso (4)

Swadheen Shukla (4)

Nicholas Wilson (4)

Joshua Elsdon (4)

Tanakorn Leesatapornwongsa (4)

Eddy Ashton (4)

Neha Parikh Shah (4)

Suvam Mukherjee (4)

Rafael da Silva (4)

Prof. Darren Cosker (4)

Sameer Segal (4)

Liang Du (4)

Xianliang Yang (4)

Trevor Dhu (4)

Xingbo Wu (4)

Javier Zazo (4)

Srikant Bharadwaj (4)

Kate Nowak (4)

Zhiyuan He (4)

Claudio Zeni (4)

Victor Garcia Satorras (4)

Andrew Fowler (4)

Xi (Ada) Wang (4)

Sadid A. Hasan (4)

Hosein Hasanbeig (4)

Thiago V. Spina (4)

Jorge J. G. Leandro (4)

Bruno Silva (4)

Amrita Gupta (4)

Sergio Valcarcel Macua (4)

Gaurav Sinha (4)

Christian Poelitz (4)

Aashaka Shah (4)

Soheil Abbasloo (4)

Guanghui Qin (4)

Victor Reis (4)

Karthick Jayaraman (4)

Tvrtko Tadić (4)

Philippe Laban (4)

Sushrut Karmalkar (4)

Benjamin Steenhoek (4)

Galen Mullins (4)

Sulaiman Vesal (4)

Jose Garrido Torres (4)

Gagan Jain (4)

Xinxing Xu (4)

Xinjie Zhang (4)

Bruce Wittmann (4)

Pooria Namyar (4)

Spencer Whitehead (4)

Andrew Zhao (4)

Harish Yenala (4)

Yadong Lu (4)

Shashank Gupta (4)

Jiawen Zhang (4)

Alex Crown (3)

Andrew Herbert (3)

Andrzej Pastusiak (3)

Dan Marshall (3)

Gabe Cohn (3)

Knut Magne Risvik (3)

Lili Cheng (3)

Markus Cozowicz (3)

Mike Shepperd (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)

Jan Gukelberger (3)

Pat Sweeney (3)

Luiz Belussi (3)

Xiao Lv (3)

Alexey Taymanov (3)

Yang Ou (3)

Michael Schwarz (3)

Xu Cao (3)

Cheng Tan (3)

Yi Shan (3)

Kate Lytvynets (3)

Ivan Sadovskyy (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)

Jingwen Lu (3)

Andrea Tupini (3)

Xiang Ming (3)

Zhihua Lai (3)

Xuan Feng (3)

Kshitiz Kumar (3)

Gustavo de Rosa (3)

Douglas J. Kelly (3)

Hugo Barbalho (3)

Yu Wang (3)

Nathanael Cheriere (3)

John Stairs (3)

Najeeb G. Abdulhamid (3)

Harish Doraiswamy (3)

Ashkan Aazami (3)

Giovanni Cherubin (3)

Thomas Roca, PhD (3)

Jinu Jang (3)

Tammy Glazer (3)

Paola Gori-Giorgi (3)

Elise van der Pol (3)

Lucas A. Meyer (3)

Gregor Simm (3)

Morris Sharp (3)

Andres Codas (3)

Jameson Merkow (3)

Rafael Padilha (3)

Yuancheng Tu (3)

Derk Kooi (3)

Guido Martínez (3)

Kavyansh Chourasia (3)

Mansi Khemka (3)

Kirill Kalinin (3)

Newman Cheng (3)

Bishal Santra (3)

Peniel Argaw (3)

Rebecca Janssen (3)

Dasha Metropolitansky (3)

Sirui Li (3)

Alberto Santamaria-Pang (3)

Xueting Han (3)

Wenhui Wang (3)

Zhiliang Peng (3)

Yifan Wu (3)

Oleg Smirnov (3)

Ahmed Elgohary (3)

Wei-Ning Chen (3)

Riashat Islam (3)

Pranav Khadpe (3)

Jihoon Tack (3)

Hannah Cha (3)

Rui Ma (3)

Vivek Mathur (3)

Linda Yilin Wen (3)

Debjit Paul (3)

Achraf Chalabi (2)

Adrian Bonar (2)

Ambrosio Blanco (2)

Aviv Hurvitz (2)

Dan Ling (2)

Gaoxiang Xu (2)

Jim Kajiya (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)

Amber Hoak (2)

David Tittsworth (2)

Benjamin Arai (2)

Donald Ngwe (2)

Melanie Fernandez Pradier (2)

Qiang Gan (2)

Yongzhi Li (李永智) (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)

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)

Deniz Gunceler (2)

Sebastian Ehlert (2)

Stephen Schneider (2)

Ade Famoti (2)

Siddarth Asokan (2)

Ren Yang (2)

Weijian Xu (2)

Jennifer Marsman (2)

Thijs Vogels (2)

Juan Manuel Zambrano Chaves (2)

Lukas Schäfer (2)

Meygha Machado (2)

Varun Jain (2)

Henrik Turbell (2)

Kevin Qu (2)

Zhengyan Shi (2)

Naiteek Sangani (2)

Junjie Xing (2)

Giulia Luise (2)

K.J.H. Giesbertz (2)

Hayley LeBlanc (2)

Juheon (2)

Gordon Broadbent (2)

Hugo ROMAT (2)

Anant Khandelwal (2)

William Chappell (2)

Yaoyao Chang (2)

Cinoo Lee (2)

Amanda Swearngin (2)

Zezhou Huang (2)

Wassim Hamidouche (2)

Aravind Rajeswaran (2)

Debarati Das (2)

Avik Dutta (2)

Shivam Garg (2)

Tim Pearce (2)

Ziyu Wan (2)

Oier Mees (2)

Maia Stiber (2)

Felix Pultar (2)

Abubakarr Jaye (2)

Sourav Pal (2)

Ling Zhang (2)

Pavel Tolmachev (2)

Pedro BPS Reis (2)

Leonardo F. R. Ribeiro (2)

Archana Yadav (2)

Himanshu Singhal (2)

Andreas Bode (1)

Alvin Chen (1)

Arjmand Samuel (1)

Andy Slowey (1)

Chris Sienkiewicz (1)

CJ Williams (1)

Christophe Poulain (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)

Matthew H. McLoughlin (1)

Rahee Ghosh Peshawaria (1)

Gary Campbell (1)

Junyan Chen (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)

Kelvin Chan (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)

Patricia Kovaleski (1)

Clint Simon (1)

April Kwong (1)

Mingqi Wu (1)

Eyal Kolman (1)

Deepesh Hada (1)

Sahaj Agarwal (1)

Qingtao Li (1)

Jose Jimenez-Luna (1)

Guoxin Sui (1)

Sarah Hanses (1)

Julia Greissl (1)

Yue Chen (1)

Nikola Pejic (1)

Reshma Ramaprasad (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)

Darya Moldavskaya (1)

Ashish Sharma (1)

Ruichun Ma (1)

Jessica Young (1)

Vyshak Jain (1)

Luca Wilke (1)

Namiko Saito (1)

Alexander Ersoy (1)

Smitha Saligrama (1)

Gabriel Ryan (1)

Yu Hu (1)

Matheus Cerqueira (1)

Eray Inanc (1)

Stephanie Marisa Lanius (1)

Tristan Lazard (1)

Kwei-Herng Lai (1)

Xiaoying Wang (1)

Emily Bao (1)

Katy Smith (1)

Shelby Hayes (1)

Heecheol Kim (1)

Hang Wang (1)

Travis Lowdermilk (1)

Marianna Pantouvaki (1)

Kaoutar Benyahya (1)

Tyler Payne (1)

Ludwig Winkler (1)

Spyridon (Spyros) Mastorakis (1)

Liming Jiang (1)

Helia Hashemi (1)

Hao Chen (1)

Weili Shi (1)

Waqas Zamir (1)

Lin Ai (1)

Sheshera Mysore (1)

Pratyusha Sharma (1)

Ying Fan (1)

Luiz do Valle (1)

Carl Chalmers (1)

Agrima Seth (1)

Lorenzo Jaime Flores (1)

Evgeniy Gabrilovich (1)

Niket Tandon (1)

John Gardner (1)

Alind Khare (1)

Chidera Biringa (1)

Nigel Boachie Kumankumah (1)

Dayquan Julienne (1)

Tianwei Chen (1)

Ritabrata Maiti (1)

Pascal T. Salzbrenner (1)

Rosa Zhou (1)

Beatriz Costa-Gomes (1)

Danrui Qi (1)

Ken Archer (1)

Himanshu Dutta (1)

Fabian Thiemann (1)

Zarif Ikram (1)

Zach Nussbaum (1)

Nitisha Jain (1)

Shrey Shah (1)

Benjamin C. Perry (1)

Katelyn Morrison (1)

Yanuo Ma (1)

Swapnanil Mukherjee (1)

Published Date

Publication

The Monadic Theory of w2

Yuri Gurevich, Menachem Magidor, Saharon Shelah

Journal of Symbolic Logic | July 1983, Vol 48: pp. 387-398

Publication

Rabin’s Uniformization Problem

Yuri Gurevich, Saharon Shelah

Journal of Symbolic Logic | July 1983, Vol 48: pp. 1102-1119

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