Portrait of G. Ramalingam

G. Ramalingam

Principal Researcher

About

I am a member of the Programming Languages and Tools Group at Microsoft Research India.

Interests: Programming languages, Programming tools, Static program analysis, Formal methods, Software verification, Concurrency, Distributed programming.

 Program Committees

Program Co-Chair, FSTTCS 2015.
Co-Organizer, Dagstuhl Seminar on Consistency in Distributed Systems (2013)
Co-Organizer, Mysore Park Workshop on The Chemistry of Concurrent and Distributed Programming (2011)
Program Chair, APLAS 2008.
Co-Chair, PEPM 2007.
Co-Organizer, Dagstuhl Seminar on Aspects for Legacy Applications, 2006.
Program Committees: POPL 2017 ERC, ESOP 2017, APLAS 2016, ECOOP 2016,  NETYS 2015, POPL 2015, VMCAI 2013, FSTTCS 2012, ATVA 2012, SAS 2012, ECOOP 2012, PLDI 2012 ERC, SAS 2011, FM 2011, POPL 2011, VMCAI 2011, PASTE 2010, APLAS 2009, APLAS 2007, EMSOFT 2007, CC 2007, SAS 2006, FSTTCS 2005, SAS 2005, CC 2005, SAS 2004, SAS 2002, POPL 2000.

Other Service

Vice President, Indian Association of Research in Computer Science (2012 to date)
Member, ACM India Council (2012 to 2016)
Editorial Board Member, Foundations and Trends In Programming Languages

Previous

Executive Committee Member, Asian Association for Foundation of Software (AAFS)

Links

My DBLP page
My Google Scholar page
My UW page. (You can find copies of some of my older papers here.)

Publications

2015

2014

2013

2012

2011

2010

2009

2008

2007