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