Deriving specialized program analyses for certifying component-client conformance
- G. Ramalingam
- Alex Warshavsky
- et al.
- 2002
- PLDI 2002
Publications
Date
Featured collections
Popular topics
30 results for G. Ramalingam
On sparse evaluation representations
- G. Ramalingam
- 2002
- Theoretical Computer Science
On loops, dominators, and dominance frontier
- G. Ramalingam
- 2000
- PLDI 2000
On loops, dominators, and dominance frontier
- G. Ramalingam
- 2000
- SIGPLAN Notices (ACM Special Interest Group on Programming Languages)
Context-sensitive synchronization-sensitive analysis is undecidable
- G. Ramalingam
- 2000
- ACM TOPLAS
Identifying Procedural Structure in Cobol Programs
- John Field
- G. Ramalingam
- 1999
- PASTE 1999
Interactive authoring of multimedia documents in a constraint-based authoring system
- Junehwa Song
- G. Ramalingam
- et al.
- 1999
- Multimedia Systems
Solving systems of difference constraints incrementally
- G. Ramalingam
- Junehwa Song
- et al.
- 1999
- Algorithmica (New York)
Identifying loops in almost linear time
- G. Ramalingam
- 1999
- ACM TOPLAS
Member lookup algorithm for C++
- G. Ramalingam
- Harini Srinivasan
- 1997
- PLDI 1997