Large-Scale Intelligent Microservices. - Mark Hamilton; Nick Gonsalves; Christina Lee; Anand Raman; Brendan Walsh; Siddhartha Prasad; Dalitso Banda; Lucy Zhang; Lei Zhang 001; William T. Freeman (IEEE BigData, 2020)

Making Hay from Wheats: A Classsourcing Method to Identify Misconceptions. - Siddhartha Prasad; Ben Greenman; Tim Nelson; John Wrenn; Shriram Krishnamurthi (Koli Calling, 2022)

Generating Programs Trivially: Student Use of Large Language Models. - Siddhartha Prasad; Ben Greenman; Tim Nelson; Shriram Krishnamurthi (CompEd (1), 2023)

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)

Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic. - Ben Greenman; Siddhartha Prasad; Antonio Di Stasio 001; Shufang Zhu 001; Giuseppe De Giacomo; Shriram Krishnamurthi; Marco Montali; Tim Nelson; Milda Zizyte (FM (1), 2024)

Grounded Language Design for Lightweight Diagramming for Formal Methods. - Siddhartha Prasad; Ben Greenman; Tim Nelson; Shriram Krishnamurthi (CoRR, 2024)

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; et al. (Proc. ACM Program. Lang., 2024)

Conceptual Mutation Testing for Student Programming Misconceptions. - Siddhartha Prasad; Ben Greenman; Tim Nelson; Shriram Krishnamurthi (Art Sci. Eng. Program., 2024)

A Misconception-Driven Adaptive Tutor for Linear Temporal Logic. - Siddhartha Prasad; Ben Greenman; Tim Nelson; Shriram Krishnamurthi (CAV (4), 2025)

Lightweight Diagramming for Lightweight Formal Methods: A Grounded Language Design. - Siddhartha Prasad; Ben Greenman; Tim Nelson; Shriram Krishnamurthi (ECOOP, 2025)

Lightweight Diagramming for Lightweight Formal Methods: A Grounded Language Design (Artifact). - Siddhartha Prasad; Ben Greenman; Tim Nelson; Shriram Krishnamurthi (Dagstuhl Artifacts Ser., 2025)

sidprasad/copeanddrag. - Siddhartha Prasad; Ben Greenman; Tim Nelson; Shriram Krishnamurthi (DROPS Artifacts, 2025)