Rahul Sharma

Registered user since Fri 20 Feb 2015

Name: Rahul Sharma

Bio: 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.

Country: India

Affiliation: Microsoft Research

Personal website: http://cs.stanford.edu/people/sharmar

Research interests: Program Analysis, Compilers, Machine Learning

Contributions

PERR 2019Committee Member in Program Committee within the PERR-track
ECOOP 2019Author of Eventually Sound Points-To Analysis with Specifications within the Research Papers-track
PLDI 2019Author of Semantic Program Alignment for Equivalence Checking within the PLDI Research Papers-track
Committee Member in External Program Committee within the PLDI Research Papers-track
Author of Compiling KB-Sized Machine Learning Models to Tiny IoT Devices within the PLDI Research Papers-track
SPLASH 2018Committee Member in Review Committee within the OOPSLA-track
VMCAI 2018Committee Member in Program Committee within the VMCAI 2018-track
PLDI 2018Author of Active Learning of Points-To Specifications within the PLDI Research Papers-track
Committee Member in Student Research Competition Committee
Committee Member in Program Committee
POPL 2018Author of On Automatically Proving the Correctness of math.h Implementations within the Research Papers-track
SPLASH 2017Author of Seam: Provably Safe Local Edits on Graphs within the OOPSLA-track
PLDI 2017Committee Member in External Review Committee
Author of Synthesizing Program Input Grammars within the PLDI Research Papers-track
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
SPLASH 2016Author of Dependent Partitioning within the OOPSLA-track
POPL 2016ERC member in External Reviewing Committee
ERC member in External Reviewing Committee within the Research Papers-track
SPLASH 2015Author of Conditionally Correct Superoptimization within the OOPSLA-track
PLDI 2015Author of Verification of Producer-Consumer Synchronization in GPU Programs within the Research Papers-track
SPLASH 2013Author of Data-Driven Equivalence Checking within the OOPSLA-track