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