The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ganesan Ramalingam: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ganesan Ramalingam, Raghavan Komondoor, John Field, Saurabh Sinha
    Semantics-based reverse engineering of object-oriented data models. [Citation Graph (0, 0)][DBLP]
    ICSE, 2006, pp:192-201 [Conf]
  2. Roman Manevich, Shmuel Sagiv, Ganesan Ramalingam, John Field
    Partially Disjunctive Heap Abstraction. [Citation Graph (0, 0)][DBLP]
    SAS, 2004, pp:265-279 [Conf]
  3. Raghavan Komondoor, Ganesan Ramalingam, Satish Chandra, John Field
    Dependent Types for Program Understanding. [Citation Graph (0, 0)][DBLP]
    TACAS, 2005, pp:157-173 [Conf]
  4. Roman Manevich, Eran Yahav, Ganesan Ramalingam, Shmuel Sagiv
    Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2005, pp:181-198 [Conf]
  5. John Field, Deepak Goyal, Ganesan Ramalingam, Eran Yahav
    Typestate verification: Abstraction techniques and complexity results. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2005, v:58, n:1-2, pp:57-82 [Journal]
  6. Noam Rinetzky, Arnd Poetzsch-Heffter, Ganesan Ramalingam, Mooly Sagiv, Eran Yahav
    Modular Shape Analysis for Dynamically Encapsulated Programs. [Citation Graph (0, 0)][DBLP]
    ESOP, 2007, pp:220-236 [Conf]

  7. Abstract Transformers for Thread Correlation Analysis. [Citation Graph (, )][DBLP]


  8. 06302 Summary -- Aspects For Legacy Applications. [Citation Graph (, )][DBLP]


  9. 06302 Abstracts Collection -- Aspects For Legacy Applications. [Citation Graph (, )][DBLP]


  10. Similarity in Programs. [Citation Graph (, )][DBLP]


  11. Safe programmable speculative parallelism. [Citation Graph (, )][DBLP]


  12. Heap Decomposition for Concurrent Shape Analysis. [Citation Graph (, )][DBLP]


  13. Bottom-Up Shape Analysis. [Citation Graph (, )][DBLP]


  14. Mining Quantified Temporal Rules: Formalism, Algorithms, and Evaluation. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002