Siddhartha Prasad

According to our database, Siddhartha Prasad authored at least 7 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Conceptual Mutation Testing for Student Programming Misconceptions.

Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi

Art Sci. Eng. Program., 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

Proc. ACM Program. Lang., 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

Proceedings of the Formal Methods - 26th International Symposium, 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, 2024

2023

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 Vol 1, 2023

2022

Making Hay from Wheats: A Classsourcing Method to Identify Misconceptions.

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

Proceedings of the Koli Calling '22: 22nd Koli Calling International Conference on Computing Education Research, 2022

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

Proceedings of the 2020 IEEE International Conference on Big Data (IEEE BigData 2020), 2020