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

Margus Veanes (116)

Shuvendu Lahiri (99)

Sriram Rajamani (89)

Dongmei Zhang (84)

Qingwei Lin 林庆维 (82)

G. Ramalingam (81)

Christian Bird (77)

Jonathan "Peli" de Halleux (74)

Madan Musuvathi (74)

Daan Leijen (71)

Akash Lal (70)

Robert DeLIne (66)

Sebastian Burckhardt (62)

Nikhil Swamy (60)

Don Syme (58)

Cédric Fournet (56)

Aditya Nori (55)

Nikolaj Bjørner (55)

Ben Zorn (55)

Arjun Radhakrishna (53)

Aseem Rastogi (50)

Vu Le (50)

Denae Ford (49)

Chris Hawblitzel (43)

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)

Shi Han (23)

Tahina Ramananandro (23)

Advait Sarkar (23)

Haoxiang Lin (22)

Jim Gray (21)

Andrey Rybalchenko (21)

Jacek Czerwonka (20)

Kim Herzig (20)

Mao Yang (20)

Pu Zhao (20)

Mukul Singh (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)

Suresh Parthasarathy (15)

Nagarajan Natarajan (15)

Brian Houck (15)

Galen Hunt (14)

Jay Lorch (14)

Jack Williams (14)

Aditya Kanade (14)

Sarah Fakhoury (14)

Eric Horvitz (13)

Rui Ding (13)

Shuo Chen (13)

Jenna Butler (13)

Antoine Delignat-Lavaud (12)

Badrish Chandramouli (12)

Yanjie Gao (12)

James Devine (12)

Yasharth Bajpai (12)

Chaoyun Zhang (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)

Shan Lu (10)

Chris White (9)

David Heckerman (9)

Chris Lovett (9)

Arun Iyer (9)

Chris Parnin (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)

Matthew P Lungren (8)

Liqun Li (8)

Shraddha Barke (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)

Tony Hoare (7)

Vivek Narasayya (7)

Ramakrishna Bairi (7)

Jacob Nelson (7)

Suvam Mukherjee (7)

Fangkai Yang (7)

Xiaoyu Liu (7)

Jay Bosamiya (7)

Baining Guo (6)

Carlo Curino (6)

Cheng Huang (6)

Haidong Zhang (6)

Jianfeng Gao (6)

Leslie Lamport (6)

Manuel Costa (6)

Nishanth Chandran (6)

Venkat Padmanabhan (6)

Shamsi Iqbal (6)

Weidong Cui (6)

Yifan Gong (6)

Irene Zhang (6)

Sonu Mehta (6)

Carmen Badea (6)

Jinu Jang (6)

Xuchao Zhang (6)

Rujia Wang (6)

Andrew Putnam (5)

Abigail Sellen (5)

Arnd Christian König (5)

Chris Quirk (5)

Christopher Bishop (5)

Doug Burger (5)

Dinei Florencio (5)

Evelyne Viegas (5)

Manik Varma (5)

Tom Minka (5)

Ranveer Chandra (5)

Rick Rashid (5)

Sameh Elnikety (5)

Ramarathnam Venkatesan (5)

Sergey Yekhanin (5)

Sylvan Clebsch (5)

Sonia Jaffe (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)

Adam Fourney (4)

Adrian Bonar (4)

Scott Counts (4)

Darren Gehring (4)

Dan Bohus (4)

Greg Smith (4)

Jina Suh (4)

Kim Laine (4)

Laurent Bussard (4)

Michel Galley (4)

Nick Craswell (4)

Ricardo Bianchini (4)

Sanjeev Mehrotra (4)

Srinath Setty (4)

Jaime Teevan (4)

Tolga Acar (4)

Shital Shah (4)

Neil Toronto (4)

Avrilia Floratou (4)

Alok Kumbhare (4)

Hongzhi Li (4)

Zeqi Lin (4)

Joyce Cahoon (4)

Sara Malvar (4)

