45 citations · 148 across the 16 of their papers we have counts for
3 papers · 1 filter
Program Equivalence for Assisted Grading of Functional Programs (Extended Version)
Joshua Clune, Vijay Ramamurthy, Ruben Martins +1
In courses that involve programming assignments, giving meaningful feedback to students is an important challenge. Human beings can give useful feedback by manually grading the pro…
Responsive Parallelism with Futures and State
Stefan K. Muller, Kyle Singer, Noah Goldstein +3
Motivated by the increasing shift to multicore computers, recent work has developed language support for responsive parallel applications that mix compute-intensive tasks with late…
Parallel Batch-dynamic Trees via Change Propagation
Umut A. Acar, Daniel Anderson, Guy E. Blelloch +2
The dynamic trees problem is to maintain a forest subject to edge insertions and deletions while facilitating queries such as connectivity, path weights, and subtree weights. Dynam…