Publications
-
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
Proceedings of the 23rd Annual 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
-
Generating Programs Trivially: Student Use of Large Language Models
Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi
Proceedings of the ACM Conference on Global Computing Education (CompEd), 2023
-
Conceptual Mutation Testing for Student Programming Misconceptions
Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi
The Art, Science, and Engineering of Programming, 2024
-
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