Sriram Rajamani -

Registered user since Thu 16 May 2019

Name:Sriram Rajamani

Affiliation:Microsoft Research

Contributions

PLDI 2021	Committee Member in Steering Committee Speaker of Ask Me Anything with Sriram Rajamani within the Ask Me Anything-track
SPLASH 2020	Speaker of Ask Me Anything: Sriram Rajamani within the PLMW-track AMA Speaker in Speakers & Panelists within the PLMW-track Keynote Speaker of Models and Programs: Better Together within the Keynotes-track
PLDI 2020	Committee Member in Steering Committee
PLDI 2019	Committee 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
ICSE 2020	Judge in Judge within the ACM Student Research Competition-track
PEPM 2018	Committee Member in Programme Committee within the PEPM 2018-track
POPL 2017	Committee Member in Steering Committee
PLDI 2016	Author of A Design and Verification Methodology for Secure Isolated Regions within the Research Papers-track
POPL 2016	Chair in Steering Committee
PLDI 2015	Author of Efficient Synthesis of Probabilistic Programs within the Research Papers-track
SPLASH 2011	Committee Member in External Reviewers within the OOPSLA-track