Yufan Huang (4)

Sameer Segal (4)

Jue Zhang (4)

Oleksii Oleksenko (4)

Pritam Gharat (4)

Gagan Somashekar (4)

Karthick Jayaraman (4)

Alec Wolman (3)

Anne Loomis Thompson (3)

Ashley Feniello (3)

Nancy Baym (3)

Josh Benaloh (3)

Cecily Morrison (3)

Chong Luo (3)

Christophe Poulain (3)

Ed Cutrell (3)

Jacki O'Neill (3)

Jennifer Wortman Vaughan (3)

Johannes Gehrke (3)

Kalika Bali (3)

Kori Inkpen (3)

Matthew Hastings (3)

Manoj Syamala (3)

Mark Encarnación (3)

Markus Weimer (3)

Ray Bittner (3)

Reuben Olinsky (3)

Ran Gal (3)

Rich Draves (3)

Ryen W. White (3)

Sean Rintel (3)

Siân Lindley (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)

Haoyu Dong (3)

Xingdi Yuan (3)

Marc-Alexandre Côté (3)

Alessandro Sordoni (3)

Karthik Ramachandra (3)

Scarlett Li (3)

Yun Wang (3)

Javier Hernandez (3)

Longqi Yang (3)

Brent Hecht (3)

Danny Simmons (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)

Lev Tankelevitch (3)

Roshan Dathathri (3)

Ananya Singha (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)

Desney Tan (2)

Daniel G. Goldstein (2)

Ece Kamar (2)

Jennifer Chayes (2)

Jake Hofman (2)

John Tang (2)

Jonathan Tims (2)

John Winn (2)

Ken Woodberry (2)

Marcus Peinado (2)

Matthew Johnson (2)

Martin Grayson (2)

Michael Levit (2)

Michael Naehrig (2)

Thomas Moscibroda (2)

Nathalie Henry Riche (2)

Nicole Immorlica (2)

Nicolas Villar (2)

Bo-June (Paul) Hsu (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)

Mihaela Vorvoreanu (2)

Rahee Ghosh Peshawaria (2)

Qi Chen (2)

Pat Sweeney (2)

Xiao Lv (2)

Hannes Schulz (2)

Sunayana Sitaram (2)

Dan R. K. Ports (2)

Hannah Richardson (nee Murfet) (2)

Tal Zaccai (2)

Nicholas Wilson (2)

Tanakorn Leesatapornwongsa (2)

Mohit Jain (2)

P. Anandan (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)

Madeleine Daepp (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)

Aashaka Shah (2)

Jennifer Marsman (2)

Minseon Kim (2)

Lucas Caccia (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)

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)

Ken Eguro (1)

Furu Wei (1)

Ganesh Ananthanarayanan (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)

Karen Easterbrook (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)

Navin Goyal (1)

Neeraj Kayal (1)

Nikunj Raghuvanshi (1)

Nirupama Chandrasekaran (1)

Paul Koch (1)

Peng Cheng (1)

Peter Bodík (1)

Patrick Longa (1)

Qiang Huo (1)

Ramachandran Ramjee (1)

Ray Huang (1)

Roland Fernandez (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)

Li Lyna Zhang (1)

Akshay Nambi (1)

Alexandra Olteanu (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)

Adam D. Troy (1)

Shruti Tople (1)

Linjun Shou (寿林钧) (1)

Xiubo Geng (1)

Kevin Kaichuang Yang (1)

Carolyn Buractaon (1)

Dongsheng Li (1)

Brian Caswell (1)

Manthan Thakker (1)

Qianqian Qi (1)

Yoganand Rajasekaran (1)

Su Lin Blodgett (1)

Fanny Nina Paravecino (1)

Hao Cheng (1)

Xiaotian Gao (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)

Yi Zhu (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)

Yang Wang (1)

Sadid A. Hasan (1)

Joe Guan (1)

Dongjiang You (1)

Chethan M (1)

Ziming Miao (1)

