2026

Diagramming Program Values by Spatial Refinement

Siddhartha Prasad, Michael Tu, Karan Kashyap, Tim Nelson, Shriram Krishnamurthi

PLDI 2026 Upcoming
PDF

Meaningful Human-in-the-Loop Checking of GenAI Synthesis for Restricted Languages

Siddhartha Prasad, Skyler Austen, Kathi Fisler, Shriram Krishnamurthi

ECOOP 2026 Upcoming
PDF Blog Code Tool

hS: Speculative Script Reordering at Subprocess Granularity

Georgios Liargkovas, Di Jin, Tianyu (Ezri) Zhu, Dan Liu, A. Bolun Thompson, Anirudh Narsipur, Seong-Heon Jung, Siddhartha Prasad, Diomidis Spinellis, Michael Greenberg, Konstantinos Kallas, Nikos Vasilakis

OSDI 2026 Upcoming
PDF
2025

A Misconception-Driven Adaptive Tutor for Linear Temporal Logic

Distinguished Paper Award

Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi

CAV 2025
PDF Blog Code

Lightweight Diagramming for Lightweight Formal Methods: A Grounded Language Design

Distinguished Paper Award Distinguished Artifact Award

Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi

ECOOP 2025
PDF Blog Code
2024

Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic

Ben Greenman, Siddhartha Prasad, Antonio Di Stasio, Shufang Zhu, Giuseppe De Giacomo, Shriram Krishnamurthi, Marco Montali, Tim Nelson, Milda Zizyte

FM 2024
PDF Blog

ContextQ: Generated Questions to Support Meaningful Parent-Child Dialogue While Co-Reading

Griffin Dietz Smith, Siddhartha Prasad, Matt J Davidson, Leah Findlater, R Benjamin Shapiro

IDC 2024
PDF

Forge: A Tool and Language for Teaching Formal Methods

Tim Nelson, Ben Greenman, Siddhartha Prasad, Tristan Dyer, Ethan Bove, Qianfan Chen, Charles Cutting, Thomas Del Vecchio, Sidney LeVine, Julianne Rudner, Ben Ryjikov, Alexander Varga, Andrew Wagner, Luke West, Shriram Krishnamurthi

OOPSLA 2024
PDF Blog Code

Conceptual Mutation Testing for Student Programming Misconceptions

Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi

‹Programming› 2024
PDF Blog
2023

Generating Programs Trivially: Student Use of Large Language Models

Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi

CompEd 2023
PDF Blog Code
2022

Making Hay from Wheats: A Classsourcing Method to Identify Misconceptions

Siddhartha Prasad, Ben Greenman, Tim Nelson, John Wrenn, Shriram Krishnamurthi

Koli Calling 2022
PDF Blog
2020

Large-Scale Intelligent Microservices

Mark Hamilton, Nick Gonsalves, Christina Lee, Anand Raman, Brendan Walsh, Siddhartha Prasad, Dalitso Banda, Lucy Zhang, Lei Zhang, William T Freeman

IEEE BigData 2020
PDF