Profiling an Incremental Data Flow Analysis Algorithm. - Barbara G. Ryder; William Landi; Hemant D. Pande (IEEE Trans. Software Eng., 1990)

Interprocedural Def-Use Associations in C Programs. - Hemant D. Pande; William Landi (Symposium on Testing, Analysis, and Verification, 1991)

Static Type Determination for C++. - Hemant D. Pande; Barbara G. Ryder (C++ Conference, 1994)

Interprocedural Def-Use Associations for C Systems with Single Level Pointers. - Hemant D. Pande; William Landi; Barbara G. Ryder (IEEE Trans. Software Eng., 1994)

Data-Flow-Based Virtual Function Resolution. - Hemant D. Pande; Barbara G. Ryder (SAS, 1996)