illustration of content lines and curly brackets on top of a computer screen with 0s and 1s on a green gradient background

Programming languages and software engineering

Meet MicroCode: a Live and Portable Programming Tool for the BBC micro:bit

Jacdac: Service-Based Prototyping of Embedded Systems

Project Verona: a programming language for the modern cloud

Research in Software Engineering (RiSE)

Current selections

Sort by: Most recent

Clear selections

Search within these results

Content Types

People

Sumit Gulwani (192)

Margus Veanes (116)

Shuvendu Lahiri (100)

Sriram Rajamani (89)

Dongmei Zhang (84)

Qingwei Lin 林庆维 (82)

G. Ramalingam (81)

Christian Bird (77)

Jonathan "Peli" de Halleux (75)

Madan Musuvathi (74)

Daan Leijen (71)

Akash Lal (70)

Sebastian Burckhardt (62)

Nikhil Swamy (60)

Don Syme (58)

Ben Zorn (57)

Cédric Fournet (56)

Aditya Nori (55)

Nikolaj Bjørner (55)

Arjun Radhakrishna (54)

Aseem Rastogi (50)

Vu Le (50)

Denae Ford (49)

Chris Hawblitzel (44)

Yu Kang (38)

Gustavo Soares (37)

Chetan Bansal (36)

Ethan Jackson (32)

Rahul Sharma (31)

Saravan Rajmohan (30)

Matthew J. Parkinson (29)

Butler Lampson (25)

Advait Sarkar (24)

Shi Han (23)

Tahina Ramananandro (23)

Haoxiang Lin (22)

Mukul Singh (22)

Jim Gray (21)

Andrey Rybalchenko (21)

Jacek Czerwonka (20)

Kim Herzig (20)

Pu Zhao (20)

Saikat Chakraborty (20)

Pantazis Deligiannis (19)

Ashish Tiwari (19)

Gust Verbruggen (18)

Lev Nachmanson (17)

Henrique S. Malvar (17)

Santiago Zanella-Béguelin (17)

Cha Zhang (16)

Phil Bernstein (16)

Suman Nath (16)

Suresh Thummalapenta (16)

Bo Qiao (16)

Minghua Ma (16)

Jay Lorch (15)

Suresh Parthasarathy (15)

Nagarajan Natarajan (15)

Jack Williams (15)

Brian Houck (15)

Galen Hunt (14)

Eric Horvitz (14)

Jenna Butler (14)

Sarah Fakhoury (14)

Rui Ding (13)

Shuo Chen (13)

Antoine Delignat-Lavaud (12)

Badrish Chandramouli (12)

Yanjie Gao (12)

James Devine (12)

Yasharth Bajpai (12)

Chaoyun Zhang (12)

Shan Lu (12)

Emre Kiciman (11)

Jinyu Li (11)

Si Qin (11)

Kenji Takeda (10)

Ryan Beckett (10)

Venkatesh Emani (10)

Eirini Kalliamvakou (10)

Shengyu Fu (10)

Gabriel Ebner (10)

Chris White (9)

David Heckerman (9)

Chris Lovett (9)

Arun Iyer (9)

Chris Parnin (9)

Shraddha Barke (9)

Bin Benjamin Zhu (8)

Bozidar Radunovic (8)

Jonathan M. Carlson (8)

Manish Gupta (8)

Kaushik Rajan (8)

Karin Strauss (8)

Marina Polishchuk (8)

Surajit Chaudhuri (8)

Boris Köpf (8)

Spandan Garg (8)

Liqun Li (8)

Will Guyman (8)

Smitha Saligrama (8)

Cameron Runde (8)

Andrew Blake (7)

Fan Yang (7)

Gopal Srinivasa (7)

Lidong Zhou (7)

Peter Lee (7)

Shamsi Iqbal (7)

Tony Hoare (7)

Vivek Narasayya (7)

Ramakrishna Bairi (7)

Jacob Nelson (7)

Suvam Mukherjee (7)

Fangkai Yang (7)

Xiaoyu Liu (7)

Jay Bosamiya (7)

Abigail Sellen (6)

Baining Guo (6)

Carlo Curino (6)

Haidong Zhang (6)

Jianfeng Gao (6)

Leslie Lamport (6)

Manuel Costa (6)

Nishanth Chandran (6)

Venkat Padmanabhan (6)

Weidong Cui (6)

Yifan Gong (6)

Irene Zhang (6)

Sonia Jaffe (6)

Sonu Mehta (6)

Carmen Badea (6)

Jinu Jang (6)

Xuchao Zhang (6)

Rujia Wang (6)

Andrew Putnam (5)

Arnd Christian König (5)

Chris Quirk (5)

Christopher Bishop (5)

Scott Counts (5)

Doug Burger (5)

Dinei Florencio (5)

Evelyne Viegas (5)

Jina Suh (5)

Manik Varma (5)

Tom Minka (5)

Ranveer Chandra (5)

Rick Rashid (5)

Sameh Elnikety (5)

Jaime Teevan (5)

Ramarathnam Venkatesan (5)

Sergey Yekhanin (5)

Sylvan Clebsch (5)

Divya Gupta (5)

Yeyun Gong (5)

Yiwen Zhu (5)

Hang Dong (5)

Brian Kroth (5)

Paulo Salem (5)

Jeevana Priya Inala (5)

Priyanshu Gupta (5)

Jonathan Mace (5)

Nicolas Bruno (5)

Ananya Singha (5)

Adam Fourney (4)

Adrian Bonar (4)

Nancy Baym (4)

Darren Gehring (4)

Dan Bohus (4)

Greg Smith (4)

Jacki O'Neill (4)

Kim Laine (4)

Kori Inkpen (4)

Laurent Bussard (4)

Michel Galley (4)

Nick Craswell (4)

Ricardo Bianchini (4)

Sanjeev Mehrotra (4)

Sean Rintel (4)

Siân Lindley (4)

Srinath Setty (4)

Tolga Acar (4)

Shital Shah (4)

Neil Toronto (4)

Avrilia Floratou (4)

Alok Kumbhare (4)

Hongzhi Li (4)

Javier Hernandez (4)

Brent Hecht (4)

Zeqi Lin (4)

Joyce Cahoon (4)

Sara Malvar (4)

Yufan Huang (4)

Sameer Segal (4)

Jue Zhang (4)

Oleksii Oleksenko (4)

Lev Tankelevitch (4)

Gagan Somashekar (4)

Karthick Jayaraman (4)

Alec Wolman (3)

Anne Loomis Thompson (3)

Ashley Feniello (3)

Josh Benaloh (3)

Cecily Morrison (3)

Chong Luo (3)

Christophe Poulain (3)

Ed Cutrell (3)

Daniel G. Goldstein (3)

Jennifer Wortman Vaughan (3)

Jake Hofman (3)

Johannes Gehrke (3)

John Tang (3)

Kalika Bali (3)

Matthew Hastings (3)

Manoj Syamala (3)

Mark Encarnación (3)

Markus Weimer (3)

Nathalie Henry Riche (3)

Nicole Immorlica (3)

Pallavi Choudhury (3)

Ray Bittner (3)

Reuben Olinsky (3)

Ran Gal (3)

Rich Draves (3)

Ryen W. White (3)

Siddhartha Sen (3)

Song Ge (3)

Stefan Saroiu (3)

Sumit Basu (3)

Hanna Wallach (3)

Wei Chen (3)

Zhitao Hou (3)

Swami Manohar (3)

Harsha Simhadri (3)

Vageesh D C (3)

Sean Andrist (3)

Chinmay Singh (3)

Mihaela Vorvoreanu (3)

Haoyu Dong (3)

Xingdi Yuan (3)

Marc-Alexandre Côté (3)

Alessandro Sordoni (3)

Sunayana Sitaram (3)

Karthik Ramachandra (3)

Scarlett Li (3)

Yun Wang (3)

Longqi Yang (3)

Danny Simmons (3)

Madeleine Daepp (3)

Anna Pavlenko (3)

Philipp Witte (3)

Ziqiao Zhou (3)

