2 papers
cs.AI2018
TipsC: Tips and Corrections for programming MOOCs
Saksham Sharma, Pallav Agarwal, Parv Mor +1
With the widespread adoption of MOOCs in academic institutions, it has become imperative to come up with better techniques to solve the tutoring and grading problems posed by progr…
cs.PL2017
Sound Mixed-Precision Optimization with Rewriting
Eva Darulova, Einar Horn, Saksham Sharma
Finite-precision arithmetic computations face an inherent tradeoff between accuracy and efficiency. The points in this tradeoff space are determined, among other factors, by differ…