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