Article

Free access

Optimization of range checking

Authors:

Victoria Markstein,

John Cocke,

Peter MarksteinAuthors Info & Claims

SIGPLAN '82: Proceedings of the 1982 SIGPLAN symposium on Compiler construction

Pages 114 - 119

https://doi.org/10.1145/800230.806986

Published: 01 June 1982 Publication History

PDF eReader

Abstract

An analysis is given for optimizing run-time range checks in regions of high execution frequency. These optimizations are accomplished using strength reduction, code motion and common subexpression elimination. Test programs, using the above optimizations, are used to illustrate run-time improvements.

References

[1]

Allen F. and Cocke J., A Programming Data Flow Analysis Procedure, CACM Vol 19, (3 March 1976); 137-147.

Digital Library

Google Scholar

[2]

Cocke J. and Markstein P., Measurement of Code Improvement Algorithms, Proceedings of IFIPS (1980); 221-228.

Google Scholar

[3]

Harrison W., Compiler Analysis of the Value Ranges for Variables, IEEE Transactions on Software Engineering, (May 1977); 243-250.

Google Scholar

[4]

Schwartz J.T., On Programming - An Interim Report on the SETL Project. Installment II: The SETL Language and Examples of Its Use, Courant Institute of Mathematical Sciences, N.Y.U., (1973); 293-310.

Google Scholar

[5]

Welsh, J., Economic Range Checks in Pascal, Software - Practice and Experience, (1978); Vol. 8, 85-97

Google Scholar

Cited By

View all

Ukegbu CNeupane RMehrpouyan H(2023)Ontology-based Framework for Boundary Verification of Safety and Security Properties in Industrial Control SystemsProceedings of the 2023 European Interdisciplinary Cybersecurity Conference10.1145/3590777.3590785(47-52)Online publication date: 14-Jun-2023
https://dl.acm.org/doi/10.1145/3590777.3590785
Nagarakatte SMartin MZdancewic S(2014)WatchdogLiteProceedings of Annual IEEE/ACM International Symposium on Code Generation and Optimization10.1145/2581122.2544147(175-184)Online publication date: 15-Feb-2014
https://dl.acm.org/doi/10.1145/2581122.2544147
Nagarakatte SMartin MZdancewic S(2014)WatchdogLiteProceedings of Annual IEEE/ACM International Symposium on Code Generation and Optimization10.1145/2544137.2544147(175-184)Online publication date: 15-Feb-2014
https://dl.acm.org/doi/10.1145/2544137.2544147
Show More Cited By

Index Terms

Optimization of range checking
1. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Software defect analysis
        Software testing and debugging
  2. Software notations and tools
    1. Compilers
      1. Runtime environments

Recommendations

Optimization of range checking
Proceedings of the 1982 SIGPLAN symposium on Compiler construction

An analysis is given for optimizing run-time range checks in regions of high execution frequency. These optimizations are accomplished using strength reduction, code motion and common subexpression elimination. Test programs, using the above ...
Optimization of range checking
20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999: A Selection

An analysis is given for optimizing run-time range checks in regions of high execution frequency. These optimizations are accomplished using strength reduction, code motion and common subexpression elimination. Test programs, using the above ...
An enhanced particle swarm optimization with levy flight for global optimization

Enhanced PSO with levy flight.Random walk of the particles.High convergence rate.Provides solution accuracy and robust. Hüseyin Haklı and Harun Uguz (2014) proposed a novel approach for global function optimization using particle swarm optimization with ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

SIGPLAN '82: Proceedings of the 1982 SIGPLAN symposium on Compiler construction

June 1982

357 pages

ISBN:0897910745

DOI:10.1145/800230

ACM SIGPLAN Notices Volume 17, Issue 6
Proceedings of the 1982 SIGPLAN symposium on Compiler construction
June 1982
347 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/872726
Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 June 1982

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

69
Total Citations
View Citations
560
Total Downloads

Downloads (Last 12 months)98
Downloads (Last 6 weeks)17

Reflects downloads up to 26 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Ukegbu CNeupane RMehrpouyan H(2023)Ontology-based Framework for Boundary Verification of Safety and Security Properties in Industrial Control SystemsProceedings of the 2023 European Interdisciplinary Cybersecurity Conference10.1145/3590777.3590785(47-52)Online publication date: 14-Jun-2023
https://dl.acm.org/doi/10.1145/3590777.3590785
Nagarakatte SMartin MZdancewic S(2014)WatchdogLiteProceedings of Annual IEEE/ACM International Symposium on Code Generation and Optimization10.1145/2581122.2544147(175-184)Online publication date: 15-Feb-2014
https://dl.acm.org/doi/10.1145/2581122.2544147
Nagarakatte SMartin MZdancewic S(2014)WatchdogLiteProceedings of Annual IEEE/ACM International Symposium on Code Generation and Optimization10.1145/2544137.2544147(175-184)Online publication date: 15-Feb-2014
https://dl.acm.org/doi/10.1145/2544137.2544147
Abe TMaeda TSato M(2013)Model Checking Stencil Computations Written in a Partitioned Global Address Space LanguageProceedings of the 2013 IEEE 27th International Symposium on Parallel and Distributed Processing Workshops and PhD Forum10.1109/IPDPSW.2013.90(365-374)Online publication date: 20-May-2013
https://dl.acm.org/doi/10.1109/IPDPSW.2013.90
Absar JShekhar DProbst CWimmer C(2011)Eliminating partially-redundant array-bounds check in the Android Dalvik JIT compilerProceedings of the 9th International Conference on Principles and Practice of Programming in Java10.1145/2093157.2093175(121-128)Online publication date: 24-Aug-2011
https://dl.acm.org/doi/10.1145/2093157.2093175
Erhardt CStilkerich MLohmann DSchröder-Preikschat WWellings ARavn A(2011)Exploiting static application knowledge in a Java compiler for embedded systemsProceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems10.1145/2043910.2043927(96-105)Online publication date: 26-Sep-2011
https://dl.acm.org/doi/10.1145/2043910.2043927
Yang KHuang ZYang M(2009)Array Bounds Check Elimination for Java Based on Sparse RepresentationProceedings of the 2009 Seventh ACIS International Conference on Software Engineering Research, Management and Applications10.1109/SERA.2009.11(189-196)Online publication date: 2-Dec-2009
https://dl.acm.org/doi/10.1109/SERA.2009.11
Chuang WNarayanasamy SCalder BJhala R(2007)Bounds checking with taint-based analysisProceedings of the 2nd international conference on High performance embedded architectures and compilers10.5555/1762146.1762155(71-86)Online publication date: 28-Jan-2007
https://dl.acm.org/doi/10.5555/1762146.1762155
Su LLipasti MKrintz CHand STarditi D(2007)Speculative optimization using hardware-monitored guarded regions for java virtual machinesProceedings of the 3rd international conference on Virtual execution environments10.1145/1254810.1254814(22-32)Online publication date: 13-Jun-2007
https://dl.acm.org/doi/10.1145/1254810.1254814
Joukov NKashyap ASivathanu GZadok EAtluri VSamarati PYurcik WBrumbaugh LZhou Y(2005)An electric fence for kernel buffersProceedings of the 2005 ACM workshop on Storage security and survivability10.1145/1103780.1103786(37-43)Online publication date: 11-Nov-2005
https://dl.acm.org/doi/10.1145/1103780.1103786
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

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

Optimization of range checking

Optimization of range checking

An enhanced particle swarm optimization with levy flight for global optimization