Publications

30 results for G. Ramalingam

On the complexity of partially-flow-sensitive alias analysis
- - N. Rinetzky
  - G. Ramalingam
  - et al.
- 2008
- ACM TOPLAS
Effective typestate verification in the presence of aliasing
- - Stephen Fink
  - Eran Yahav
  - et al.
- 2006
- ISSTA 2006
Aspects For Legacy Applications: Summary of Dagstuhl Seminar 06302
- - Leon Moonen
  - G. Ramalingam
  - et al.
- 2006
- Dagstuhl Seminar Proceedings 2006
Semantics-based reverse engineering of object-oriented data models
- - G. Ramalingam
  - Raghavan Komondoor
  - et al.
- 2006
- ICSE 2006
Technical forum: Using logical data models for understanding and transforming legacy business applications
- - Satish Chandra
  - Jackie de Vries
  - et al.
- 2006
- IBM Systems Journal
Typestate verification: Abstraction techniques and complexity results
- - J. Field
  - D. Goyal
  - et al.
- 2005
- Science of Computer Programming
Dependent types for program understanding
- - Raghavan Komondoor
  - G. Ramalingam
  - et al.
- 2005
- TACAS - ETAPS 2005
Predicate abstraction and canonical abstraction for singly-linked lists
- - Roman Manevich
  - E. Yahav
  - et al.
- 2005
- VMCAI 2005
Verifying safety properties using separation and heterogeneous abstractions
- - Eran Yahav
  - G. Ramalingam
- 2004
- PLDI 2004
On loops, dominators, and dominance frontiers
- - G. Ramalingam
- 2002
- ACM TOPLAS