Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Siddhartha Prasad
conf.researchr.org general profile
ECOOP 2025 profile
SPLASH 2024 profile
‹Programming› 2024 profile
Not registered as user
Name:
Siddhartha Prasad
Affiliation:
Brown University
Contributions
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
Mon 22 Sep 10:23