Academia.edu no longer supports Internet Explorer.
To browse Academia.edu and the wider internet faster and more securely, please take a few seconds to upgrade your browser.
COCV'04 Preliminary Version Into the Loops:Practical Issues in Translation Validation for Optimizing Compilers
Clark BarrettRelated papers
Into the Loops: Practical Issues in Translation Validation for Optimizing Compilers
Electronic Notes in Theoretical Computer Science, 2005
TVOC: A translation validator for optimizing compilers
Computer Aided …, 2005
VOC: A methodology for the translation validation of optimizing compilers
Journal of Universal Computer …, 2003
Translation and run-time validation of loop transformations
Formal Methods in …, 2005
Translation and Run-Time Validation of Optimized Code
Electronic Notes in Theoretical Computer Science, 2002
Validation of GCC optimizers through trace generation
Software: Practice and Experience, 2009
Structuring Optimizing Transformations and Proving Them Sound
Electronic Notes in Theoretical Computer Science, 2007
Formal verification of translation validators: A case study on instruction scheduling optimizations
Translation validation consists of transforming a program and a posteriori validating it in order to detect a modification of its semantics. This approach can be used in a verified compiler, provided that validation is formally proved to be correct. We present two such validators and their Coq proofs of correctness. The validators are designed for two instruction scheduling optimizations: list scheduling and trace scheduling.
Semi-Automatic Composition of Loop Transformations for Deep Parallelism and Memory Hierarchies
International Journal of Parallel Programming, 2006
Optimisation validation
Electronic Notes in Theoretical …, 2007
This document is currently being converted. Please check back in a few minutes.
Related papers
Vectorization for SIMD architectures with alignment constraints
ACM SIGPLAN Notices, 2004
Facilitating the search for compositions of program transformations
Proceedings of the 19th annual international conference on Supercomputing - ICS '05, 2005
Automatic Correction of Loop Transformations
16th International Conference on Parallel Architecture and Compilation Techniques (PACT 2007), 2007
Loop transformations: convexity, pruning and optimization
Sigplan Notices, 2011
A formally verified compiler back-end
Journal of Automated Reasoning, 2009
Generalized Index-Set Splitting
Lecture Notes in Computer Science, 2005
COMPILER SUPPORT FOR MEASUREMENT-BASED TIMING ANALYSIS
Workshop Program, 2011
GRAPHITE: Polyhedral analyses and optimizations for GCC
GNU Compilers …, 2006
A design methodology for data-parallel applications
IEEE Transactions on Software Engineering, 2000
SCCP/x: a compilation profile to support testing and verification of optimized code
Proceedings of the 2007 international conference on …, 2007
Violated dependence analysis
Proceedings of the 20th annual international conference on Supercomputing - ICS '06, 2006
SCCP/x
Proceedings of the 2007 international conference on Compilers, architecture, and synthesis for embedded systems - CASES '07, 2007
A Polyhedral Approach to Ease the Composition of Program Transformations
Lecture Notes in Computer Science, 2004
POET: Parameterized optimizations for empirical tuning
Proceedings - 21st International Parallel and Distributed Processing Symposium, IPDPS 2007; Abstracts and CD-ROM, 2007
Mapping of application software to the multimedia instructions of general-purpose microprocessors
1997
Predictive modeling in a polyhedral optimization space
International Symposium on Code Generation and Optimization (CGO 2011), 2011
FALCON: An environment for the development of numerical programs using MATLAB
Submitted for publication
TRANSYT:A Tool for the Verification of Asynchronous Concurrent Systems
Lecture Notes in Computer Science, 2005
An overview of cache optimization techniques and cache-aware numerical algorithms
Algorithms for Memory Hierarchies, 2003
Compiler generation and autotuning of communication-avoiding operators for geometric multigrid
20th Annual International Conference on High Performance Computing, 2013
Iterative optimization in the polyhedral model
ACM SIGPLAN Notices, 2008
- Find new research papers in:
- Physics
- Chemistry
- Biology
- Health Sciences
- Ecology
- Earth Sciences
- Cognitive Science
- Mathematics
- Computer Science