Article

Free access

Isolation and analysis of optimization errors

Authors:

Mickey R. Boyd,

David B. WhalleyAuthors Info & Claims

PLDI '93: Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation

Pages 26 - 35

https://doi.org/10.1145/155090.155093

Published: 01 June 1993 Publication History

PDF eReader

References

[1]

K. Andrews, R. R. Henry, and W. K. Yamamoto, "Design and Implementation of the UW Illustrated Compiler," Proceedings of the SIGPLAN '88 Symposium on Programming Language Design and Implementation, pp. 105-114 (June 1988).

Digital Library

Google Scholar

[2]

M.E. Benitez and J. W. Davidson, "A Portable Global Optimizer and Linker;' Proceedings of the SIGPLAN '88 Symposium on Programming Language Design and Implementation, pp. 329-338 (June 1988).

Digital Library

Google Scholar

[3]

J.M. Caron and P. A. Damell, "Bugfind: A Tool for Debugging Optimizing Compilers" Sigplan Notices 25(1) pp. 17-22 (January 1990).

Digital Library

Google Scholar

[4]

J. Davidson and A. Holler, "A Study of a C Function Inliner," Software--4'ractice & Experience 18(8) pp. 775-790 (August 1988).

Digital Library

Google Scholar

[5]

J.W. Davidson, "A Retargetable Instruction Reorganizer" Proceedings of the SIGPLAN ' 86 Symposium on Compiler Construction, pp. 234-241 (June 1986).

Digital Library

Google Scholar

[6]

J.W. Davidson and C. W. Fraser, "Code Selection through Object Code Optimization" Transactions on Programming Languages and Systems 6(4) pp. 7-32 (October 1984).

Digital Library

Google Scholar

[7]

J.W. Davidson and D. B. Whalley, "A Design Environment for Addressing Archit~ture and Compiler Interactions" Microprocessors and Microsystems 15(9)pp. 459-472 (November 1991).

Crossref

Google Scholar

[8]

J. Hennessy and D. Patterson, Computer Architecture: A Quantitative Approach, Morgan Kaufmann, San Mat~, CA (1990).

Digital Library

Google Scholar

[9]

F. Mueller and D. B. Whalley, "Avoiding Unconditional Jumps by Code Replication" Proceedings of the SIGPLAN '92 Conference on Programming Language Design and Implementation, pp. 322-330 (June 1992).

Digital Library

Google Scholar

[10]

W. Wulf, R. K. Johnsson, C. B. Weinstock, S. O. Hobbs, and C. M. Geschke, The Design of an Optimizing Compiler, American Elsevier, New York, NY (1975).

Digital Library

Google Scholar

Cited By

View all

Lim HDebray SVerbrugge CLhoták OShen X(2023)Automatically Localizing Dynamic Code Generation Bugs in JIT Compiler Back-EndProceedings of the 32nd ACM SIGPLAN International Conference on Compiler Construction10.1145/3578360.3580260(145-155)Online publication date: 17-Feb-2023
https://dl.acm.org/doi/10.1145/3578360.3580260
Schaeckeler SJayadevaprakash N(2011)Visualization of Computational Processes of Procedural Abstraction Optimization PassesProceedings of the 2011IEEE 10th International Conference on Trust, Security and Privacy in Computing and Communications10.1109/TrustCom.2011.150(1099-1108)Online publication date: 16-Nov-2011
https://dl.acm.org/doi/10.1109/TrustCom.2011.150
van Engelen RWhalley DYuan X(2004)Automatic validation of code-improving transformations on low-level program representationsScience of Computer Programming10.1016/j.scico.2004.03.00852:1-3(257-280)Online publication date: 1-Aug-2004
https://dl.acm.org/doi/10.1016/j.scico.2004.03.008
Show More Cited By

Index Terms

Isolation and analysis of optimization errors
1. Software and its engineering
  1. Software creation and management
  2. Software notations and tools
    1. Compilers

Recommendations

Quantifying the performance isolation properties of virtualization systems
ExpCS '07: Proceedings of the 2007 workshop on Experimental computer science

In this paper, we present the design of a performance isolation benchmark that quantifies the degree to which a virtualization system limits the impact of a misbehaving virtual machine on other well-behaving virtual machines running on the same physical ...
Automatic isolation of compiler errors

