• Sign in
  • Sign up
conf.researchr.org / Sriram Rajamani
  • 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
Sriram Rajamani

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
xWed 29 Nov 05:45
using conf.researchr.org (v1.62.0)
Support page
Sign Up