@inproceedings{YahavR04,
  title = {Verifying safety properties using separation and heterogeneous abstractions},
  author = {Eran Yahav and Ganesan Ramalingam},
  year = {2004},
  doi = {10.1145/996841.996846},
  url = {http://doi.acm.org/10.1145/996841.996846},
  tags = {abstraction},
  researchr = {https://researchr.org/publication/YahavR04},
  cites = {0},
  citedby = {0},
  pages = {25-34},
  booktitle = {Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, Washington, DC, USA, June 9-11, 2004},
  editor = {William Pugh and Craig Chambers},
  publisher = {ACM},
  isbn = {1-58113-807-5},
}

@inproceedings{FinkYDRG06,
  title = {Effective typestate verification in the presence of aliasing},
  author = {Stephen J. Fink and Eran Yahav and Nurit Dor and Ganesan Ramalingam and Emmanuel Geay},
  year = {2006},
  doi = {10.1145/1146238.1146254},
  url = {http://doi.acm.org/10.1145/1146238.1146254},
  researchr = {https://researchr.org/publication/FinkYDRG06},
  cites = {0},
  citedby = {0},
  pages = {133-144},
  booktitle = {Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2006, Portland, Maine, USA, July 17-20, 2006},
  editor = {Lori L. Pollock and Mauro Pezzè},
  publisher = {ACM},
  isbn = {1-59593-263-1},
}

@inproceedings{SegalovLMGS09,
  title = {Abstract Transformers for Thread Correlation Analysis},
  author = {Michal Segalov and Tal Lev-Ami and Roman Manevich and Ganesan Ramalingam and Mooly Sagiv},
  year = {2009},
  doi = {10.1007/978-3-642-10672-9_5},
  url = {http://dx.doi.org/10.1007/978-3-642-10672-9_5},
  tags = {analysis},
  researchr = {https://researchr.org/publication/SegalovLMGS09},
  cites = {0},
  citedby = {0},
  pages = {30-46},
  booktitle = {Programming Languages and Systems, 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings},
  editor = {Zhenjiang Hu},
  volume = {5904},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-10671-2},
}

@inproceedings{ChaudhuriNRRV08,
  title = {EON: modeling and analyzing dynamic access control systems with logic programs},
  author = {Avik Chaudhuri and Prasad Naldurg and Sriram K. Rajamani and Ganesan Ramalingam and Lakshmisubrahmanyam Velaga},
  year = {2008},
  doi = {10.1145/1455770.1455818},
  url = {http://doi.acm.org/10.1145/1455770.1455818},
  tags = {control systems, modeling, logic programming, logic, access control},
  researchr = {https://researchr.org/publication/ChaudhuriNRRV08},
  cites = {0},
  citedby = {0},
  pages = {381-390},
  booktitle = {Proceedings of the 2008 ACM Conference on Computer and Communications Security, CCS 2008, Alexandria, Virginia, USA, October 27-31, 2008},
  editor = {Peng Ning and Paul F. Syverson and Somesh Jha},
  publisher = {ACM},
  isbn = {978-1-59593-810-7},
}

@inproceedings{DorFGLLMRRRSWYY05,
  title = {Automatic Verification of Strongly Dynamic Software Systems},
  author = {Nurit Dor and John Field and Denis Gopan and Tal Lev-Ami and Alexey Loginov and Roman Manevich and Ganesan Ramalingam and Thomas W. Reps and Noam Rinetzky and Mooly Sagiv and Reinhard Wilhelm and Eran Yahav and Greta Yorsh},
  year = {2005},
  doi = {10.1007/978-3-540-69149-5_11},
  url = {http://dx.doi.org/10.1007/978-3-540-69149-5_11},
  researchr = {https://researchr.org/publication/DorFGLLMRRRSWYY05},
  cites = {0},
  citedby = {0},
  pages = {82-92},
  booktitle = {Verified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions},
  editor = {Bertrand Meyer and Jim Woodcock},
  volume = {4171},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-69147-1},
}

@inproceedings{MoonenRC06,
  title = {06302 Summary -- Aspects For Legacy Applications},
  author = {Leon Moonen and Ganesan Ramalingam and Siobhán Clarke},
  year = {2006},
  url = {http://drops.dagstuhl.de/opus/volltexte/2007/879},
  researchr = {https://researchr.org/publication/MoonenRC06},
  cites = {0},
  citedby = {0},
  booktitle = {Aspects For Legacy Applications, 26.07. - 29.07.2006},
  editor = {Siobhán Clarke and Leon Moonen and Ganesan Ramalingam},
  volume = {06302},
  series = {Dagstuhl Seminar Proceedings},
  publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
}

@article{ChandraVFHKKNRX06,
  title = {Technical forum: Using logical data models for understanding and transforming legacy business applications},
  author = {Satish Chandra and Jackie De Vries and John Field and Howard M. Hess and Manivannan Kalidasan and Raghavan Komondoor and Frans Nieuwerth and Ganesan Ramalingam and Justin Xue},
  year = {2006},
  doi = {10.1147/sj.453.0647},
  url = {http://dx.doi.org/10.1147/sj.453.0647},
  researchr = {https://researchr.org/publication/ChandraVFHKKNRX06},
  cites = {0},
  citedby = {0},
  journal = {IBM Systems Journal},
  volume = {45},
  number = {3},
  pages = {647-655},
}

@inproceedings{Ramalingam97,
  title = {On Sparse Evaluation Representations},
  author = {Ganesan Ramalingam},
  year = {1997},
  researchr = {https://researchr.org/publication/Ramalingam97},
  cites = {0},
  citedby = {0},
  pages = {1-15},
  booktitle = {Static Analysis, 4th International Symposium, SAS  97, Paris, France, September 8-10, 1997, Proceedings},
  editor = {Pascal Van Hentenryck},
  volume = {1302},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-63468-1},
}

@article{Ramalingam99,
  title = {Identifying Loops in Almost Linear Time},
  author = {Ganesan Ramalingam},
  year = {1999},
  doi = {10.1145/316686.316687},
  url = {http://doi.acm.org/10.1145/316686.316687},
  researchr = {https://researchr.org/publication/Ramalingam99},
  cites = {0},
  citedby = {0},
  journal = {ACM Transactions on Programming Languages and Systems},
  volume = {21},
  number = {2},
  pages = {175-188},
}

@inproceedings{LoRRV99a,
  title = {Mining Quantified Temporal Rules: Formalism, Algorithms, and Evaluation},
  author = {David Lo and Ganesan Ramalingam and Venkatesh Prasad Ranganath and Kapil Vaswani},
  year = {2009},
  doi = {10.1109/WCRE.2009.42},
  url = {http://doi.ieeecomputersociety.org/10.1109/WCRE.2009.42},
  tags = {rule-based, rules},
  researchr = {https://researchr.org/publication/LoRRV99a},
  cites = {0},
  citedby = {0},
  pages = {62-71},
  booktitle = {16th Working Conference on Reverse Engineering, WCRE 2009, 13-16 October 2009, Lille, France},
  editor = {Andy Zaidman and Giuliano Antoniol and stéphane-ducasse},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-3867-9},
}

@inproceedings{SongKRMY96,
  title = {Interactive Authoring of Multimedia Documents},
  author = {Junehwa Song and Michelle Y. Kim and Ganesan Ramalingam and Raymond E. Miller and Byoung-Kee Yi},
  year = {1996},
  tags = {e-science, multimedia},
  researchr = {https://researchr.org/publication/SongKRMY96},
  cites = {0},
  citedby = {0},
  pages = {276-283},
  booktitle = {VL},
}

@inproceedings{RamalingamR93,
  title = {A Categorized Bibliography on Incremental Computation},
  author = {Ganesan Ramalingam and Thomas W. Reps},
  year = {1993},
  doi = {10.1145/158511.158710},
  tags = {bibliography, incremental},
  researchr = {https://researchr.org/publication/RamalingamR93},
  cites = {0},
  citedby = {0},
  pages = {502-510},
  booktitle = {Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
}

@inproceedings{RamalingamR94,
  title = {An Incremental Algorithm for Maintaining the Dominator Tree of a Reducible Flowgraph},
  author = {Ganesan Ramalingam and Thomas W. Reps},
  year = {1994},
  tags = {incremental},
  researchr = {https://researchr.org/publication/RamalingamR94},
  cites = {0},
  citedby = {0},
  pages = {287-296},
  booktitle = {Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
}

@inproceedings{RamalingamR91,
  title = {Modification Algebras},
  author = {Ganesan Ramalingam and Thomas W. Reps},
  year = {1991},
  tags = { algebra},
  researchr = {https://researchr.org/publication/RamalingamR91},
  cites = {0},
  citedby = {0},
  pages = {547-558},
  booktitle = {Algebraic Methodology and Software Technology (AMAST  91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991},
  editor = {Maurice Nivat and Charles Rattray and Teodor Rus and Giuseppe Scollo},
  series = {Workshops in Computing},
  publisher = {Springer},
  isbn = {3-540-19797-4},
}

@article{RamalingamR94:0,
  title = {On Competitive On-Line Algorithms for the Dynamic Priority-Ordering Problem},
  author = {Ganesan Ramalingam and Thomas W. Reps},
  year = {1994},
  researchr = {https://researchr.org/publication/RamalingamR94%3A0},
  cites = {0},
  citedby = {0},
  journal = {Inf. Process. Lett.},
  volume = {51},
  number = {3},
  pages = {155-161},
}

@inproceedings{DeshmukhRRV10,
  title = {Logical Concurrency Control from Sequential Proofs},
  author = {Jyotirmoy Deshmukh and Ganesan Ramalingam and Venkatesh Prasad Ranganath and Kapil Vaswani},
  year = {2010},
  doi = {10.1007/978-3-642-11957-6_13},
  url = {http://dx.doi.org/10.1007/978-3-642-11957-6_13},
  researchr = {https://researchr.org/publication/DeshmukhRRV10},
  cites = {0},
  citedby = {0},
  pages = {226-245},
  booktitle = {Programming Languages and Systems, 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings},
  editor = {Andrew D. Gordon},
  volume = {6012},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-11956-9},
}

@article{Ramalingam00:0,
  title = {Context-sensitive synchronization-sensitive analysis is undecidable},
  author = {Ganesan Ramalingam},
  year = {2000},
  doi = {10.1145/349214.349241},
  url = {http://doi.acm.org/10.1145/349214.349241},
  tags = {synchronization, analysis, context-aware},
  researchr = {https://researchr.org/publication/Ramalingam00%3A0},
  cites = {0},
  citedby = {0},
  journal = {ACM Transactions on Programming Languages and Systems},
  volume = {22},
  number = {2},
  pages = {416-430},
}

@article{RinetzkyRSY08,
  title = {On the complexity of partially-flow-sensitive alias analysis},
  author = {Noam Rinetzky and Ganesan Ramalingam and Shmuel Sagiv and Eran Yahav},
  year = {2008},
  doi = {10.1145/1353445.1353447},
  url = {http://doi.acm.org/10.1145/1353445.1353447},
  tags = {analysis, data-flow, data-flow analysis},
  researchr = {https://researchr.org/publication/RinetzkyRSY08},
  cites = {0},
  citedby = {0},
  journal = {ACM Transactions on Programming Languages and Systems},
  volume = {30},
  number = {3},
}

@book{Ramalingam96,
  title = {Bounded Incremental Computation},
  author = {Ganesan Ramalingam},
  year = {1996},
  tags = {incremental},
  researchr = {https://researchr.org/publication/Ramalingam96},
  cites = {0},
  citedby = {0},
  volume = {1089},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-61320-X},
}

@inproceedings{RajamaniRRV09,
  title = {ISOLATOR: dynamically ensuring isolation in comcurrent programs},
  author = {Sriram K. Rajamani and Ganesan Ramalingam and Venkatesh Prasad Ranganath and Kapil Vaswani},
  year = {2009},
  doi = {10.1145/1508244.1508266},
  url = {http://doi.acm.org/10.1145/1508244.1508266},
  researchr = {https://researchr.org/publication/RajamaniRRV09},
  cites = {0},
  citedby = {0},
  pages = {181-192},
  booktitle = {Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2009, Washington, DC, USA, March 7-11, 2009},
  editor = {Mary Lou Soffa and Mary Jane Irwin},
  publisher = {ACM},
  isbn = {978-1-60558-406-5},
}

@article{RamalingamR90,
  title = {New Sequential and Parallel Algorithms for Interval Graph Recognition},
  author = {Ganesan Ramalingam and C. Pandu Rangan},
  year = {1990},
  tags = {graph-rewriting, C++, rewriting},
  researchr = {https://researchr.org/publication/RamalingamR90},
  cites = {0},
  citedby = {0},
  journal = {Inf. Process. Lett.},
  volume = {34},
  number = {4},
  pages = {215-219},
}

@inproceedings{RamalingamS97,
  title = {A Member Lookup Algorithm for C++},
  author = {Ganesan Ramalingam and Harini Srinivasan},
  year = {1997},
  tags = {C++},
  researchr = {https://researchr.org/publication/RamalingamS97},
  cites = {0},
  citedby = {0},
  pages = {18-30},
  booktitle = {PLDI},
}

@article{FieldGRY05,
  title = {Typestate verification: Abstraction techniques and complexity results},
  author = {John Field and Deepak Goyal and Ganesan Ramalingam and Eran Yahav},
  year = {2005},
  doi = {10.1016/j.scico.2005.02.004},
  url = {http://dx.doi.org/10.1016/j.scico.2005.02.004},
  tags = {abstraction},
  researchr = {https://researchr.org/publication/FieldGRY05},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {58},
  number = {1-2},
  pages = {57-82},
}

@inproceedings{ManevichFHRS06,
  title = {Abstract Counterexample-Based Refinement for Powerset Domains},
  author = {Roman Manevich and John Field and Thomas A. Henzinger and Ganesan Ramalingam and Mooly Sagiv},
  year = {2006},
  doi = {10.1007/978-3-540-71322-7_13},
  url = {http://dx.doi.org/10.1007/978-3-540-71322-7_13},
  tags = {rule-based, refinement},
  researchr = {https://researchr.org/publication/ManevichFHRS06},
  cites = {0},
  citedby = {0},
  pages = {273-292},
  booktitle = {Program Analysis and Compilation, Theory and Practice, Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday},
  editor = {Thomas W. Reps and Mooly Sagiv and Jörg Bauer},
  volume = {4444},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-71315-9},
}

@inproceedings{GulavaniCRN09,
  title = {Bottom-Up Shape Analysis},
  author = {Bhargav S. Gulavani and Supratik Chakraborty and Ganesan Ramalingam and Aditya V. Nori},
  year = {2009},
  doi = {10.1007/978-3-642-03237-0_14},
  url = {http://dx.doi.org/10.1007/978-3-642-03237-0_14},
  tags = {analysis},
  researchr = {https://researchr.org/publication/GulavaniCRN09},
  cites = {0},
  citedby = {0},
  pages = {188-204},
  booktitle = {Static Analysis, 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings},
  editor = {Jens Palsberg and Zhendong Su},
  volume = {5673},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-03236-3},
}

@inproceedings{ClarkeMR06,
  title = {06302 Abstracts Collection -- Aspects For Legacy Applications},
  author = {Siobhán Clarke and Leon Moonen and Ganesan Ramalingam},
  year = {2006},
  url = {http://drops.dagstuhl.de/opus/volltexte/2007/890},
  researchr = {https://researchr.org/publication/ClarkeMR06},
  cites = {0},
  citedby = {0},
  booktitle = {Aspects For Legacy Applications, 26.07. - 29.07.2006},
  editor = {Siobhán Clarke and Leon Moonen and Ganesan Ramalingam},
  volume = {06302},
  series = {Dagstuhl Seminar Proceedings},
  publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
}

@article{RamalingamR96,
  title = {An Incremental Algorithm for a Generalization of the Shortest-Path Problem},
  author = {Ganesan Ramalingam and Thomas W. Reps},
  year = {1996},
  tags = {incremental},
  researchr = {https://researchr.org/publication/RamalingamR96},
  cites = {0},
  citedby = {0},
  journal = {J. Algorithms},
  volume = {21},
  number = {2},
  pages = {267-305},
}

@inproceedings{FieldGRY03,
  title = {Typestate Verification: Abstraction Techniques and Complexity Results},
  author = {John Field and Deepak Goyal and Ganesan Ramalingam and Eran Yahav},
  year = {2003},
  url = {http://link.springer.de/link/service/series/0558/bibs/2694/26940439.htm},
  tags = {abstraction},
  researchr = {https://researchr.org/publication/FieldGRY03},
  cites = {0},
  citedby = {0},
  pages = {439-462},
  booktitle = {Static Analysis, 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003, Proceedings},
  editor = {Radhia Cousot},
  volume = {2694},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-40325-6},
}

@article{Ramalingam02,
  title = {On sparse evaluation representations},
  author = {Ganesan Ramalingam},
  year = {2002},
  doi = {10.1016/S0304-3975(00)00315-7},
  url = {http://dx.doi.org/10.1016/S0304-3975(00)00315-7},
  researchr = {https://researchr.org/publication/Ramalingam02},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {277},
  number = {1-2},
  pages = {119-147},
}

@inproceedings{ManevichYRS05,
  title = {Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists},
  author = {Roman Manevich and Eran Yahav and Ganesan Ramalingam and Shmuel Sagiv},
  year = {2005},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3385&spage=181},
  tags = {abstraction},
  researchr = {https://researchr.org/publication/ManevichYRS05},
  cites = {0},
  citedby = {0},
  pages = {181-198},
  booktitle = {Verification, Model Checking, and Abstract Interpretation, 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings},
  editor = {Radhia Cousot},
  volume = {3385},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-24297-X},
}

@inproceedings{RamalingamWFGS02,
  title = {Deriving Specialized Program Analyses for Certifying Component-Client Conformance},
  author = {Ganesan Ramalingam and Alex Varshavsky and John Field and Deepak Goyal and Shmuel Sagiv},
  year = {2002},
  doi = {10.1145/512529.512540},
  url = {http://doi.acm.org/10.1145/512529.512540},
  researchr = {https://researchr.org/publication/RamalingamWFGS02},
  cites = {0},
  citedby = {0},
  pages = {83-94},
  booktitle = {PLDI},
}

@article{FinkYDRG08,
  title = {Effective typestate verification in the presence of aliasing},
  author = {Stephen J. Fink and Eran Yahav and Nurit Dor and Ganesan Ramalingam and Emmanuel Geay},
  year = {2008},
  doi = {10.1145/1348250.1348255},
  url = {http://doi.acm.org/10.1145/1348250.1348255},
  researchr = {https://researchr.org/publication/FinkYDRG08},
  cites = {0},
  citedby = {0},
  journal = {ACM Transactions on Software Engineering Methodology},
  volume = {17},
  number = {2},
}

@article{RamalingamR88a,
  title = {A Unified Approach to Domination Problems on Interval Graphs},
  author = {Ganesan Ramalingam and C. Pandu Rangan},
  year = {1988},
  doi = {10.1016/0020-0190(88)90091-9},
  url = {http://dx.doi.org/10.1016/0020-0190(88)90091-9},
  tags = {graph-rewriting, C++, rewriting, systematic-approach},
  researchr = {https://researchr.org/publication/RamalingamR88a},
  cites = {0},
  citedby = {0},
  journal = {Inf. Process. Lett.},
  volume = {27},
  number = {5},
  pages = {271-274},
}

@inproceedings{ManevichLSRB08,
  title = {Heap Decomposition for Concurrent Shape Analysis},
  author = {Roman Manevich and Tal Lev-Ami and Mooly Sagiv and Ganesan Ramalingam and Josh Berdine},
  year = {2008},
  doi = {10.1007/978-3-540-69166-2_24},
  url = {http://dx.doi.org/10.1007/978-3-540-69166-2_24},
  tags = {analysis},
  researchr = {https://researchr.org/publication/ManevichLSRB08},
  cites = {0},
  citedby = {0},
  pages = {363-377},
  booktitle = {Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings},
  editor = {María Alpuente and Germán Vidal},
  volume = {5079},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-69163-1},
}

@article{Ramalingam94,
  title = {The Undecidability of Aliasing},
  author = {Ganesan Ramalingam},
  year = {1994},
  doi = {10.1145/186025.186041},
  url = {http://doi.acm.org/10.1145/186025.186041},
  researchr = {https://researchr.org/publication/Ramalingam94},
  cites = {0},
  citedby = {0},
  journal = {ACM Transactions on Programming Languages and Systems},
  volume = {16},
  number = {5},
  pages = {1467-1471},
}

@inproceedings{SinhaRK07,
  title = {Parametric Process Model Inference},
  author = {Saurabh Sinha and Ganesan Ramalingam and Raghavan Komondoor},
  year = {2007},
  doi = {10.1109/WCRE.2007.36},
  url = {http://doi.ieeecomputersociety.org/10.1109/WCRE.2007.36},
  tags = {meta-model, modeling, Meta-Environment, process modeling},
  researchr = {https://researchr.org/publication/SinhaRK07},
  cites = {0},
  citedby = {0},
  pages = {21-30},
  booktitle = {14th Working Conference on Reverse Engineering (WCRE 2007), 28-31 October 2007, Vancouver, BC, Canada},
  publisher = {IEEE Computer Society},
}

@inproceedings{FieldR99,
  title = {Identifying Procedural Structure in Cobol Programs},
  author = {John Field and Ganesan Ramalingam},
  year = {1999},
  doi = {10.1145/316158.316163},
  url = {http://doi.acm.org/10.1145/316158.316163},
  tags = {Cobol},
  researchr = {https://researchr.org/publication/FieldR99},
  cites = {0},
  citedby = {0},
  pages = {1-10},
  booktitle = {PASTE},
}

@inproceedings{Ramalingam96:0,
  title = {Data Flow Frequency Analysis},
  author = {Ganesan Ramalingam},
  year = {1996},
  tags = {analysis, data-flow, data-flow analysis},
  researchr = {https://researchr.org/publication/Ramalingam96%3A0},
  cites = {0},
  citedby = {0},
  pages = {267-277},
  booktitle = {PLDI},
}

@article{RamalingamV11,
  title = {Special issue on Partial Evaluation and Program Manipulation (selected papers from PEPM 2007)},
  author = {Ganesan Ramalingam and Eelco Visser},
  year = {2011},
  month = {June},
  doi = {10.1016/j.scico.2011.01.001},
  url = {http://dx.doi.org/10.1016/j.scico.2011.01.001},
  tags = {partial evaluation},
  researchr = {https://researchr.org/publication/RamalingamV11},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {76},
  number = {6},
  pages = {467-468},
}

@inproceedings{RinetzkyPRSY07,
  title = {Modular Shape Analysis for Dynamically Encapsulated Programs},
  author = {Noam Rinetzky and Arnd Poetzsch-Heffter and Ganesan Ramalingam and Mooly Sagiv and Eran Yahav},
  year = {2007},
  doi = {10.1007/978-3-540-71316-6_16},
  url = {http://dx.doi.org/10.1007/978-3-540-71316-6_16},
  tags = {program analysis, analysis},
  researchr = {https://researchr.org/publication/RinetzkyPRSY07},
  cites = {0},
  citedby = {0},
  pages = {220-236},
  booktitle = {Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings},
  editor = {Rocco De Nicola},
  volume = {4421},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-71314-2},
}

@article{SongRMY99,
  title = {Interactive Authoring of Multimedia Documents in a Constraint-Based Authoring System},
  author = {Junehwa Song and Ganesan Ramalingam and Raymond E. Miller and Byoung-Kee Yi},
  year = {1999},
  url = {http://link.springer.de/link/service/journals/00530/bibs/9007005/90070424.htm},
  tags = {rule-based, constraints, e-science, multimedia},
  researchr = {https://researchr.org/publication/SongRMY99},
  cites = {0},
  citedby = {0},
  journal = {Multimedia Syst.},
  volume = {7},
  number = {5},
  pages = {424-437},
}

@inproceedings{TipCFR96,
  title = {Slicing Class Hierarchies in C++},
  author = {Frank Tip and Jong-Deok Choi and John Field and Ganesan Ramalingam},
  year = {1996},
  tags = {slicing, C++},
  researchr = {https://researchr.org/publication/TipCFR96},
  cites = {0},
  citedby = {0},
  pages = {179-197},
  booktitle = {OOPSLA},
}

@inproceedings{KomondoorRCF05,
  title = {Dependent Types for Program Understanding},
  author = {Raghavan Komondoor and Ganesan Ramalingam and Satish Chandra and John Field},
  year = {2005},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3440&spage=157},
  researchr = {https://researchr.org/publication/KomondoorRCF05},
  cites = {0},
  citedby = {0},
  pages = {157-173},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings},
  editor = {Nicolas Halbwachs and Lenore D. Zuck},
  volume = {3440},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-25333-5},
}

@inproceedings{Ramalingam00,
  title = {On loops, dominators, and dominance frontier},
  author = {Ganesan Ramalingam},
  year = {2000},
  doi = {10.1145/349299.349330},
  url = {http://doi.acm.org/10.1145/349299.349330},
  researchr = {https://researchr.org/publication/Ramalingam00},
  cites = {0},
  citedby = {0},
  pages = {233-241},
  booktitle = {PLDI},
}

@inproceedings{FieldRT95,
  title = {Parametric Program Slicing},
  author = {John Field and Ganesan Ramalingam and Frank Tip},
  year = {1995},
  tags = {slicing},
  researchr = {https://researchr.org/publication/FieldRT95},
  cites = {1},
  citedby = {0},
  pages = {379-392},
  booktitle = {POPL},
}

@inproceedings{WalensteinECEMPRG06,
  title = {Similarity in Programs},
  author = {Andrew Walenstein and Mohammad El-Ramly and James R.  Cordy and William S. Evans and Kiarash Mahdavi and Markus Pizka and Ganesan Ramalingam and Jürgen Wolff von Gudenberg},
  year = {2006},
  url = {http://drops.dagstuhl.de/opus/volltexte/2007/968},
  researchr = {https://researchr.org/publication/WalensteinECEMPRG06},
  cites = {0},
  citedby = {0},
  booktitle = {Duplication, Redundancy, and Similarity in Software, 23.07. - 26.07.2006},
  editor = {Rainer Koschke and Ettore Merlo and Andrew Walenstein},
  volume = {06301},
  series = {Dagstuhl Seminar Proceedings},
  publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
}

@article{Ramalingam02:0,
  title = {On loops, dominators, and dominance frontiers},
  author = {Ganesan Ramalingam},
  year = {2002},
  doi = {10.1145/570886.570887},
  url = {http://doi.acm.org/10.1145/570886.570887},
  researchr = {https://researchr.org/publication/Ramalingam02%3A0},
  cites = {0},
  citedby = {0},
  journal = {ACM Transactions on Programming Languages and Systems},
  volume = {24},
  number = {5},
  pages = {455-490},
}

@inproceedings{KomondoorR07,
  title = {Recovering Data Models via Guarded Dependences},
  author = {Raghavan Komondoor and Ganesan Ramalingam},
  year = {2007},
  doi = {10.1109/WCRE.2007.40},
  url = {http://doi.ieeecomputersociety.org/10.1109/WCRE.2007.40},
  tags = {data-flow},
  researchr = {https://researchr.org/publication/KomondoorR07},
  cites = {0},
  citedby = {0},
  pages = {110-119},
  booktitle = {14th Working Conference on Reverse Engineering (WCRE 2007), 28-31 October 2007, Vancouver, BC, Canada},
  publisher = {IEEE Computer Society},
}

@inproceedings{RamalingamFT99,
  title = {Aggregate Structure Identification and Its Application to Program Analysis},
  author = {Ganesan Ramalingam and John Field and Frank Tip},
  year = {1999},
  doi = {10.1145/292540.292553},
  url = {http://doi.acm.org/10.1145/292540.292553},
  tags = {program analysis, analysis},
  researchr = {https://researchr.org/publication/RamalingamFT99},
  cites = {0},
  citedby = {0},
  pages = {119-132},
  booktitle = {POPL},
}

@inproceedings{ManevichBCRS07,
  title = {Shape Analysis by Graph Decomposition},
  author = {Roman Manevich and Josh Berdine and Byron Cook and Ganesan Ramalingam and Mooly Sagiv},
  year = {2007},
  doi = {10.1007/978-3-540-71209-1_3},
  url = {http://dx.doi.org/10.1007/978-3-540-71209-1_3},
  tags = {analysis, graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/ManevichBCRS07},
  cites = {0},
  citedby = {0},
  pages = {3-18},
  booktitle = {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, Proceedi},
  editor = {Orna Grumberg and Michael Huth},
  volume = {4424},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-71208-4},
}

@inproceedings{AttiyaRR10,
  title = {Sequential verification of serializability},
  author = {Hagit Attiya and Ganesan Ramalingam and Noam Rinetzky},
  year = {2010},
  doi = {10.1145/1706299.1706305},
  url = {http://doi.acm.org/10.1145/1706299.1706305},
  researchr = {https://researchr.org/publication/AttiyaRR10},
  cites = {0},
  citedby = {0},
  pages = {31-42},
  booktitle = {Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010},
  editor = {Manuel V. Hermenegildo and Jens Palsberg},
  publisher = {ACM},
  isbn = {978-1-60558-479-9},
}

@article{RamalingamR96:0,
  title = {On the Computational Complexity of Dynamic Graph Problems},
  author = {Ganesan Ramalingam and Thomas W. Reps},
  year = {1996},
  doi = {10.1016/0304-3975(95)00079-8},
  url = {http://dx.doi.org/10.1016/0304-3975(95)00079-8},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/RamalingamR96%3A0},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {158},
  number = {1&2},
  pages = {233-277},
}

@article{RamalingamR88,
  title = {Total Domination in Interval Graphs Revisited},
  author = {Ganesan Ramalingam and C. Pandu Rangan},
  year = {1988},
  tags = {graph-rewriting, C++, rewriting},
  researchr = {https://researchr.org/publication/RamalingamR88},
  cites = {0},
  citedby = {0},
  journal = {Inf. Process. Lett.},
  volume = {27},
  number = {1},
  pages = {17-21},
}

@inproceedings{RamalingamR91:0,
  title = {A Theory of Program Modifications},
  author = {Ganesan Ramalingam and Thomas W. Reps},
  year = {1991},
  researchr = {https://researchr.org/publication/RamalingamR91%3A0},
  cites = {0},
  citedby = {0},
  pages = {137-152},
  booktitle = {TAPSOFT 91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Developmemnt},
  editor = {Samson Abramsky and T. S. E. Maibaum},
  volume = {494},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-53981-6},
}

@inproceedings{RamalingamKFS06,
  title = {Semantics-based reverse engineering of object-oriented data models},
  author = {Ganesan Ramalingam and Raghavan Komondoor and John Field and Saurabh Sinha},
  year = {2006},
  doi = {10.1145/1134313},
  url = {http://doi.acm.org/10.1145/1134313},
  tags = {semantics, rule-based, meta-model, reverse engineering, data-flow, model-driven engineering, object-role modeling, Meta-Environment},
  researchr = {https://researchr.org/publication/RamalingamKFS06},
  cites = {0},
  citedby = {0},
  pages = {192-201},
  booktitle = {28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006},
  editor = {Leon J. Osterweil and H. Dieter Rombach and Mary Lou Soffa},
  publisher = {ACM},
  isbn = {1-59593-375-1},
}

@inproceedings{BerdineLMRS08,
  title = {Thread Quantification for Concurrent Shape Analysis},
  author = {Josh Berdine and Tal Lev-Ami and Roman Manevich and Ganesan Ramalingam and Shmuel Sagiv},
  year = {2008},
  doi = {10.1007/978-3-540-70545-1_37},
  url = {http://dx.doi.org/10.1007/978-3-540-70545-1_37},
  tags = {analysis},
  researchr = {https://researchr.org/publication/BerdineLMRS08},
  cites = {0},
  citedby = {0},
  pages = {399-413},
  booktitle = {Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
  editor = {Aarti Gupta and Sharad Malik},
  volume = {5123},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-70543-7},
}

@inproceedings{ManevichRFGS02,
  title = {Compactly Representing First-Order Structures for Static Analysis},
  author = {Roman Manevich and Ganesan Ramalingam and John Field and Deepak Goyal and Shmuel Sagiv},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2477/24770196.htm},
  tags = {analysis, static analysis},
  researchr = {https://researchr.org/publication/ManevichRFGS02},
  cites = {0},
  citedby = {0},
  pages = {196-212},
  booktitle = {Static Analysis, 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002, Proceedings},
  editor = {Manuel V. Hermenegildo and Germán Puebla},
  volume = {2477},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-44235-9},
}

@inproceedings{ManevichSRF04,
  title = {Partially Disjunctive Heap Abstraction},
  author = {Roman Manevich and Shmuel Sagiv and Ganesan Ramalingam and John Field},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3148&spage=265},
  tags = {abstraction},
  researchr = {https://researchr.org/publication/ManevichSRF04},
  cites = {0},
  citedby = {0},
  pages = {265-279},
  booktitle = {Static Analysis, 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings},
  editor = {Roberto Giacobazzi},
  volume = {3148},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-22791-1},
}
@proceedings{aplas:2008,
  title = {Programming Languages and Systems, 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings},
  year = {2008},
  tags = {programming languages, programming},
  researchr = {https://researchr.org/publication/aplas%3A2008},
  cites = {0},
  citedby = {0},
  booktitle = {Programming Languages and Systems, 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings},
  conference = {aplas},
  editor = {Ganesan Ramalingam},
  volume = {5356},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-89329-5},
}

@proceedings{pepm:2007,
  title = {Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007, Nice, France, January 15-16, 2007},
  year = {2007},
  tags = {semantics, partial evaluation},
  researchr = {https://researchr.org/publication/pepm%3A2007},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007, Nice, France, January 15-16, 2007},
  conference = {PEPM},
  editor = {Ganesan Ramalingam and Eelco Visser},
  publisher = {ACM},
  isbn = {978-1-59593-620-2},
}

@proceedings{dagstuhl:2006P6302,
  title = {Aspects For Legacy Applications, 26.07. - 29.07.2006},
  year = {2007},
  researchr = {https://researchr.org/publication/dagstuhl%3A2006P6302},
  cites = {0},
  citedby = {0},
  booktitle = {Aspects For Legacy Applications, 26.07. - 29.07.2006},
  conference = {Dagstuhl},
  editor = {Siobhán Clarke and Leon Moonen and Ganesan Ramalingam},
  volume = {06302},
  series = {Dagstuhl Seminar Proceedings},
  publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
}