Abstract execution: a technique for efficiently tracing programs

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Abstract execution: a technique for efficiently tracing programs

Source

Software—Practice & Experience archive
Volume 20 , Issue 12 (December 1990) table of contents

Pages: 1241 - 1258

Year of Publication: 1990

ISSN:0038-0644

Author

J. R. Larus

Publisher

John Wiley & Sons, Inc. New York, NY, USA

Bibliometrics

Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Citation Count: 41

Additional Information:

cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	10.1002/spe.4380201205

CITED BY 41

	Amer Diwan , David Tarditi , Eliot Moss, Memory subsystem performance of programs using copying garbage collection, Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.1-14, January 16-19, 1994, Portland, Oregon, United States
	Trishul M. Chilimbi, Efficient representations and abstractions for quantifying and exploiting data reference locality, ACM SIGPLAN Notices, v.36 n.5, p.191-202, May 2001
	Amer Diwan , David Tarditi , Eliot Moss, Memory system performance of programs with intensive heap allocation, ACM Transactions on Computer Systems (TOCS), v.13 n.3, p.244-273, Aug. 1995
	Christine Morin , Alain Gefflaut , Michel Banâtre , Anne-Marie Kermarrec, COMA: an opportunity for building fault-tolerant scalable shared memory multiprocessors, ACM SIGARCH Computer Architecture News, v.24 n.2, p.56-65, May 1996
	Mary Jean Harrold , Loren Larsen , John Lloyd , David Nedved , Melanie Page , Gregg Rothermel , Manvinder Singh , Michael Smith, Aristotle: a system for development of program analysis based tools, Proceedings of the 33rd annual on Southeast regional conference, March 17-18, 1995, Clemson, South Carolina
	David A. Barrett , Benjamin G. Zorn, Using lifetime predictors to improve memory allocation performance, ACM SIGPLAN Notices, v.28 n.6, p.187-196, June 1993
	J. K. Hollingsworth , B. P. Miller, Parallel program performance metrics: a comprison and validation, Proceedings of the 1992 ACM/IEEE conference on Supercomputing, p.4-13, November 16-20, 1992, Minneapolis, Minnesota, United States
	Thomas E. Willis , George B. Adams, III, Portable, continuous recording of complete computer behavior with low overhead (extended abstract), ACM SIGMETRICS Performance Evaluation Review, v.26 n.1, p.276-277, June 1998
	Robert H. B. Netzer , Mark H. Weaver, Optimal tracing and incremental reexecution for debugging long-running programs, ACM SIGPLAN Notices, v.29 n.6, p.313-325, June 1994
	Benjamin Zorn , Dirk Grunwald, Evaluating models of memory allocation, ACM Transactions on Modeling and Computer Simulation (TOMACS), v.4 n.1, p.107-131, Jan. 1994
	Thomas Ball , James R. Larus, Optimally profiling and tracing programs, Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.59-70, January 19-22, 1992, Albuquerque, New Mexico, United States
	James R. Larus , Eric Schnarr, EEL: machine-independent executable editing, ACM SIGPLAN Notices, v.30 n.6, p.291-300, June 1995
	James R. Larus, Whole program paths, ACM SIGPLAN Notices, v.34 n.5, p.259-269, May 1999
	William J. Bolosky , Michael L. Scott , Robert P. Fitzgerald , Robert J. Fowler , Alan L. Cox, NUMA policies and their relation to memory architecture, ACM SIGARCH Computer Architecture News, v.19 n.2, p.212-221, Apr. 1991
	Eric J. Koldinger , Susan J. Eggers , Henry M. Levy, On the validity of trace-driven simulation for multiprocessors, ACM SIGARCH Computer Architecture News, v.19 n.3, p.244-253, May 1991
	Thomas J. Ostrand , Elaine J. Weyuker, Data flow-based test adequacy analysis for languages with pointers, Proceedings of the symposium on Testing, analysis, and verification, p.74-86, October 08-10, 1991, Victoria, British Columbia, Canada
	J. R. Larus, Loop-Level Parallelism in Numeric and Symbolic Programs, IEEE Transactions on Parallel and Distributed Systems, v.4 n.7, p.812-826, July 1993
	Richard A. Uhlig , Trevor N. Mudge, Trace-driven memory simulation: a survey, ACM Computing Surveys (CSUR), v.29 n.2, p.128-170, June 1997
	Thomas Ball , James R. Larus, Optimally profiling and tracing programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.16 n.4, p.1319-1360, July 1994
	Computer Staff, Efficient program tracing, Computer, v.26 n.5, p.52-61, May 1993
	Chen Ding , Yutao Zhong, Compiler-directed run-time monitoring of program data access, ACM SIGPLAN Notices, v.38 n.2 supplement, p.1-12, February 2003
	Christine Morin , Anne-Marie Kermarrec , Michel Banâtre , Alain Gefflaut, An Efficient and Scalable Approach for Implementing Fault-Tolerant DSM Architectures, IEEE Transactions on Computers, v.49 n.5, p.414-430, May 2000
	Michel Banâtre , Alain Gefflaut , Philippe Joubert , Christine Morin , Peter A. Lee, An Architecture for Tolerating Processor Failures in Shared-Memory Multiprocessors, IEEE Transactions on Computers, v.45 n.10, p.1101-1115, October 1996
	Computer Staff, Efficient program tracing, Computer, v.26 n.5, p.52-61, May 1993
	Ramakrishnan Rajamony , Alan L. Cox, Performance debugging shared memory parallel programs using run-time dependence analysis, ACM SIGMETRICS Performance Evaluation Review, v.25 n.1, p.75-87, June 1997
	P. Pereira , L. Heutte , Y. Lecourtier, Source-to-Source Instrumentation for the Optimization of an Automatic Reading System, The Journal of Supercomputing, v.18 n.1, p.89-104, Jan. 2001
	M. A. Holliday , C. S. Ellis, Accuracy of Memory Reference Traces of Parallel Computations in Trace-Drive Simulation, IEEE Transactions on Parallel and Distributed Systems, v.3 n.1, p.97-109, January 1992
	Martin Burtscher, VPC3: a fast and effective trace-compression algorithm, ACM SIGMETRICS Performance Evaluation Review, v.32 n.1, June 2004
	Manos Renieris , Shashank Ramaprasad , Steven P. Reiss, Arithmetic program paths, ACM SIGSOFT Software Engineering Notes, v.30 n.5, September 2005
	Bryan Buck , Jeffrey K. Hollingsworth, An API for Runtime Code Patching, International Journal of High Performance Computing Applications, v.14 n.4, p.317-329, November 2000
	Martin Burtscher , Ilya Ganusov , Sandra J. Jackson , Jian Ke , Paruj Ratanaworabhan , Nana B. Sam, The VPC Trace-Compression Algorithms, IEEE Transactions on Computers, v.54 n.11, p.1329-1344, November 2005
	Ariel N. Burton , Paul H. J. Kelly, Performance prediction of paging workloads using lightweight tracing, Future Generation Computer Systems, v.22 n.7, p.784-793, August 2006
	Mark D. Hill , James R. Larus , Alvin R. Lebeck , Madhusudhan Talluri , David A. Wood, Wisconsin Architectural Research Tool Set, ACM SIGARCH Computer Architecture News, v.21 n.4, p.8-10, Sept. 1993
	Christian Ferdinand , Reinhard Wilhelm, Efficient and Precise Cache Behavior Prediction for Real-TimeSystems, Real-Time Systems, v.17 n.2-3, p.131-181, Nov. 1999
	Martin Burtscher , Nana B. Sam, Automatic Generation of High-Performance Trace Compressors, Proceedings of the international symposium on Code generation and optimization, p.229-240, March 20-23, 2005
	Vladimir D. Zivkovic , Erwin de Kock , Pieter van der Wolf , Ed Deprettere, Fast and Accurate Multiprocessor Architecture Exploration with Symbolic Programs, Proceedings of the conference on Design, Automation and Test in Europe, p.10656, March 03-07, 2003
	Benjamin Zorn , Dirk Grunwald, Empirical measurements of six allocation-intensive C programs, ACM SIGPLAN Notices, v.27 n.12, p.71-80, Dec. 1992
	John F. Reiser , Joseph P. Skudlarek, Program profiling problems, and a solution via machine language rewriting, ACM SIGPLAN Notices, v.29 n.1, p.37-45, Jan. 1994
	Yutao Zhong , Wentao Chang, Sampling-based program locality approximation, Proceedings of the 7th international symposium on Memory management, June 07-08, 2008, Tucson, AZ, USA
	Tao Wang , Abhik Roychoudhury, Dynamic slicing on Java bytecode traces, ACM Transactions on Programming Languages and Systems (TOPLAS), v.30 n.2, p.1-49, March 2008
	Ahmet Özmen, An entropy-based algorithm for data elimination in time-driven software instrumentation, Journal of Systems and Software, v.82 n.5, p.907-913, May, 2009