1 citations · 1 across the 2 of their papers we have counts for
3 papers
Programming by Rewards
Nagarajan Natarajan, Ajaykrishna Karthikeyan, Prateek Jain +4
We formalize and study ``programming by rewards'' (PBR), a new approach for specifying and synthesizing subroutines for optimizing some quantitative metric such as performance, res…
Debugging Machine Learning Tasks
Aleksandar Chakarov, Aditya Nori, Sriram Rajamani +2
Unlike traditional programs (such as operating systems or word processors) which have large amounts of code, machine learning tasks use programs with relatively small amounts of co…
A Type System for Data-Flow Integrity on Windows Vista
Avik Chaudhuri, Prasad Naldurg, Sriram Rajamani
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code can be blamed for any information-flow atta…