Programming languages and software engineering

Publication

Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming

Saikat Chakraborty, Gabriel Ebner, Siddharth Bhat, Sarah Fakhoury, Sakina Fatima, Shuvendu Lahiri, Nikhil Swamy

2025 International Conference on Software Engineering | April 2025

Download Download Project

Publication

3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers

Sarah Fakhoury, Markus Kuppe, Shuvendu Lahiri, Tahina Ramananandro, Nikhil Swamy

2025 International Conference on Software Engineering | April 2025

Project

Publication

Smart Casual Verification of the Confidential Consortium Framework

Heidi Howard, Markus Kuppe, Eddy Ashton, Amaury Chamayou, Natacha Crooks

2025 Networked Systems Design and Implementation | April 2025

Project

Publication

Fidelity of Cloud Emulators: The Imitation Game of Testing Cloud-based Software

Anna Mazhar , Saad Sher Alam , William Zheng , Yinfang Chen , Suman Nath, Tianyin Xu

International Conference on Software Engineering (ICSE) | April 2025

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

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

Publication

HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis

Shraddha Barke, Emmanuel Anaya Gonzalez, Saketh Ram Kasibatla, Taylor Berg-Kirkpatrick, Nadia Polikarpova

NeurIPS 2024 | December 2024

Publication

Balance Reward and Safety Optimization for Safe Reinforcement Learning: A Perspective of Gradient Manipulation

Shangding Gu, Hong Cheng, Hang Dong, Bo Qiao, Si Qin, Qingwei Lin 林庆维

December 2024

Career Opportunity

Senior Applied Scientist – Whole Page and Answers team

Posted: November 20, 2024

Location: Beijing, China

Research Area(s): Algorithms, Data platforms and analytics, Programming languages and software engineering

Join the Bing Whole Page and Answers team, where we are dedicated to creating the greatest user experience through cutting-edge technology and innovation. We are looking for talented algorithm experts to help us achieve this…

Publication

Building AI Agents for Autonomous Clouds: Challenges and Design Principles

Manisha M Shetty, Yinfang Chen, Gagan Somashekar, Minghua Ma, Yogesh L. Simmhan, Xuchao Zhang, Jonathan Mace, Pedro Las-Casas, Shachee Mishra Gupta, Suman Nath, Chetan Bansal, Saravan Rajmohan

2024 Symposium on Cloud Computing | November 2024

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)

Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming

3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers

Smart Casual Verification of the Confidential Consortium Framework

Fidelity of Cloud Emulators: The Imitation Game of Testing Cloud-based Software

LLM Assistance for Memory Safety

RustAssistant: Using LLMs to Fix Compilation Errors in Rust Code

HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis

Balance Reward and Safety Optimization for Safe Reinforcement Learning: A Perspective of Gradient Manipulation

Senior Applied Scientist – Whole Page and Answers team

Building AI Agents for Autonomous Clouds: Challenges and Design Principles

Programming languages and software engineering

Highlights