EDBT 2026 Demo / reviewers in the wild / expert
Amitabh Srivastava
dblp:66/1311
· DBLP profile ↗
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
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Software testing › regression testing
test case prioritization |
0.0 | 1 | 2002 | Effectively prioritizing tests in development environment · ISSTA 2002 |
Compilers and program optimization › dynamic optimization
profile-guided optimization |
0.0 | 1 | 1995 | The predictability of branches in libraries · MICRO 1995 |
Processor architecture and microarchitecture
branch prediction |
0.0 | 1 | 1995 | The predictability of branches in libraries · MICRO 1995 |
Compilers and program optimization › loop optimization
address arithmetic optimization |
0.0 | 1 | 1994 | Link-Time Optimization of Address Calculation on a 64-bit Architecture · PLDI 1994 |
Compilers and program optimization › interprocedural optimization
link-time optimization |
0.0 | 1 | 1994 | Link-Time Optimization of Address Calculation on a 64-bit Architecture · PLDI 1994 |
Program analysis
program analysis infrastructure |
0.0 | 1 | 1994 | ATOM - A System for Building Customized Program Analysis Tools · PLDI 1994 |
Compilers and program optimization
program instrumentation |
0.0 | 1 | 1994 | ATOM - A System for Building Customized Program Analysis Tools · PLDI 1994 |
Program analysis
dynamic analysis |
0.0 | 1 | 1994 | ATOM - A System for Building Customized Program Analysis Tools · PLDI 1994 |
Processor architecture and microarchitecture
instruction set architecture |
0.0 | 1 | 1994 | Link-Time Optimization of Address Calculation on a 64-bit Architecture · PLDI 1994 |
Debugging and program repair › software debugging
debugging optimized code |
0.0 | 1 | 1985 | 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.0 | 1 | 1985 | A Note on Hennessy's "Symbolic Debugging of Optimized Code" · ACM Trans. Program. Lang. Syst. 1985 |
Compilers and program optimization
compiler optimization |
0.0 | 1 | 1985 | 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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2004 | Engineering Quality Software
Amitabh Srivastava |
ICFEM | 1 |
| 2002 | Effectively prioritizing tests in development environment
Amitabh Srivastava, Jay Thiagarajan |
ISSTA | 1 |
| 1995 | The predictability of branches in librariesabstractProfile-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 |
MICRO | 3 |
| 1995 | ATOM: A Flexible Interface for Building High Performance Program Analysis Tools
Alan Eustace, Amitabh Srivastava |
USENIX | 2 |
| 1995 | Performance Implications of Multiple Pointer Sizes
Jeffrey C. Mogul, Joel F. Bartlett, Robert N. Mayo, Amitabh Srivastava |
USENIX | 4 |
| 1994 | ATOM - A System for Building Customized Program Analysis ToolsabstractATOM (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 |
PLDI | 1 |
| 1994 | Link-Time Optimization of Address Calculation on a 64-bit ArchitectureabstractCompilers 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 |
PLDI | 1 |
| 1986 | Recovery of Noncurrent Variables in Source-Level Debugging of Optimized Code
Amitabh Srivastava |
FSTTCS | 1 |
| 1985 | A Note on Hennessy's "Symbolic Debugging of Optimized Code"abstractarticle 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 |