Amitabh Srivastava

dblp:66/1311 · DBLP profile ↗
← Back
9ranked-venue papers
5as first author
0since 2021 · last 2004
0009-0006-3006-4437ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 5 · 4 first-authorSystems, architecture and hardware · 3Theory of computation · 1 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
5 papers
Compilers and program optimization · 46% Software testing · 33% Program analysis · 14%
Computer architecture, parallel and distributed computing, and storage systems
2 papers
Processor architecture and microarchitecture · 100%

Topics — the 12 heaviest of 12, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Software testing › regression testing
test case prioritization
0.012002
Effectively prioritizing tests in development environment · ISSTA 2002
Compilers and program optimization › dynamic optimization
profile-guided optimization
0.011995
The predictability of branches in libraries · MICRO 1995
Processor architecture and microarchitecture
branch prediction
0.011995
The predictability of branches in libraries · MICRO 1995
Compilers and program optimization › loop optimization
address arithmetic optimization
0.011994
Link-Time Optimization of Address Calculation on a 64-bit Architecture · PLDI 1994
Compilers and program optimization › interprocedural optimization
link-time optimization
0.011994
Link-Time Optimization of Address Calculation on a 64-bit Architecture · PLDI 1994
Program analysis
program analysis infrastructure
0.011994
ATOM - A System for Building Customized Program Analysis Tools · PLDI 1994
Compilers and program optimization
program instrumentation
0.011994
ATOM - A System for Building Customized Program Analysis Tools · PLDI 1994
Program analysis
dynamic analysis
0.011994
ATOM - A System for Building Customized Program Analysis Tools · PLDI 1994
Processor architecture and microarchitecture
instruction set architecture
0.011994
Link-Time Optimization of Address Calculation on a 64-bit Architecture · PLDI 1994
Debugging and program repair › software debugging
debugging optimized code
0.011985
A Note on Hennessy's "Symbolic Debugging of Optimized Code" · ACM Trans. Program. Lang. Syst. 1985
Debugging and program repair › automated debugging
symbolic debugging
0.011985
A Note on Hennessy's "Symbolic Debugging of Optimized Code" · ACM Trans. Program. Lang. Syst. 1985
Compilers and program optimization
compiler optimization
0.011985
A Note on Hennessy's "Symbolic Debugging of Optimized Code" · ACM Trans. Program. Lang. Syst. 1985

Methods — techniques the papers use, named apart from their topics

profiling · 0.0whole-program optimization · 0.0code instrumentation · 0.0symbolic execution · 0.0
YearPublicationVenuePosition
2004 Engineering Quality Software
Amitabh Srivastava
ICFEM1
2002 Effectively prioritizing tests in development environment
Amitabh Srivastava, Jay Thiagarajan
ISSTA1
1995 The predictability of branches in libraries
abstract
Profile-based optimizations are being used with increasing frequency. Profile information can be used to improve instruction scheduling, code layout, and to increase instruction level parallelism. These optimizations have been shown to be effective when they are applied to the same program from which the profile was gathered. However it is an open question how profile-based optimizations should be applied to library subroutines. If many programs use libraries in the same way, it may be possible to "preoptimize" a library or to use an optimized shared library. This study examines the use of commonly used libraries among 43 C and FORTRAN programs to see if the libraries have common behavior across different programs. We examine the behavior of the most commonly used Unix libraries on Digital Unix. We found that libraries have very predictable behavior between applications. This implies that profile-based compiler optimizations may be effective far libraries across different applications. Therefore, one can use profile optimizations on shared and non-shared libraries before they are shipped, allowing a program using those libraries to take advantage of profile-based optimizations without having to gather any profiles. All results in this study are shown using branch misprediction rates. We feel this metric indicates the likelihood that programs have similar behavior and allows comparison to earlier branch prediction studies.
Brad Calder, Dirk Grunwald, Amitabh Srivastava
MICRO3
1995 ATOM: A Flexible Interface for Building High Performance Program Analysis Tools
Alan Eustace, Amitabh Srivastava
USENIX2
1995 Performance Implications of Multiple Pointer Sizes
Jeffrey C. Mogul, Joel F. Bartlett, Robert N. Mayo, Amitabh Srivastava
USENIX4
1994 ATOM - A System for Building Customized Program Analysis Tools
abstract
ATOM (Analysis Tools with OM) is a single framework for building a wide range of customized program analysis tools. It provides the common infrastructure present in all code-instrumenting tools; this is the difficult and time-consuming part. The user simply defines the tool-specific details in instrumentation and analysis routines. Building a basic block counting tool like Pixie with ATOM requires only a page of code.
Amitabh Srivastava, Alan Eustace
PLDI1
1994 Link-Time Optimization of Address Calculation on a 64-bit Architecture
abstract
Compilers for new machines with 64-bit addresses must generate code that works when the memory used by the program is large. Procedures and global variables are accessed indirectly via global address tables, and calling conventions include code to establish the addressability of the appropriate tables. In the common case of a program that does not require a lot of memory, all of this can be simplified considerably, with a corresponding reduction in program size and execution time. We have used our link-time code modification system OM to perform program transformations related to global address use on the Alpha AXP. Though simple, many of these are whole-program optimizations that can be done only when we can see the entire program at once, so link-time is an ideal occasion to perform them. This paper describes the optimizations performed and shows their effects on program size and performance. Relatively modest transformations, possible without moving code, improve the p...
Amitabh Srivastava, David W. Wall
PLDI1
1986 Recovery of Noncurrent Variables in Source-Level Debugging of Optimized Code
Amitabh Srivastava
FSTTCS1
1985 A Note on Hennessy's "Symbolic Debugging of Optimized Code"
abstract
article Free Access Share on A note on Hennessy's “symbolic debugging of optimized code” Authors: David Wall Computer Science Department, Whitmore Laboratory, The Pennsylvania State University, University Park, PA Computer Science Department, Whitmore Laboratory, The Pennsylvania State University, University Park, PAView Profile , Amitabh Srivastava Computer Science Department, Whitmore Laboratory, The Pennsylvania State University, University Park, PA Computer Science Department, Whitmore Laboratory, The Pennsylvania State University, University Park, PAView Profile , Fred Templin Computer Science Department, Whitmore Laboratory, The Pennsylvania State University, University Park, PA Computer Science Department, Whitmore Laboratory, The Pennsylvania State University, University Park, PAView Profile Authors Info & Claims ACM Transactions on Programming Languages and SystemsVolume 7Issue 1pp 176–181https://doi.org/10.1145/2363.215005Published:02 January 1985Publication History 14citation167DownloadsMetricsTotal Citations14Total Downloads167Last 12 Months14Last 6 weeks2 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF
David W. Wall, Amitabh Srivastava, Fred Templin
ACM Trans. Program. Lang. Syst.2