PaperAn Incremental Algorithm for a Generalization of the Shortest-Path ProblemG. Ramalingam, Thomas RepsJournal of Algorithms
PaperThe Undecidability of AliasingG. RamalingamACM Transactions on Programming Languages and Systems (TOPLAS)