Rodrigo Fonseca (3)

Pedro Las-Casas (3)

Ross Cutler (3)

Clint Simon (3)

Jennifer Neville (3)

A. Parayil (3)

Chenglong Wang (3)

Heidi Howard (3)

Matheus Pereira (3)

Guido Martínez (3)

Angelica Moreira (3)

Roshan Dathathri (3)

Darya Moldavskaya (3)

Benjamin Steenhoek (3)

Emerson Murphy-Hill (3)

Hayley LeBlanc (3)

Adrien Ghosn (3)

Andrew Herbert (2)

Ajay Manchepalli (2)

A.J. Brush (2)

Akshay Krishnamurthy (2)

Anoop Gupta (2)

Anton Schwaighofer (2)

Arjmand Samuel (2)

Ahmed Tawfik (2)

Christian Borgs (2)

Dr. Chetan Nayak (2)

Cormac Herley (2)

Christian Paquin (2)

Dan Shumow (2)

Ece Kamar (2)

Ganesh Ananthanarayanan (2)

Jennifer Chayes (2)

Jonathan Tims (2)

John Winn (2)

Karen Easterbrook (2)

Ken Woodberry (2)

Marcus Peinado (2)

Matthew Johnson (2)

Martin Grayson (2)

Michael Levit (2)

Michael Naehrig (2)

Thomas Moscibroda (2)

Nicolas Villar (2)

Bo-June (Paul) Hsu (2)

Peng Cheng (2)

Piali Choudhury (2)

Ricardo Gutierrez (2)

Roy Levin (2)

Sharad Agarwal (2)

Sarah Bird (2)

Aleksandrs Slivkins (2)

Siddharth Suri (2)

Vassily Lyutsarev (2)

Wentao Wu (2)

William Blum (2)

Weizhu Chen (2)

Yang Liu (2)

Yongqiang Xiong (2)

Rahee Ghosh Peshawaria (2)

Qi Chen (2)

Pat Sweeney (2)

Xiao Lv (2)

Hannes Schulz (2)

Dan R. K. Ports (2)

Hannah Richardson (nee Murfet) (2)

Tal Zaccai (2)

Alexandra Olteanu (2)

Nicholas Wilson (2)

Tanakorn Leesatapornwongsa (2)

Mohit Jain (2)

P. Anandan (2)

Adam D. Troy (2)

Eddy Ashton (2)

Mike Walker (2)

Xenofon Foukas (2)

Rathijit Sen (2)

Mengting Wan (2)

Katja Kevic (2)

Aaron L Halfaker (2)

Matteo Interlandi (2)

Weishung Liu (2)

Neha Parikh Shah (2)

Forough Poursabzi (2)

Pedro Henrique Penna (2)

Vanessa Rodrigues (2)

Celine Irvene (2)

Jesús Camacho-Rodríguez (2)

Jayashree Mohan (2)

Javier Zazo (2)

Kate Nowak (2)

Hosein Hasanbeig (2)

Ashish Panwar (2)

Andres Codas (2)

Abhinav Jangda (2)

Sarah Smith (2)

Dan Bruce (2)

Shweti Mahajan (2)

Christian Poelitz (2)

Aashaka Shah (2)

Jennifer Marsman (2)

Minseon Kim (2)

Lucas Caccia (2)

Rebecca Janssen (2)

Avik Dutta (2)

Alex Bocharov (1)

Amit Sharma (1)

Austin Donnelly (1)

Andrew D. Wilson (1)

Victor Bahl (1)

Ben Cutler (1)

Bela Bauer (1)

Bodhi Priyantha (1)

Brendan Lucier (1)

Burton Smith (1)

Chris O'Prey (1)

Chuck Needham (1)

Chuck Thacker (1)

Chin-Yew Lin (1)

Dave Brown (1)

Daniel Cletheroe (1)

Darren Edge (1)

Dany Rouhana (1)

David Rothschild (1)

David Langworthy (1)

Dushyanth Narayanan (1)

Furu Wei (1)

Gordon Bell (1)

E. Glen Weyl (1)

