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 – PowerPoint

Posted: November 23, 2024

Location: Mountain View, CA, US

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

Join the PowerPoint team as we deliver modern, intelligent, and collaborative experiences that will delight millions of PowerPoint 365 customers. Located in the heart of Silicon Valley in Mountain View, CA, we are looking for an experienced…

Career Opportunity

Senior Data Scientist – Industry Solutions Engineering (ISE)

Posted: November 22, 2024

Location: London, UK

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

The Industry Solutions Engineering (ISE) team is hiring a Senior Data Scientist to help drive high-impact engineering projects with our customers and their partners, transforming their missions using AI and other cloud-based solutions and services.…

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 – PowerPoint

Senior Data Scientist – Industry Solutions Engineering (ISE)

Programming languages and software engineering

Highlights