G. Ramalingam -

Registered user since Fri 1 Jul 2016

Name:G. Ramalingam

Country:United States

Affiliation:Microsoft

Personal website: https://www.microsoft.com/en-us/research/people/grama/

Contributions

2025

APLAS

Committee Member in Program Committee within the Research Papers-track

2019

SPLASH

Committee Member in External Review Committee within the OOPSLA-track

ISSTA

Author of Keynote - From Typestate Verification to Interpretable Deep Models within the Keynote-track

ETAPS

Author of Concurrency Control Contract Composition within the Mooly Fest-track

FASE

Author of Checking Observational Purity Of Procedures within the FASE 2019-track

2018

ECOOP

Author of Safe Transferable Regions within the ECOOP Research Papers-track

2017

POPL

ERC member in External Review Committee within the POPL-track

2016

ECOOP

Committee Member in Program Committee within the Research Track-track

2015

PLDI

Author of Composing Concurrency Control within the Research Papers-track

2011

SPLASH

Author of Automatic Fine-Grain Locking using Shape Properties within the OOPSLA-track