LLMs meet Program Synthesis (ATVA 2025 - Invited Talks)

Mon 27 - Fri 31 October 2025 Bengaluru, India

Track

ATVA 2025 Invited Talks

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi.

Use conference time zone: (GMT+05:30) Chennai, Kolkata, Mumbai, New DelhiSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Thu 30 Oct 2025 09:30 - 10:30 at Amantran - Invited Talk 3 Chair(s): Deepak D'Souza

Abstract

This talk will explore the speaker’s experience with LLMs in annotation inference and program synthesis.

Bio

Rahul Sharma is a researcher at Microsoft Research India. He received a Ph.D. in Computer Science from Stanford University, where he was advised by Prof. Alex Aiken. Before Stanford, he graduated with a B.Tech. from IIT Delhi. His research interests include program analysis, compilers, machine learning, and secure cloud computing.