Mahmoud Khademi (1)

Bruno Silva (1)

Riyaz Pishori (1)

Alex Chouldechova (1)

Sara Abdali (1)

Whitney Hudson (1)

Siva Kesava Reddy Kakarla (1)

Christian Poelitz (1)

Nicolai Marquardt (1)

Ade Famoti (1)

Sampath Rajendra (1)

Sarah Alamdari (1)

Carles Domingo-Enrich (1)

Rebecca Janssen (1)

Satarupa Guha (1)

Gabriel Ryan (1)

Yu Hu (1)

Simra Shahid (1)

Travis Lowdermilk (1)

Shiyun Xu (1)

Published Date

Publication

TablePilot: Recommending Human-Preferred Tabular Data Analysis with Large Language Models

Deyin Yi, Yihao Liu, Lang Cao, Mengyu Zhou, Haoyu Dong, Shi Han, Dongmei Zhang

The 63rd Annual Meeting of the Association for Computational Linguistics (ACL ’25) | July 2025

Project

Career Opportunity

Member of Technical Staff, AI Platform Engineer

Posted: July 11, 2025

Location: Mountain View, CA, US

Research Area(s): Artificial intelligence, Programming languages and software engineering

At Microsoft AI, AI is part of everything we do. Our AI Product Acceleration team is dedicated to enabling rapid development and deployment of AI across our products. As an AI Platform Engineer, you will…

Publication

PoWER Never Corrupts: Tool-Agnostic Verification of Crash Consistency and Corruption Detection

Hayley LeBlanc, Jay Lorch, Chris Hawblitzel, Cheng Huang, Yiheng Tao, Nickolai Zeldovich, Vijay Chidambaram

USENIX Symposium on Operating Systems Design and Implementation (OSDI) | July 2025

Distinguished Artifact Award

Project

Publication

Regex Decision Procedures in Extended RE#

Ian Erik Varatalu, Margus Veanes, Ekaterina Zhuchko, Juhan Ernits

CAV 2025 | July 2025

Editor(s): R. Piskac and Z. Rakamaric

Published in LNCS vol. 15933

Project

Publication

NextCoder: Robust Adaptation of Code LMs to Diverse Code Edits

Tushar Aggarwal*, Swayam Singh*, Abhijeet Awasthi, Aditya Kanade, Nagarajan Natarajan

ICML 2025 | July 2025

Access

Publication

Reduction Fusion for Optimized Distributed Data-Parallel Computations via Inverse Recomputation

Haoxiang Lin, Yang Wang, Yanjie Gao, Hongyu Zhang, Ming Wu, Mao Yang

FSE 2025 | June 2025

The ACM International Conference on the Foundations of Software Engineering, Ideas, Visions and Reflections Track

Project

Publication

dl²: Detecting Communication Deadlocks in Deep Learning Jobs

Yanjie Gao, Jiyu Luo, Haoxiang Lin, Hongyu Zhang, Ming Wu, Mao Yang

FSE 2025 | June 2025

The ACM International Conference on the Foundations of Software Engineering, Industry Track

Project

Publication

An Empirical Study of Issues in Large Language Model Training Systems

Yanjie Gao, Ruiming Lu, Haoxiang Lin, Yueguo Chen

FSE 2025 | June 2025

The ACM International Conference on the Foundations of Software Engineering, Industry Track

Project

Tool

MCP Server

The MCP Server for Azure AI Foundry Labs is designed to supercharge team velocity in adopting and evaluating breakthrough AI research. By equipping GitHub Copilot with custom tools for intelligent model discovery, tailored implementation guidance,…

Access

Event

PLDI 2025

June 18, 2025 – June 20, 2025 | Seoul, South Korea

Microsoft is a proud Gold sponsor of the 46th ACM SIGPLAN Conference on Programming Language Design and Implementation (opens in new tab) (PLDI 2025). PLDI is the premier forum in the field of programming languages and…

Programming languages and software engineering

Highlights