Article

Encoding program executions

Authors:

Steven P. Reiss and

Manos RenierisAuthors Info & Claims

ICSE '01: Proceedings of the 23rd International Conference on Software Engineering

July 2001

Pages 221 - 230

Published: 01 July 2001 Publication History

Publisher Site Get Access

Abstract

Dynamic analysis is based on collecting data as the program runs. However, raw traces tend to be too voluminous and too unstructured to be used directly for visualization and understanding. We address this problem in two phases: the first phase selects subsets of the data and then compacts it, while the second phase encodes the data in an attempt to infer its structure. Our major compaction/selection techniques include gprof-style N-depth call sequences, selection based on class, compaction based on time intervals, and encoding the whole execution as a directed acyclic graph. Our structure inference techniques include run-length encoding, context-free grammar encoding, and the building of finite state automata.

References

[1]

G. Ammons, T. Ball, and J. R. Larus. Exploiting hardware performance counters with flow and context sensitive profiling. In SIGPLAN '97 Conference on Programming Language Design and Implementation, pages 85-96, 1997.]]

Digital Library

[2]

M. H. Brown and R. Sedgewick. Interesting events. In Stasko et al. {19}, chapter 12, pages 155-171.]]

[3]

R. H. Campbell and A. N. Habermann. The specification of process scheduling by path expressions. In Lecture Notes in Computer Science, No. 16. Springer Verlag, 1974.]]

Digital Library

[4]

J. E. Cook and A. L. Wolf. Discovering models of software processes from event-based data. ACM Transactions on Software Engineering and Methodology, 7(3):215-49, July 1998.]]

Digital Library

[5]

W. De Pauw and G. Sevitsky. Visualizing reference patterns for solving memory leaks in java. In Proceedings of the 13th European Conference on Object-Oriented Programming, Lisbon, Portugal, June 1999.]]

Digital Library

[6]

M. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. In Proceedings of the 21st International Conference on Software Engineering, pages 213-225. ACM Press, May 1999.]]

Digital Library

[7]

B. R. Gaines. Behaviour/structure transformations under uncertainty. International Journal of Man-Machine Studies, 8:337-365, 1976. moves);]]

[8]

E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns. Addison Wesley, Reading, MA, 1995.]]

[9]

S. L. Graham, P. B. Kessler, and M. K. McKusick. gprof: A call graph execution profiler. In Proceedings of the SIGPLAN '82 Symposiumon Compiler Construction, pages 120-126. ACM, ACM, 1982.]]

Digital Library

[10]

J. E. Hopcroft and J. D. Ullman. Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, 1979.]]

Digital Library

[11]

D. F. Jerding, J. T. Stasko, and T. Ball. Visualizing interactions in program executions. In Proceedings of the 1997 International Conference of Software Engineering, Boston, MA, USA, May 1997.]]

Digital Library

[12]

J. R. Larus. Whole program paths. In Proceedings of the ACM SIGPLAN '99 Conference on Programming Language Design and Implementation, pages 259-269, 1999.]]

Digital Library

[13]

J. R. Larus and E. Schnarr. EEL: Machine-independent executable editing. In Proceedings of the ACM SIG-PLAN'95 Conference on Programming Language De-sign and Implementation (PLDI), pages 291-300, La Jolla, California, 18-21 June 1995.]]

Digital Library

[14]

C. G. Nevill-Manning. Inferring Sequential Structure. PhD thesis, University of Waikato, New Zealand, may 1996.]]

[15]

S. P. Reiss. Software visualization in the desert environment. ACM SIGPLAN Notices, 33(7):59-66, July 1998.]]

Digital Library

[16]

S. P. Reiss. Working with patterns and code. In Proceedings of the 33rd Hawaii International Conference on System Sciences, Jan. 2000.]]

Digital Library

[17]

S. P. Reiss and M. Renieris. Generating java trace data. In Proceedings of the ACM 2000 Java Grande,San Francisco, CA, June 2000. ACM Press.]]

Digital Library

[18]

J. Stasko. Smooth, continuous animation for portraying algorithms and processes. In Stasko et al. {19}, chapter 8, pages 103-118.]]

[19]

J. Stasko, J. Domingue, M. H. Brown, and B.A. Price editors. Software Visualization: Programming as a Multimedia Experience. M.I.T. Press, Feb.]]

[20]

D. A. Varley. Practical experience of limitations of Gprof. Software & Practice and Experience, 23(4):461-463, Apr. 1993.]]

Digital Library

[21]

J. Whaley. A portable sampling-based profiler virtual machines. In Proceedings of the ACM2000 Grande Conference, San Francisco, CA, June 2000. ACM Press.]]

Digital Library

Cited By

Xin QBehrang FFazzini MOrso ATilevich E(2019)Identifying features of Android apps from execution tracesProceedings of the 6th International Conference on Mobile Software Engineering and Systems10.5555/3340730.3340740(35-39)Online publication date: 25-May-2019
https://dl.acm.org/doi/10.5555/3340730.3340740
Mertz JNunes ILitoiu MClarke STei K(2019)On the practical feasibility of software monitoringProceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems10.1109/SEAMS.2019.00030(169-180)Online publication date: 25-May-2019
https://dl.acm.org/doi/10.1109/SEAMS.2019.00030
Motwani MBrun YAtlee JBultan TWhittle J(2019)Automatically generating precise Oracles from structured natural language specificationsProceedings of the 41st International Conference on Software Engineering10.1109/ICSE.2019.00035(188-199)Online publication date: 25-May-2019
https://dl.acm.org/doi/10.1109/ICSE.2019.00035
Show More Cited By

