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

Margus Veanes (116)

Shuvendu Lahiri (99)

Sriram Rajamani (87)

Dongmei Zhang (84)

Qingwei Lin 林庆维 (82)

G. Ramalingam (81)

Christian Bird (74)

Madan Musuvathi (74)

Jonathan "Peli" de Halleux (72)

Akash Lal (70)

Daan Leijen (69)

Robert DeLIne (65)

Sebastian Burckhardt (62)

Nikhil Swamy (59)

Don Syme (58)

Cédric Fournet (56)

Aditya Nori (55)

Nikolaj Bjørner (55)

Ben Zorn (54)

Arjun Radhakrishna (53)

Aseem Rastogi (50)

Vu Le (50)

Denae Ford (49)

Chris Hawblitzel (43)

Yu Kang (38)

Gustavo Soares (36)

Chetan Bansal (34)

Ethan Jackson (32)

Jian-Guang Lou (32)

Rahul Sharma (31)

Saravan Rajmohan (30)

Matthew J. Parkinson (29)

Jonathan Protzenko (28)

Shi Han (23)

Advait Sarkar (23)

Haoxiang Lin (22)

Tahina Ramananandro (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 (18)

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)

Galen Hunt (14)

Jay Lorch (14)

Jack Williams (14)

Aditya Kanade (14)

Brian Houck (14)

Eric Horvitz (13)

Rui Ding (13)

Shuo Chen (13)

Antoine Delignat-Lavaud (12)

Badrish Chandramouli (12)

Krysta M. Svore (12)

Yanjie Gao (12)

Jenna Butler (12)

James Devine (12)

Sarah Fakhoury (12)

Chaoyun Zhang (12)

Emre Kiciman (11)

Jinyu Li (11)

Shengyu Fu (11)

Si Qin (11)

Kenji Takeda (10)

Ryan Beckett (10)

Venkatesh Emani (10)

Eirini Kalliamvakou (10)

Yasharth Bajpai (10)

B. Ashok (9)

Chris White (9)

David Heckerman (9)

Chris Lovett (9)

Arun Iyer (9)

Chris Parnin (9)

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

Jacob Nelson (8)

Boris Köpf (8)

Xiaoyu Liu (8)

Gabriel Ebner (8)

Matthew P Lungren (8)

Liqun Li (8)

Will Guyman (8)

Smitha Saligrama (8)

Cameron Runde (8)

Andrew Blake (7)

Gopal Srinivasa (7)

Lidong Zhou (7)

Tony Hoare (7)

Vivek Narasayya (7)

Ramakrishna Bairi (7)

Suvam Mukherjee (7)

Fangkai Yang (7)

Abigail Sellen (6)

Baining Guo (6)

Carlo Curino (6)

Cheng Huang (6)

Fan Yang (6)

Haidong Zhang (6)

Jianfeng Gao (6)

Manuel Costa (6)

Nishanth Chandran (6)

Peter Lee (6)

Shamsi Iqbal (6)

Weidong Cui (6)

Yifan Gong (6)

Irene Zhang (6)

Sonu Mehta (6)

Xuchao Zhang (6)

Shuai Lu (6)

Rujia Wang (6)

Jay Bosamiya (6)

Shraddha Barke (6)

Andrew Putnam (5)

Arnd Christian König (5)

Chris Quirk (5)

Christopher Bishop (5)

Dinei Florencio (5)

Evelyne Viegas (5)

Tom Minka (5)

Ranveer Chandra (5)

Sameh Elnikety (5)

Ramarathnam Venkatesan (5)

Sergey Yekhanin (5)

Sylvan Clebsch (5)

Sonia Jaffe (5)

Divya Gupta (5)

Carmen Badea (5)

Yeyun Gong (5)

Yiwen Zhu (5)

Hang Dong (5)

Brian Kroth (5)

Paulo Salem (5)

Jeevana Priya Inala (5)

Jinu Jang (5)

Priyanshu Gupta (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)

James Scott (4)

Kim Laine (4)

Laurent Bussard (4)

Manik Varma (4)

Michel Galley (4)

Nick Craswell (4)

