• Sign in
  • Sign up
conf.researchr.org / Prasita Mukherjee
  • ASE 2025 profile
  • ICFP/SPLASH 2025 profile
  • POPL 2025 profile
Prasita Mukherjee

Registered user since Sat 18 Jan 2025

Name:Prasita Mukherjee
Country:United States
Affiliation:PhD Student
Personal website: https://prasitagit.github.io/
GitHub: https://github.com/prasitaGit
Research interests:Formal Methods, Software Engineering, Programming Languages, Neurosymbolic AI

Contributions

2025

ASE

  • Author of LLM-Assisted Synthesis of High-Assurance C Programs within the Research Papers-track

SPLASH

  • Author of KestRel: Relational Verification Using E-Graphs for Program Alignment within the OOPSLA-track

CoqPL

  • Author of Towards Automated Verification of LLM-Synthesized C Programs within the CoqPL 2025-track

POPL

  • Committee Member in Student Volunteers
Share
xSat 25 Oct 15:06
using conf.researchr.org (v1.72.1)
Support page
Sign Up