45 citations · 148 across the 16 of their papers we have counts for
Showing 2020 · cs.PLShow all
2 papers · 2 filters
cs.PL2020★ 11 cited
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…
cs.PL2020
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…