Venkat Padmanabhan (4)

Rick Rashid (4)

Sanjeev Mehrotra (4)

Srinath Setty (4)

Jaime Teevan (4)

Tolga Acar (4)

Shital Shah (4)

Neil Toronto (4)

Avrilia Floratou (4)

Hongzhi Li (4)

Mengyu Zhou (4)

Zeqi Lin (4)

Joyce Cahoon (4)

Sara Malvar (4)

Yufan Huang (4)

Sameer Segal (4)

Jue Zhang (4)

Spandan Garg (4)

Oleksii Oleksenko (4)

Pritam Gharat (4)

Karthick Jayaraman (4)

Alec Wolman (3)

Anne Loomis Thompson (3)

Ashley Feniello (3)

Nancy Baym (3)

Josh Benaloh (3)

Bill Dolan (3)

Cecily Morrison (3)

Chong Luo (3)

Christophe Poulain (3)

Ed Cutrell (3)

Doug Burger (3)

Jacki O'Neill (3)

Jennifer Wortman Vaughan (3)

Johannes Gehrke (3)

Ken Hinckley (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)

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)

Ross Cutler (3)

Clint Simon (3)

Jennifer Neville (3)

A. Parayil (3)

Chenglong Wang (3)

Heidi Howard (3)

Matheus Pereira (3)

Jonathan Mace (3)

Angelica Moreira (3)

Lev Tankelevitch (3)

Roshan Dathathri (3)

Ananya Singha (3)

Darya Moldavskaya (3)

Benjamin Steenhoek (3)

Edmund B Nightingale (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)

Ahmed Tawfik (2)

Christian Borgs (2)

Nick Saw (2)

Dr. Chetan Nayak (2)

Cormac Herley (2)

Christian Paquin (2)

Dan Shumow (2)

Desney Tan (2)

Daniel G. Goldstein (2)

Eric Anderson (2)

Ece Kamar (2)

Jennifer Chayes (2)

Jake Hofman (2)

John Tang (2)

Jonathan Tims (2)

John Winn (2)

Kalika Bali (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)

Ricardo Bianchini (2)

Rich Draves (2)

Roy Levin (2)

Sharad Agarwal (2)

Shujie Liu (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)

Alok Kumbhare (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)

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)

Jesús Camacho-Rodríguez (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)

Guido Martínez (2)

Aashaka Shah (2)

Gagan Somashekar (2)

Jennifer Marsman (2)

Minseon Kim (2)

Lucas Caccia (2)

Alex Bocharov (1)

Amit Sharma (1)

Arjmand Samuel (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)

danah boyd (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)

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)

Jessica Wolk (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)

Mike Lewis (1)

Navin Goyal (1)

Neeraj Kayal (1)

Nikunj Raghuvanshi (1)

Nirupama Chandrasekaran (1)

Michael Papamichael (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)

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)

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)

Ying Cao (1)

Nipun Kwatra (1)

Yang Ou (1)

Vibhav Vineet (1)

Sivakanth Gopi (1)

Jason Kace (1)

Esha Ghosh (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)

Daniel S. Berger (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)

Tarique Siddiqui (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)

Daniela Massiceti (1)

Luis França (1)

Rodrigo Fonseca (1)

Ava P. Amini (1)

Gabriela Martinez Sanchez (1)

Pedro Las-Casas (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)

Pantea Zardoshti (1)

Qianhui Wu (1)

Leonardo Nunes (1)

Gaurav Mittal (1)

Najeeb G. Abdulhamid (1)

Jayashree Mohan (1)

Debopam Bhattacherjee (1)

Sheng Zhao (1)

Serena Hillman (1)

Srinivasan Iyengar (1)

Lili Qiu (1)

Giovanni Cherubin (1)

Yangyu Huang (1)

Jiahang Xu (1)

Shuo Zhang (1)

Shaleen Deep (1)

Enrique Saurez (1)

Morris Sharp (1)

Bonnie Kruft (1)

Nikola Pejic (1)

Matheus R. F. Mendonça (1)

Corby Rosset (1)

Judith Amores (1)

Chengruidong Zhang (1)

