Amitabh Srivastava

According to our database, Amitabh Srivastava authored at least 14 papers between 1985 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Coeliac disease novel histological quantification.

Kamran Rostami, Amitabh Srivastava

Comput. Biol. Medicine, 2019

2004

Engineering Quality Software.

Amitabh Srivastava

Proceedings of the Formal Methods and Software Engineering, 2004

2002

Effectively prioritizing tests in development environment.

Amitabh Srivastava, Jay Thiagarajan

Proceedings of the International Symposium on Software Testing and Analysis, 2002

2001

Emerging opportunities for binary tools.

Amitabh Srivastava

SIGARCH Comput. Archit. News, 2001

1995

Performance Implications of Multiple Pointer Sizes.

Jeffrey C. Mogul, Joel F. Bartlett, Robert N. Mayo, Amitabh Srivastava

Proceedings of the USENIX 1995 Technical Conference on UNIX and Advanced Computing Systems, 1995

ATOM: A Flexible Interface for Building High Performance Program Analysis Tools.

Alan Eustace, Amitabh Srivastava

Proceedings of the USENIX 1995 Technical Conference on UNIX and Advanced Computing Systems, 1995

The predictability of branches in libraries.

Brad Calder, Dirk Grunwald, Amitabh Srivastava

Proceedings of the 28th Annual International Symposium on Microarchitecture, Ann Arbor, Michigan, USA, November 29, 1995

1994

Link-Time Optimization of Address Calculation on a 64-bit Architecture.

Amitabh Srivastava, David W. Wall

Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation (PLDI), 1994

ATOM: a system for building customized program analysis tools (with retrospective)

Amitabh Srivastava, Alan Eustace

Proceedings of the 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, 1994

ATOM - A System for Building Customized Program Analysis Tools.

Amitabh Srivastava, Alan Eustace

Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation (PLDI), 1994

1992

Unreachable Procedures in Object-Oriented Programming.

Amitabh Srivastava

LOPLAS, 1992

1986

Recovery of Noncurrent Variables in Source-Level Debugging of Optimized Code.

Amitabh Srivastava

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1986

1985

A Note on Hennessy's "Symbolic Debugging of Optimized Code".

David W. Wall, Amitabh Srivastava, Fred Templin

ACM Trans. Program. Lang. Syst., 1985

An(other) Integration of Logic and Functional Programming.

Amitabh Srivastava, Don Oxley, Aditya Srivastava

Proceedings of the 1985 Symposium on Logic Programming, 1985