Ganesan Ramalingam
I am a member of the Rigorous Software Engineering Group at Microsoft Research India.
I am broadly interested in the areas of Programming Languages and Software Engineering, in making software development easier, more enjoyable, more reliable, more productive. Some of my more specific interests include static program analysis and programming tools.
My UW page. (You can find copies of some of my older papers here.)
Program Committees
- 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: ECOOP 2012, 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.
Publications
- Jose Faleiro, Sriram Rajamani, Kaushik Rajan, G Ramalingam, and Kapil Vaswani, Generalized Lattice Agreement, in Proceedings of Symposium on Principles of Distributed Computing (PODC), ACM, July 2012
- Bhargav S. Gulavani, Supratik Chakraborty, G. Ramalingam, and Aditya V. Nori, Bottom-up shape analysis using LISF, in Transactions on Programming Languages and Systems, ACM, November 2011
- Ravichandhran Madhavan, Ganesan Ramalingam, and Kapil Vaswani, Purity Analysis: An Abstract Interpretation Formulation, no. MSR-TR-2011-102, 2 September 2011
- Ravichandhran Madhavan, Ganesan Ramalingam, and Kapil Vaswani, Purity Analysis: An Abstract Interpretation Formulation, in Proceedings of Static Analysis Symposium (SAS), September 2011
- Jyotirmoy V. Deshmukh, G. Ramalingam, Venkatesh Prasad Ranganath, and Kapil Vaswani, Logical Concurrency Control from Sequential Proofs, in Logical Methods in Computer Science (LICS), vol. 7, no. 3, 2011
- Guy Golan-Gueta, Nathan Bronson, Alex Aiken, G. Ramalingam, Mooly Sagiv, and Eran Yahav, Automatic Fine-Grain Locking using Shape Properties, in Proc. of OOPSLA, 2011
- Prakash Prabhu, G Ramalingam, and Kapil Vaswani, Safe Programmable Speculative Parallelism, in Proceedings of Programming Language Design and Implementation (PLDI), Association for Computing Machinery, Inc., June 2010
- Jyotirmoy Deshmukh, G. Ramalingam, Venkatesh Prasad Ranganath, and Kapil Vaswani, Logical Concurrency Control From Sequential Proofs, in Proceedings of European Symposium on Programming (ESOP) - ETAPS Best Paper, March 2010
- Hagit Attiya, Ganesan Ramalingam, and Noam Rinetzky, Sequential Verification of Serializability, in Principles of Programming Languages (POPL), Association for Computing Machinery, Inc., January 2010
- Michal Segalov, Tal Lev-Ami, Roman Manevich, Ganesan Ramalingam, and Mooly Sagiv, Abstract Transformers for Thread Correlation Analysis, in Asian Symposium on Programming Languages and Systems (APLAS), Springer Verlag, December 2009
- David Lo, G Ramalingam, Venkatesh Prasad Ranganath, and Kapil Vaswani, Mining Quantified Temporal Rules: Formalism, Algorithms and Evaluation, in Proceedings of the Working Conference on Reverse Engineering (WCRE), IEEE, October 2009
- Bhargav Gulavani, Supratik Chakraborty, G. Ramalingam, and Aditya V. Nori, Bottom-up Shape Analysis, in SAS '09: Static Analysis Symposium, Springer Verlag, August 2009
- Jyotirmoy Deshmukh, G. Ramalingam, Venkatesh-Prasad Ranganath, and Kapil Vaswani, Logical Concurrency Control From Sequential Proofs, no. MSR-TR-2009-81, July 2009
- Akash Lal and G. Ramalingam, Reference Count Analysis With Shallow Aliasing, no. MSR-TR-2009-61, 21 May 2009
- Sriram Rajamani, G Ramalingam, Venkatesh Prasad Ranganath, and Kapil Vaswani, Isolator: Dynamically Ensuring Isolation in Concurrent Programs, in Proceedings of the Symposium on Architectural Support for Programming Languages and Operating Systems (ASPLOS), Association for Computing Machinery, Inc., March 2009
- Avik Chaudhuri, Prasad Naldurg, G. Ramalingam, Sriram Rajamani, and L. Velaga, EON: Modeling and Analyzing Access Control Systems with Logic Programs, in ACM Conference on Computer and Communications Security (CCS), Association for Computing Machinery, Inc., October 2008
- Shilpa Bugde, Nachi Nagappan, G. Ramalingam, and Sriram Rajamani, Global Software Servicing: Observational Experiences at Microsoft , in International Conference on Global Software Engineering (IGCSE), October 2008
- Roman Manevich, T. Lev-Ami, Mooly Sagiv, Ganesan Ramalingam, and Josh Berdine, Heap Decomposition for Concurrent Shape Analysis, in Static Analysis Symposium (SAS), Springer Verlag, July 2008
- Josh Berdine, T. Lev-Ami, Roman Manevich, Ganesan Ramalingam, and Mooly Sagiv, Thread Quantification for Concurrent Shape Analysis, in Computer Aided Verification (CAV), July 2008
- G. Ramalingam, Sriram K. Rajamani, Venkatesh Prasad Ranganath, and Kapil Vaswani, Isolator: Dynamically Ensuring Isolation in Concurrent Programs, no. MSR-TR-2008-91, June 2008
- Sriram Rajamani, G Ramalingam, Venkatesh Prasad Ranganath, and Kapil Vaswani, Controlling Non-determinism for Semantic Guarantees, in Proceedings of the Workshop on Exploiting Concurrency Efficiently and Correctly (EC2), June 2008
- Josh Berdine, Tal Lev-Ami, Roman Manevich, Ganesan Ramalingam, and Mooly Sagiv, Thread Quantification for Concurrent Shape Analysis, no. TR-2008-01TQ, March 2008
- Roman Manevich, Tal Lev-Ami, Mooly Sagiv, Ganesan Ramalingam, and Josh Berdine, Heap Decomposition for Concurrent Shape Analysis, in Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings, Springer Verlag, 2008
- Roman Manevich, Tal Lev-Ami, Mooly Sagiv, Ganesan Ramalingam, and Josh Berdine, Heap Decomposition for Concurrent Shape Analysis, no. TR-2007-11-85453, November 2007
- Raghavan Komondoor and Ganesan Ramalingam, Recovering Data Models Via Guarded Dependences, in Proceedings of the 14th Working Conference on Reverse Engineering (WCRE), October 2007