Hannes Gamper (1)

Haiyan Zhang (1)

Hitesh Ballani (1)

Hoifung Poon (1)

Hsiao-Wuen Hon (1)

Harry Shum (1)

Íñigo Goiri (1)

Ivan Tashev (1)

Javier Alvarez-Valle (1)

John Langford (1)

John Helmes (1)

Jonathan Lester (1)

John (JD) Douceur (1)

John Snyder (1)

Nebojsa Jojic (1)

Jonathan Larson (1)

Jack W. Stokes (1)

Katja Hofmann (1)

Kevin Kane (1)

Krishna Chintalapudi (1)

Kukjin Lee (1)

Lei Cui (1)

Lenin Ravindranath Sivalingam (1)

Lijuan Wang (1)

Lili Cheng (1)

Michael Freedman (1)

Mike Lewis (1)

Mary L. Gray (1)

Navin Goyal (1)

Neeraj Kayal (1)

Nikunj Raghuvanshi (1)

Nirupama Chandrasekaran (1)

Paul Koch (1)

Peter Bodík (1)

Patrick Longa (1)

Qiang Huo (1)

Ramachandran Ramjee (1)

Ray Huang (1)

Robert Gruen (1)

Roman Lutchyn (1)

Ryota Tomioka (1)

Satya Lokam (1)

Spencer Fowers (1)

Shobana Balakrishnan (1)

Shujie Liu (1)

Raghav Kaushik (1)

Subru Krishnan (1)

ThuVan Pham (1)

Weiwei Cui (1)

Xiaodong Liu (1)

Xing Xie (1)

Xin Ma (1)

Yan Huang (1)

Yongguang Zhang (1)

Youshan Miao (1)

Yordan Zaykov (1)

Zhenghan Wang (1)

Anja Thieme (1)

Anand Bonde (1)

Laura Walker (1)

Camilla Longden (1)

Nathan Evans (1)

Shikhar Sharma (1)

Robert Sim (1)

Bryan Tower (1)

Pavel Myshkov (1)

Sida Peng (1)

Hui Xue (1)

Ted Meeds (1)

Adam Sapek (1)

Nipun Kwatra (1)

Yang Ou (1)

Vibhav Vineet (1)

Jason Kace (1)

Esha Ghosh (1)

Xian Zhang (1)

Xu Cao (1)

Andrew Paverd (1)

Sangho Lee (1)

Dr Kiran Muthabatulla (1)

Ran Shu (1)

Yu Shi (1)

Martez Mott (1)

David Tittsworth (1)

Kate Lytvynets (1)

Akshay Nambi (1)

Amaury Chamayou (1)

Pulkit Misra (1)

Xiaofei Wang (1)

Lukas Wutschitz (1)

Denny Sun (1)

Rangan Majumder (1)

Krzysztof Maziarz (1)

Nathan Myhrvold (1)

Shruti Tople (1)

Linjun Shou (寿林钧) (1)

Xiubo Geng (1)

Kevin Kaichuang Yang (1)

Carolyn Buractaon (1)

Dongsheng Li (1)

Brian Caswell (1)

Bahar Sarrafzadeh (1)

Manthan Thakker (1)

Qianqian Qi (1)

Yoganand Rajasekaran (1)

Su Lin Blodgett (1)

Fanny Nina Paravecino (1)

Hao Cheng (1)

Brandon Haynes (1)

Jingwen Lu (1)

Andreas C. Müller (1)

Fotis Psallidas (1)

Dean Carignan (1)

Camille Couturier (1)

Weiwei Yang (1)

Xufang Luo (1)

Iker Llorens (1)

Luis França (1)

Ava P. Amini (1)

Gabriela Martinez Sanchez (1)

Jason (Zengzhong) Li (1)

Rafael da Silva (1)

James Brand (1)

Tengchao Lv (1)

Yuqing Yang (1)

Millicent Ochieng (1)

Anja Gruenheid (1)

Yifan Xiong (1)

Yuanyuan Tian (1)

Qianhui Wu (1)

Leonardo Nunes (1)

Gaurav Mittal (1)

