• Sign in
  • Sign up
conf.researchr.org / Sriram Rajamani
  • ICSE 2020 profile
  • PLDI 2015 profile
  • PLDI 2016 profile
  • PLDI 2019 profile
  • PLDI 2020 profile
  • PLDI 2021 profile
  • POPL 2016 profile
  • POPL 2017 profile
  • POPL 2018 profile
  • SPLASH 2011 profile
  • SPLASH 2020 profile
Sriram Rajamani

Registered user since Thu 16 May 2019

Name: Sriram Rajamani

Affiliation: Microsoft Research

Contributions

PLDI 2021 Committee Member in Steering Committee
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

Share
xSat 23 Jan 06:13
using conf.researchr.org (v1.40.2)
Support page
Sign Up