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 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
FASE 2019 Author of Checking Observational Purity Of Procedures within the FASE 2019-track
ETAPS 2019 Author of Concurrency Control Contract Composition within the Mooly Fest-track
POPL 2017 ERC member in External Review Committee within the POPL-track
ECOOP 2018 Author of Safe Transferable Regions within the ECOOP Research Papers-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