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

Personal website: http://web.stanford.edu/~sharmar/

Contributions

PLDI 2016Author of Data-Driven Precondition Inference with Learned Features within the Research Papers-track
Author of Stratified Synthesis: Automatically Learning the x86-64 Instruction Set within the Research Papers-track
Author of Verifying Bit Manipulations of Floating-Point within the Research Papers-track
Show activities from other conferences

PLDI 2016-profile
View general profile