An(other) Integration of Logic and Functional Programming. - Amitabh Srivastava; Don Oxley; Aditya Srivastava (SLP, 1985)

A Note on Hennessy's "Symbolic Debugging of Optimized Code". - David W. Wall; Amitabh Srivastava; Fred Templin (ACM Trans. Program. Lang. Syst., 1985)

Recovery of Noncurrent Variables in Source-Level Debugging of Optimized Code. - Amitabh Srivastava (FSTTCS, 1986)

Unreachable Procedures in Object-Oriented Programming. - Amitabh Srivastava (LOPLAS, 1992)

ATOM - A System for Building Customized Program Analysis Tools. - Amitabh Srivastava; Alan Eustace (PLDI, 1994)

ATOM: a system for building customized program analysis tools (with retrospective) - Amitabh Srivastava; Alan Eustace (Best of PLDI, 1994)

Link-Time Optimization of Address Calculation on a 64-bit Architecture. - Amitabh Srivastava; David W. Wall (PLDI, 1994)

The predictability of branches in libraries. - Brad Calder; Dirk Grunwald; Amitabh Srivastava (MICRO, 1995)

ATOM: A Flexible Interface for Building High Performance Program Analysis Tools. - Alan Eustace; Amitabh Srivastava (USENIX, 1995)

Performance Implications of Multiple Pointer Sizes. - Jeffrey C. Mogul; Joel F. Bartlett; Robert N. Mayo; Amitabh Srivastava (USENIX, 1995)

Emerging opportunities for binary tools. - Amitabh Srivastava (SIGARCH Comput. Archit. News, 2001)

Effectively prioritizing tests in development environment. - Amitabh Srivastava; Jay Thiagarajan (ISSTA, 2002)

Engineering Quality Software. - Amitabh Srivastava (ICFEM, 2004)

Coeliac disease novel histological quantification. - Kamran Rostami; Amitabh Srivastava (Comput. Biol. Medicine, 2019)