
Registered user since Fri 20 Feb 2015
Name: Rahul Sharma
Bio: I am a PhD student at the Department of Computer Science at Stanford University. My advisor is Prof. Alex Aiken. I am interested in applying machine learning to program verification and compiler optimizations. Learning from program runs is an effective way to combine two complementary techniques: static analysis and testing.
Affiliation: Stanford University
Personal website: http://web.stanford.edu/~sharmar/
Contributions
POPL 2016 | ERC member in External Reviewing Committee ERC member in External Reviewing Committee within the Research Papers-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2016-profile
View general profile
View general profile