• Sign in
  • Sign up
conf.researchr.org / G. Ramalingam
  • ECOOP 2016 profile
  • ECOOP and ISSTA 2018 profile
  • ETAPS 2019 profile
  • ISSTA 2019 profile
  • PLDI 2015 profile
  • POPL 2017 profile
  • SPLASH 2011 profile
  • SPLASH 2019 profile
G. Ramalingam

Registered user since Fri 1 Jul 2016

Name:G. Ramalingam
Country:India
Affiliation:Microsoft Research
Personal website:https://www.microsoft.com/en-us/research/people/grama/

Contributions

SPLASH 2019 Committee Member in External Review Committee within the OOPSLA-track
ISSTA 2019 Author of Keynote - From Typestate Verification to Interpretable Deep Models within the Keynote-track
ETAPS 2019 Author of Concurrency Control Contract Composition within the Mooly Fest-track
FASE 2019 Author of Checking Observational Purity Of Procedures within the FASE 2019-track
ECOOP 2018 Author of Safe Transferable Regions within the ECOOP Research Papers-track
POPL 2017 ERC member in External Review Committee within the POPL-track
ECOOP 2016 Committee Member in Program Committee within the Research Track-track
PLDI 2015 Author of Composing Concurrency Control within the Research Papers-track
SPLASH 2011 Author of Automatic Fine-Grain Locking using Shape Properties within the OOPSLA-track

Share
xSat 28 Jan 00:27
using conf.researchr.org (v1.58.0)
Support page
Sign Up