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