25 citations · 28 across the 3 of their papers we have counts for
3 papers
Grounded Language Design for Lightweight Diagramming for Formal Methods
Siddhartha Prasad, Ben Greenman, Tim Nelson +1
Model finding, as embodied by SAT solvers and similar tools, is used widely, both in embedding settings and as a tool in its own right. For instance, tools like Alloy target SAT to…
ContextQ: Generated Questions to Support Meaningful Parent-Child Dialogue While Co-Reading
Griffin Dietz Smith, Siddhartha Prasad, Matt J. Davidson +2
Much of early literacy education happens at home with caretakers reading books to young children. Prior research demonstrates how having dialogue with children during co-reading ca…
Conceptual Mutation Testing for Student Programming Misconceptions
Siddhartha Prasad, Ben Greenman, Tim Nelson +1
Context: Students often misunderstand programming problem descriptions. This can lead them to solve the wrong problem, which creates frustration, obstructs learning, and imperils g…