Index Terms

Encoding program executions

Recommendations

Compactly representing parallel program executions
PPoPP '03: Proceedings of the ninth ACM SIGPLAN symposium on Principles and practice of parallel programming

Collecting a program's execution profile is important for many reasons: code optimization, memory layout, program debugging and program comprehension. Path based execution profiles are more detailed than count based execution profiles, since they ...
Read More
Compactly representing parallel program executions
Proceedings of the ACM SIGPLAN symposium on principles and practice of parallel programming (PPoPP 2003) and workshop on partial evaluation and semantics-based program manipulation (PEPM 2003)

Collecting a program's execution profile is important for many reasons: code optimization, memory layout, program debugging and program comprehension. Path based execution profiles are more detailed than count based execution profiles, since they ...
Read More
Real-time unobtrusive program execution trace compression using branch predictor events
CASES '10: Proceedings of the 2010 international conference on Compilers, architectures and synthesis for embedded systems

Unobtrusive capturing of program execution traces in real-time is crucial in debugging cyber-physical systems. However, tracing even limited program segments is often cost-prohibitive, requiring wide trace ports and large on-chip trace buffers. This ...
Read More

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

ICSE '01: Proceedings of the 23rd International Conference on Software Engineering

July 2001

844 pages

ISBN:0769510507

Chairman:
Hausi A. Müller
Univ. of Victoria, Canada

Copyright © Copyright (c) 2001 Institute of Electrical and Electronics Engineers, Inc. All rights reserved.

Sponsors

SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

IEEE Computer Society

United States

Publication History

Published: 01 July 2001

Check for updates

Author Tags

Qualifiers

Article

Conference

ICSE01

Sponsor:

SIGSOFT

ICSE01: 23rd International Conference on Software Engineering

May 12 - 19, 2001

Ontario, Toronto, Canada

Acceptance Rates

ICSE '01 Paper Acceptance Rate 47 of 268 submissions, 18%;

Overall Acceptance Rate 276 of 1,856 submissions, 15%

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

85
Total Citations
View Citations
695
Total Downloads

Downloads (Last 12 months)2
Downloads (Last 6 weeks)0

Other Metrics

View Author Metrics

Citations

Cited By

Xin QBehrang FFazzini MOrso ATilevich E(2019)Identifying features of Android apps from execution tracesProceedings of the 6th International Conference on Mobile Software Engineering and Systems10.5555/3340730.3340740(35-39)Online publication date: 25-May-2019
https://dl.acm.org/doi/10.5555/3340730.3340740
Mertz JNunes ILitoiu MClarke STei K(2019)On the practical feasibility of software monitoringProceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems10.1109/SEAMS.2019.00030(169-180)Online publication date: 25-May-2019
https://dl.acm.org/doi/10.1109/SEAMS.2019.00030
Motwani MBrun YAtlee JBultan TWhittle J(2019)Automatically generating precise Oracles from structured natural language specificationsProceedings of the 41st International Conference on Software Engineering10.1109/ICSE.2019.00035(188-199)Online publication date: 25-May-2019
https://dl.acm.org/doi/10.1109/ICSE.2019.00035
Busany NMaoz SYulazari YZimmermann TLawall JMarinov D(2019)Size and accuracy in model inferenceProceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering10.1109/ASE.2019.00087(887-898)Online publication date: 10-Nov-2019
https://dl.acm.org/doi/10.1109/ASE.2019.00087
Amar HBao LBusany NLo DMaoz SLeavens GGarcia APăsăreanu C(2018)Using finite-state models for log differencingProceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering10.1145/3236024.3236069(49-59)Online publication date: 26-Oct-2018
https://dl.acm.org/doi/10.1145/3236024.3236069
Feng YDreef KJones Jvan Deursen AKhomh FRoy CSiegmund J(2018)Hierarchical abstraction of execution traces for program comprehensionProceedings of the 26th Conference on Program Comprehension10.1145/3196321.3196343(86-96)Online publication date: 28-May-2018
https://dl.acm.org/doi/10.1145/3196321.3196343
Enişer HSen ABai XLi JUlrich A(2018)Testing service oriented architectures using stateful service visualization via machine learningProceedings of the 13th International Workshop on Automation of Software Test10.1145/3194733.3194737(9-15)Online publication date: 28-May-2018
https://dl.acm.org/doi/10.1145/3194733.3194737
Reichelt DKühne SWolter KKnottenbelt Wvan Hoorn ANambiar MKoziolek H(2018)Better Early Than NeverCompanion of the 2018 ACM/SPEC International Conference on Performance Engineering10.1145/3185768.3186289(127-130)Online publication date: 2-Apr-2018
https://dl.acm.org/doi/10.1145/3185768.3186289
Alimadadi SMesbah APattabiraman KChaudron MCrnkovic IChechik MHarman M(2018)Inferring hierarchical motifs from execution tracesProceedings of the 40th International Conference on Software Engineering10.1145/3180155.3180216(776-787)Online publication date: 27-May-2018
https://dl.acm.org/doi/10.1145/3180155.3180216
Tarvo AReiss S(2018)Automatic performance prediction of multithreaded programsAutomated Software Engineering10.1007/s10515-017-0214-525:1(101-155)Online publication date: 1-Mar-2018
https://dl.acm.org/doi/10.1007/s10515-017-0214-5
Show More Cited By

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents