Write a Blog >>
Rahul Sharma

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

Contributions

Show activities from other conferences

POPL 2016-profile
View general profile