Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Sriram Rajamani
conf.researchr.org general profile
ICSE 2020 profile
ICSE 2022 profile
PLDI 2015 profile
PLDI 2016 profile
PLDI 2019 profile
PLDI 2020 profile
PLDI 2021 profile
PLDI 2022 profile
POPL 2016 profile
POPL 2017 profile
POPL 2018 profile
POPL 2024 profile
SPLASH 2011 profile
SPLASH 2020 profile
Registered user since Thu 16 May 2019
Name:
Sriram Rajamani
Affiliation:
Microsoft Research
Contributions
2024
POPL
Committee Member in Program Committee within the POPL-track
2022
PLDI
Author of Landmarks and Regions: A Robust Approach to Data Extraction within the PLDI-track
ICSE
Author of Jigsaw: Large Language Models meet Program Synthesis within the Technical Track-track
2021
PLDI
Committee Member in Steering Committee
Speaker of Ask Me Anything with Sriram Rajamani within the Ask Me Anything-track
2020
SPLASH
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
ICSE
Judge in Judge within the ACM Student Research Competition-track
PLDI
Committee Member in Steering Committee
2019
PLDI
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
2018
PEPM
Committee Member in Programme Committee within the PEPM 2018-track
2017
POPL
Committee Member in Steering Committee
2016
PLDI
Author of A Design and Verification Methodology for Secure Isolated Regions within the Research Papers-track
POPL
Chair in Steering Committee
2015
PLDI
Author of Efficient Synthesis of Probabilistic Programs within the Research Papers-track
2011
SPLASH
Committee Member in External Reviewers within the OOPSLA-track
Share
x
Wed 29 Nov 05:45