Tara Safavi (1)

Yang Wang (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)

Zhichao Li (1)

Ade Famoti (1)

Sampath Rajendra (1)

Leon Reicherts (1)

Sadjad Fouladi (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)

Published Date

Publication

LLM Assistance for Memory Safety

Nausheen Mohammed, Akash Lal, Aseem Rastogi, Rahul Sharma, Subhajit Roy

47th International Conference on Software Engineering (ICSE) | April 2025

Video

Publication

UFO: A UI-Focused Agent for Windows OS Interaction

Chaoyun Zhang, Liqun Li, Shilin He, Xu Zhang, Bo Qiao, Si Qin, Minghua Ma, Yu Kang, Qingwei Lin 林庆维, Saravan Rajmohan, Dongmei Zhang, Qi Zhang

NAACL’25 | April 2025

Publication

An Empirical Study of Validating Synthetic Data for Formula Generation

Usneek Singh, J. Cambronero, Sumit Gulwani, Aditya Kanade, Anirudh Khatry, Vu Le, Mukul Singh, Gust Verbruggen

NAACL 2025 | April 2025

Publication

RustAssistant: Using LLMs to Fix Compilation Errors in Rust Code

Pantazis Deligiannis, Akash Lal, Nikita Mehrotra, Rishi Poddar, Aseem Rastogi

47th International Conference on Software Engineering (ICSE) | April 2025

Video

Career Opportunity

Code Intelligence/Software Analytics Intern

Posted: March 27, 2025

Location: Beijing, China; Shanghai, China

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

Job Type: Full-time Intern Location: Beijing/Shanghai Group Introduction: Join the AI-powered coding revolution! As part of Microsoft DKI team, we pioneer cutting-edge research and applications of multimodal large language models. We have led the development…

Career Opportunity

Cloud Intelligence/AIOps R&D Intern

Posted: March 26, 2025

Location: Beijing, China; Shanghai, China

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

Job Type: Full-time Intern Location: Beijing/Shanghai Group Introduction: Pioneer cloud intelligence with us! The Microsoft DKI (Data, Knowledge, Intelligence) team leads interdisciplinary research in AIOps and Cloud Intelligence, focusing on critical scenarios including failure prediction,…

Publication

HyperDrive: Direct Network Telemetry Storage via Programmable Switches

Ziyuan Liu, Zhixiong Niu, Ran Shu, Wenxue Cheng, Lihua Yuan, Jacob Nelson, Dan R. K. Ports, Peng Cheng, Yongqiang Xiong

2025 Workshop on Hot Topics in Operating Systems | March 2025

Publication

My CXL Pool Obviates Your PCIe Switch

Yuhong Zhong, Daniel S. Berger, Pantea Zardoshti, Enrique Saurez, Jacob Nelson, Antonis Psistakis, Joshua Fried, Asaf Cidon

OSDI 2025 | March 2025

Publication

debug-gym: A Text-Based Environment for Interactive Debugging

Xingdi Yuan, Morgane M Moss, Charbel Feghali, Chinmay Singh, Darya Moldavskaya, Drew MacPhee, Lucas Caccia, Matheus Pereira, Minseon Kim, Alessandro Sordoni, Marc-Alexandre Côté

March 2025

Download

Microsoft Research Blog

Research Focus: Week of March 24, 2025

March 26, 2025 | Qianhui Wu, Huiqiang Jiang, Xufang Luo, Hao Cheng, Dongsheng Li, Yuqing Yang, Chin-Yew Lin, Lili Qiu, Jianfeng Gao, Yangyu Huang, Tengchao Lv, Lei Cui, Scarlett Li, Furu Wei, Xenofon Foukas, Bozidar Radunovic, Margus Veanes, Sarah Alamdari, Carles Domingo-Enrich, Ava Amini, Kevin Kaichuang Yang, Peter Lee, Ade Famoti, Christopher Bishop

In this issue, we examine a new conversation segmentation method that delivers more coherent and personalized agent conversation, and we review efforts to improve MLLMs’ understanding of geologic maps. Check out the latest research and…

Programming languages and software engineering

Highlights