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
SPLASH 2011 profile
SPLASH 2020 profile
Registered user since Thu 16 May 2019
Name:
Sriram Rajamani
Affiliation:
Microsoft Research
Contributions
PLDI 2022
Author of Landmarks and Regions: A Robust Approach to Data Extraction within the PLDI-track
ICSE 2022
Author of Jigsaw: Large Language Models meet Program Synthesis within the Technical Track-track
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
ICSE 2020
Judge in Judge within the ACM Student Research Competition-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
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
x
Mon 20 Mar 13:24