Portrait of G. Ramalingam

G. Ramalingam

Principal Researcher

About

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

I was a graduate student at the Computer Sciences Department of the University of Wisconsin – Madison from 1987 to 1993, where I completed my Ph.D. under the guidance of Prof. Thomas Reps. From 1993 to 2006 July, I was with the IBM T.J.Watson Research Center. I am now with Microsoft Research India in Bangalore, India.

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

Publications

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

Shape Analysis by Graph Decomposition
G. Ramalingam, Josh Berdine, Byron Cook, in Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedings, Springer Verlag, January 1, 2007, View abstract, Download PDF

2006

2005

2004

2002

2001

2000

1999

1997

1996

1995

1994

1993

1991

1990

1989

1988

Projects

Other

Program Committees

Other Service

Previous

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

Links