Prasita Mukherjee - ASE 2025

Sun 16 - Thu 20 November 2025 Seoul, South Korea

Registered user since Sat 18 Jan 2025

Name:Prasita Mukherjee

Affiliation:Purdue University

Contributions

2025

ASE

LLM-Assisted Synthesis of High-Assurance C Programs

Show activities from other conferences

ASE 2025-profile
View general profile