conf.researchr.org / Sriram Rajamani
Sriram Rajamani

Registered user since Thu 16 May 2019

Name: Sriram Rajamani

Affiliation: Microsoft Research

Contributions

PLDI 2019Committee Member in External Review Committee within the PLDI Research Papers-track
Author of Synthesis and Machine Learning for Heterogeneous Extraction within the PLDI Research Papers-track
PEPM 2018Committee Member in Programme Committee within the PEPM 2018-track
POPL 2017Committee Member in Steering Committee
PLDI 2016Author of A Design and Verification Methodology for Secure Isolated Regions within the Research Papers-track
POPL 2016Chair in Steering Committee
PLDI 2015Author of Efficient Synthesis of Probabilistic Programs within the Research Papers-track