Article

Capturing the Effects of Code Improving Transformations

Authors:

C. Jaramillo,

R. Gupta,

M. L. SoffaAuthors Info & Claims

PACT '98: Proceedings of the 1998 International Conference on Parallel Architectures and Compilation Techniques

Page 118

Published: 12 October 1998 Publication History

Publisher Site

Abstract

No abstract available.

Cited By

View all

Jaramillo CGupta RSoffa M(2019)Comparison checkingACM SIGSOFT Software Engineering Notes10.1145/318774.31894724:6(268-284)Online publication date: 2-Jun-2019
https://dl.acm.org/doi/10.1145/318774.318947
Feng MTan LGupta R(2013)Lightweight fault detection in parallelized programsProceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization (CGO)10.1109/CGO.2013.6494979(1-11)Online publication date: 23-Feb-2013
https://dl.acm.org/doi/10.1109/CGO.2013.6494979
Yang JZhou SSoffa MBoehm HGrove D(2006)DimensionProceedings of the 2nd international conference on Virtual execution environments10.1145/1134760.1220165(164-174)Online publication date: 14-Jun-2006
https://dl.acm.org/doi/10.1145/1134760.1220165
Show More Cited By

Capturing the Effects of Code Improving Transformations

Recommendations

An approach for exploring code improving transformations

Although code transformations are routinely applied to improve the performance of programs for both scalar and parallel machines, the properties of code-improving transformations are not well understood. In this article we present a framework that ...
Validation of code-improving transformations for embeded systems
SAC '03: Proceedings of the 2003 ACM symposium on Applied computing

Programmers of embeded systems often develop software in assembly code due to inadequate support from compilers and the need to meet critical speed and/or space constraints. Many embeded applications are being used as a component of an increasing number ...
Automatic validation of code-improving transformations on low-level program representations
Special issue on program transformation

This paper presents a general approach for automatically validating code-improving transformations on low-level program representations. The approach ensures the correctness of compiler and hand-specified optimizations at the machine instruction level. ...

Comments

Information & Contributors

Information

Published In

PACT '98: Proceedings of the 1998 International Conference on Parallel Architectures and Compilation Techniques

October 1998

ISBN:0818685913

Publisher

IEEE Computer Society

United States

Publication History

Published: 12 October 1998

Check for updates

Qualifiers

Article

Acceptance Rates

Overall Acceptance Rate 121 of 471 submissions, 26%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

6
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 01 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Jaramillo CGupta RSoffa M(2019)Comparison checkingACM SIGSOFT Software Engineering Notes10.1145/318774.31894724:6(268-284)Online publication date: 2-Jun-2019
https://dl.acm.org/doi/10.1145/318774.318947
Feng MTan LGupta R(2013)Lightweight fault detection in parallelized programsProceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization (CGO)10.1109/CGO.2013.6494979(1-11)Online publication date: 23-Feb-2013
https://dl.acm.org/doi/10.1109/CGO.2013.6494979
Yang JZhou SSoffa MBoehm HGrove D(2006)DimensionProceedings of the 2nd international conference on Virtual execution environments10.1145/1134760.1220165(164-174)Online publication date: 14-Jun-2006
https://dl.acm.org/doi/10.1145/1134760.1220165
Goldberg BZuck LBarrett C(2005)Into the LoopsElectronic Notes in Theoretical Computer Science (ENTCS)10.1016/j.entcs.2005.01.030132:1(53-71)Online publication date: 1-May-2005
https://dl.acm.org/doi/10.1016/j.entcs.2005.01.030
Narasamdya IVoronkov A(2005)Finding basic block and variable correspondenceProceedings of the 12th international conference on Static Analysis10.1007/11547662_18(251-267)Online publication date: 7-Sep-2005
https://dl.acm.org/doi/10.1007/11547662_18
Jaramillo CGupta RSoffa MNierstrasz OLemoine M(1999)Comparison checkingProceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering10.5555/318773.318947(268-284)Online publication date: 1-Oct-1999
https://dl.acm.org/doi/10.5555/318773.318947

Abstract

Cited By

Recommendations

An approach for exploring code improving transformations

Validation of code-improving transformations for embeded systems

Automatic validation of code-improving transformations on low-level program representations

Comments

Information

Published In

Sponsors

Publisher

Publication History

Check for updates

Qualifiers

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations