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.
|POPL 2018||On Automatically Proving the Correctness of math.h Implementations|
|VMCAI 2018||Committee Member in Program Committee within the VMCAI 2018-track|
|Show activities from other conferences|
View general profile