Registered user since Fri 20 Feb 2015
Rahul Sharma is a researcher at Microsoft Research India. He received a Ph.D. in Computer Science from Stanford University, where he was advised by Prof. Alex Aiken. Before Stanford, he graduated with a B.Tech. from IIT Delhi. His research interests include program analysis, compilers, machine learning, and secure cloud computing.
- Author 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