Vijay Ramamurthy

Publication Activity (10 Years)

Years Active: 2020-2020
Publications (10 Years): 2

Top Topics

Term Rewriting Systems

Functional Programs

Lazy Evaluation

Top Venues

Proc. ACM Program. Lang.

Publications

Joshua Clune, Vijay Ramamurthy, Ruben Martins, Umut A. Acar
Program Equivalence for Assisted Grading of Functional Programs (Extended Version). CoRR (2020)
Joshua Clune, Vijay Ramamurthy, Ruben Martins, Umut A. Acar
Program equivalence for assisted grading of functional programs. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)