This paper describes a tool called vpoiso that was developed to isolate errors automatically in the vpo compiler system. The two general types of compiler errors isolated by this tool are optimization and nonoptimization errors. When isolating ...
End-to-end performance isolation through virtual datacenters
OSDI'14: Proceedings of the 11th USENIX conference on Operating Systems Design and Implementation

The lack of performance isolation in multi-tenant datacenters at appliances like middleboxes and storage servers results in volatile application performance. To insulate tenants, we propose giving them the abstraction of a dedicated virtual datacenter (...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

PLDI '93: Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation

August 1993

313 pages

ISBN:0897915984

DOI:10.1145/155090

Editor:
Robert Cartwright
Rice Univ., Houston, TX

ACM SIGPLAN Notices Volume 28, Issue 6
June 1993
313 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/173262
Editor:
Richard Wexelblat
IDA/CSED, Alexandria, VA
Issue’s Table of Contents

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 June 1993

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

PLDI93

Sponsor:

SIGPLAN

PLDI93: ACM SIGPLAN Conference on Programming Languages Design and Implementation

June 21 - 25, 1993

New Mexico, Albuquerque, USA

Acceptance Rates

Overall Acceptance Rate 406 of 2,067 submissions, 20%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

8
Total Citations
View Citations
362
Total Downloads

Downloads (Last 12 months)75
Downloads (Last 6 weeks)13

Reflects downloads up to 11 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Lim HDebray SVerbrugge CLhoták OShen X(2023)Automatically Localizing Dynamic Code Generation Bugs in JIT Compiler Back-EndProceedings of the 32nd ACM SIGPLAN International Conference on Compiler Construction10.1145/3578360.3580260(145-155)Online publication date: 17-Feb-2023
https://dl.acm.org/doi/10.1145/3578360.3580260
Schaeckeler SJayadevaprakash N(2011)Visualization of Computational Processes of Procedural Abstraction Optimization PassesProceedings of the 2011IEEE 10th International Conference on Trust, Security and Privacy in Computing and Communications10.1109/TrustCom.2011.150(1099-1108)Online publication date: 16-Nov-2011
https://dl.acm.org/doi/10.1109/TrustCom.2011.150
van Engelen RWhalley DYuan X(2004)Automatic validation of code-improving transformations on low-level program representationsScience of Computer Programming10.1016/j.scico.2004.03.00852:1-3(257-280)Online publication date: 1-Aug-2004
https://dl.acm.org/doi/10.1016/j.scico.2004.03.008
Zhao WCai BWhalley DBailey Mvan Engelen RYuan XHiser JDavidson JGallivan KJones D(2002)VISTAACM SIGPLAN Notices10.1145/566225.51385737:7(155-164)Online publication date: 19-Jun-2002
https://dl.acm.org/doi/10.1145/566225.513857
Zhao WCai BWhalley DBailey Mvan Engelen RYuan XHiser JDavidson JGallivan KJones DMarwedel PDevadas S(2002)VISTAProceedings of the joint conference on Languages, compilers and tools for embedded systems: software and compilers for embedded systems10.1145/513829.513857(155-164)Online publication date: 19-Jun-2002
https://dl.acm.org/doi/10.1145/513829.513857
Jaramillo CGupta RSoffa M(2002)Debugging and Testing Optimizers through Comparison CheckingElectronic Notes in Theoretical Computer Science10.1016/S1571-0661(04)80398-065:2(83-99)Online publication date: Apr-2002
https://doi.org/10.1016/S1571-0661(04)80398-0
Engblom JErmedahl AAltenbernd P(1998)Facilitating worst-case execution times analysis for optimized codeProceeding. 10th EUROMICRO Workshop on Real-Time Systems (Cat. No.98EX168)10.1109/EMWRTS.1998.685079(146-153)Online publication date: 1998
https://doi.org/10.1109/EMWRTS.1998.685079
Jaramillo CGupta RSoffa M(2002)Debugging and Testing Optimizers through Comparison CheckingElectronic Notes in Theoretical Computer Science10.1016/S1571-0661(04)80398-065:2(83-99)Online publication date: Apr-2002
https://doi.org/10.1016/S1571-0661(04)80398-0

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

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

Cited By

Index Terms

Recommendations

Quantifying the performance isolation properties of virtualization systems

Automatic isolation of compiler errors

End-to-end performance isolation through virtual datacenters