A Misconception-Driven Adaptive Tutor for Linear Temporal Logic

Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi

To appear in International Conference on Computer Aided Verification (CAV) 2025

Lightweight Diagramming for Lightweight Formal Methods: A Grounded Language Design 🏅 Distinguished Paper Award, ECOOP 2025

Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi

To appear in European Conference on Object-Oriented Programming (ECOOP) 2025

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

International Symposium on Formal Methods (FM) 2024

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

ACM Interaction Design and Children Conference (IDC) 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, Andrew Wagner, Luke West, Shriram Krishnamurthi

ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications (OOPSLA) 2024

Conceptual Mutation Testing for Student Programming Misconceptions

Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi

The Art, Science, and Engineering of Programming 2024

Generating Programs Trivially: Student Use of Large Language Models

Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi

ACM Conference on Global Computing Education (CompEd) 2023

Making Hay from Wheats: A Classsourcing Method to Identify Misconceptions

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

Koli Calling International Conference on Computing Education Research (Koli Calling) 2022

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 International Conference on Big Data 2020