Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Siddhartha Prasad
conf.researchr.org general profile
ECOOP 2025 profile
ECOOP 2026 profile
PLDI 2026 profile
SPLASH 2024 profile
‹Programming› 2024 profile
Registered user since Thu 9 Apr 2026
Name:
Siddhartha Prasad
Affiliation:
Brown University
Contributions
2026
ECOOP
Author of Meaningful Human-in-the-Loop Checking of GenAI Synthesis for Restricted Languages within the Technical Papers-track
PLDI
Author of Diagramming Program Values by Spatial Refinement within the PLDI Research Papers-track
2025
ECOOP
Author of Lightweight Diagramming for Formal Methods: A Grounded Language Design within the Technical Papers-track
2024
SPLASH
Author of Forge: A Tool and Language for Teaching Formal Methods within the OOPSLA 2024-track
‹Programming›
Author of Conceptual Mutation Testing for Student Programming Misconceptions within the Research Papers-track
Share
x
Tue 21 Apr 19:02