On the complexity of partially-flow-sensitive alias analysis
- N. Rinetzky
- G. Ramalingam
- et al.
- 2008
- ACM TOPLAS
Publications
Date
Featured collections
Popular topics
30 results for G. Ramalingam
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