@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 = {PLDI},
}

@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 = {ISSTA},
}

@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 = {aplas},
}

@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 = {ccs},
}

@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 = {vstte},
}

@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 = {Dagstuhl},
}

@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 = {IBMSJ},
  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 = {SAS},
}

@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 = {TOPLAS},
  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 = {WCRE},
}

@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 = {POPL},
}

@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 = {POPL},
}

@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 = {amast},
}

@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 = {ipl},
  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 = {ESOP},
}

@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 = {TOPLAS},
  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 = {TOPLAS},
  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 = {asplos},
}

@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 = {ipl},
  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 = {SCP},
  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 = {birthday},
}

@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 = {SAS},
}

@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 = {Dagstuhl},
}

@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 = {jal},
  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 = {SAS},
}

@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 = {TCS},
  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 = {vmcai},
}

@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 = {TOSEM},
  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 = {ipl},
  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 = {SAS},
}

@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 = {TOPLAS},
  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 = {WCRE},
}

@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 = {SCP},
  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 = {ESOP},
}

@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 = {mms},
  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 = {TACAS},
}

@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 = {Dagstuhl},
}

@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 = {TOPLAS},
  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 = {WCRE},
}

@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 = {TACAS},
}

@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 = {POPL},
}

@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 = {TCS},
  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 = {ipl},
  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},
}

@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 = {ICSE},
}

@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 = {cav},
}

@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 = {SAS},
}

@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 = {SAS},
}
@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},
}