Vijay Ramamurthy

According to our database, Vijay Ramamurthy authored at least 2 papers in 2020.

Collaborative distances:

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

2020

Program equivalence for assisted grading of functional programs.

Joshua Clune, Vijay Ramamurthy, Ruben Martins, Umut A. Acar

Proc. ACM Program. Lang., 2020

Program Equivalence for Assisted Grading of Functional Programs (Extended Version).

Joshua Clune, Vijay Ramamurthy, Ruben Martins, Umut A. Acar

CoRR, 2020