Najeeb G. Abdulhamid (1)

Debopam Bhattacherjee (1)

Sheng Zhao (1)

Serena Hillman (1)

Srinivasan Iyengar (1)

Giovanni Cherubin (1)

Yangyu Huang (1)

Jiahang Xu (1)

Shuo Zhang (1)

Shaleen Deep (1)

Morris Sharp (1)

Bonnie Kruft (1)

Nikola Pejic (1)

Matheus R. F. Mendonça (1)

Corby Rosset (1)

Judith Amores (1)

Tara Safavi (1)

Sadid A. Hasan (1)

Chethan M (1)

Ziming Miao (1)

Mahmoud Khademi (1)

Bruno Silva (1)

Riyaz Pishori (1)

Sara Abdali (1)

Whitney Hudson (1)

Siva Kesava Reddy Kakarla (1)

Nicolai Marquardt (1)

Ade Famoti (1)

Sampath Rajendra (1)

Sarah Alamdari (1)

Carles Domingo-Enrich (1)

Kiran Tomlinson (1)

Satarupa Guha (1)

Gabriel Ryan (1)

Yu Hu (1)

Gaurav Verma (1)

Simra Shahid (1)

Travis Lowdermilk (1)

Tyler Payne (1)

Shiyun Xu (1)

Somya Chatterjee (1)

Tianyu Chen (1)

Published Date

Group

CHISE Lab

Computer Human Interaction and Software Engineering Lab The mission of the CHISE group is to improve productivity of software engineers and information workers through an understanding of both the human experience and the technology around…

Publication

Multi-task Hierarchical Classification for Disk Failure Prediction in Online Service Systems

Yudong Liu, Hailan Yang, Pu Zhao, Minghua Ma, Chengwu Wen, Hongyu Zhang, Chuan Luo, Qingwei Lin 林庆维, Chang Yi, Jiaojian Wang, Chenjian Zhang, Paul Wang, Yingnong Dang, Saravan Rajmohan, Dongmei Zhang

SIGKDD 2022 | August 2022

Project Project

Publication

Interactive Code Generation via Test-Driven User-Intent Formalization

Shuvendu Lahiri, Sarah Fakhoury, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Piali Choudhury, Curtis von Veh, Madan Musuvathi, Jeevana Priya Inala, Chenglong Wang, Jianfeng Gao

August 2022

Project

Publication

DeepDev-PERF: A Deep Learning-Based Approach for Improving Software Performance

Spandan Garg, Roshanak Zilouchian Moghaddam, Colin Clement, Neel Sundaresan, Chen Wu

ESEC/FSE | August 2022

Publication

Aeneas: Rust Verification by Functional Translation

Son Ho, Jonathan Protzenko

ICFP 2022 | August 2022

Publication

Exploring and Evaluating Personalized Models for Code Generation

Andrei Zlotchevski, Dawn Drain, Alexey Svyatkovskiy, Colin Clement, Neel Sundaresan, Michele Tufano

Foundations of Software Engineering | August 2022

Project

Publication

NENYA: Cascade Reinforcement Learning for Cost-Aware Failure Mitigation at Microsoft 365

Lu Wang, Pu Zhao, Chao Du, Chuan Luo, Mengna Su, Fangkai Yang, Yudong Liu, Qingwei Lin 林庆维, Min Wang, Yingnong Dang, Hongyu Zhang, Saravan Rajmohan, Dongmei Zhang

SIGKDD 2022 | August 2022

Project Project

Publication

AI-assisted Programming | IJCAI-ECAI 2022 Keynote by Sumit Gulwani

Sumit Gulwani

August 2022

Publication

‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language

Sebastian Ullrich, Leonardo de Moura

ICFP 2022 | August 2022

Project

Event

FLoC 2022

July 31, 2022 – August 12, 2022 | Haifa, Israel

Microsoft is proud to be a sponsor of the 34th International Conference on Computer Aided Verification (opens in new tab), and part of the Federated Logic Conference (FLoc) 2022 (opens in new tab). The Federated…

Programming languages and software engineering

Highlights