| 2004 |
| 13 | EE | Amitabh Srivastava:
Engineering Quality Software.
ICFEM 2004: 11 |
| 2002 |
| 12 | EE | Amitabh Srivastava,
Jay Thiagarajan:
Effectively prioritizing tests in development environment.
ISSTA 2002: 97-106 |
| 2001 |
| 11 | EE | Amitabh Srivastava:
Emerging opportunities for binary tools.
SIGARCH Computer Architecture News 29(1): 26 (2001) |
| 1995 |
| 10 | EE | Brad Calder,
Dirk Grunwald,
Amitabh Srivastava:
The predictability of branches in libraries.
MICRO 1995: 24-34 |
| 9 | | Jeffrey C. Mogul,
Joel F. Bartlett,
Robert N. Mayo,
Amitabh Srivastava:
Performance Implications of Multiple Pointer Sizes.
USENIX Winter 1995: 187-200 |
| 8 | | Alan Eustace,
Amitabh Srivastava:
ATOM: A Flexible Interface for Building High Performance Program Analysis Tools.
USENIX Winter 1995: 303-314 |
| 1994 |
| 7 | EE | Amitabh Srivastava,
Alan Eustace:
ATOM: a system for building customized program analysis tools (with retrospective)
Best of PLDI 1994: 528-539 |
| 6 | | Amitabh Srivastava,
Alan Eustace:
ATOM - A System for Building Customized Program Analysis Tools.
PLDI 1994: 196-205 |
| 5 | | Amitabh Srivastava,
David W. Wall:
Link-Time Optimization of Address Calculation on a 64-bit Architecture.
PLDI 1994: 49-60 |
| 1992 |
| 4 | | Amitabh Srivastava:
Unreachable Procedures in Object-Oriented Programming.
LOPLAS 1(4): 355-364 (1992) |
| 1986 |
| 3 | | Amitabh Srivastava:
Recovery of Noncurrent Variables in Source-Level Debugging of Optimized Code.
FSTTCS 1986: 36-56 |
| 1985 |
| 2 | | Amitabh Srivastava,
Don Oxley,
Aditya Srivastava:
An(other) Integration of Logic and Functional Programming.
SLP 1985: 254-260 |
| 1 | EE | David W. Wall,
Amitabh Srivastava,
Fred Templin:
A Note on Hennessy's "Symbolic Debugging of Optimized Code".
ACM Trans. Program. Lang. Syst. 7(1): 176-181 (1985) |