|
Search the dblp DataBase
Ganesan Ramalingam:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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]
- Roman Manevich, Shmuel Sagiv, Ganesan Ramalingam, John Field
Partially Disjunctive Heap Abstraction. [Citation Graph (0, 0)][DBLP] SAS, 2004, pp:265-279 [Conf]
- Raghavan Komondoor, Ganesan Ramalingam, Satish Chandra, John Field
Dependent Types for Program Understanding. [Citation Graph (0, 0)][DBLP] TACAS, 2005, pp:157-173 [Conf]
- 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]
- 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]
- 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]
Abstract Transformers for Thread Correlation Analysis. [Citation Graph (, )][DBLP]
06302 Summary -- Aspects For Legacy Applications. [Citation Graph (, )][DBLP]
06302 Abstracts Collection -- Aspects For Legacy Applications. [Citation Graph (, )][DBLP]
Similarity in Programs. [Citation Graph (, )][DBLP]
Safe programmable speculative parallelism. [Citation Graph (, )][DBLP]
Heap Decomposition for Concurrent Shape Analysis. [Citation Graph (, )][DBLP]
Bottom-Up Shape Analysis. [Citation Graph (, )][DBLP]
Mining Quantified Temporal Rules: Formalism, Algorithms, and Evaluation. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.002secs
|