On loops, dominators, and dominance frontier
- G. Ramalingam
- 2000
- PLDI 2000
Publications
Date
Featured collections
Popular topics
30 results for G. Ramalingam
Semantics-based reverse engineering of object-oriented data models
- G. Ramalingam
- Raghavan Komondoor
- et al.
- 2006
- ICSE 2006
Verifying safety properties using separation and heterogeneous abstractions
- Eran Yahav
- G. Ramalingam
- 2004
- PLDI 2004
Deriving specialized program analyses for certifying component-client conformance
- G. Ramalingam
- Alex Warshavsky
- et al.
- 2002
- PLDI 2002
Member lookup algorithm for C++
- G. Ramalingam
- Harini Srinivasan
- 1997
- PLDI 1997
Data flow frequency analysis
- G. Ramalingam
- 1996
- PLDI 1996
Dependent types for program understanding
- Raghavan Komondoor
- G. Ramalingam
- et al.
- 2005
- TACAS - ETAPS 2005
Identifying Procedural Structure in Cobol Programs
- John Field
- G. Ramalingam
- 1999
- PASTE 1999
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