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
- Program Chair, APLAS 2008.
- Co-chair, PEPM 2007.
- Co-organizer, Dagstuhl Seminar on Aspects for Legacy Applications, 2006.
- Program Committees: POPL 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
- 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), 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), March 2009
- 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
- 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
- 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, 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, 2008
- Raghavan Komondoor and Ganesan Ramalingam, Recovering Data Models Via Guarded Dependences, in Proceedings of the 14th Working Conference on Reverse Engineering (WCRE), October 2007
- Saurabh Sinha, G. Ramalingam, and Raghavan Komondoor, Parametric Process Model Inference , in Proceedings of the 14th Working Conference on Reverse Engineering (WCRE), October 2007
- Roman Manevich, Josh Berdine, Byron Cook, Ganesan Ramalingam, and Mooly Sagiv, Shape Analysis by Graph Decomposition, 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, 2007
- Roman Manevich, Tal Lev-Ami, Mooly Sagiv, Ganesan Ramalingam, and Josh Berdine, Heap Decomposition for Concurrent Shape Analysis, no. TR-2007-11-85453, 2007
