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.
Electronic Notes in Theoretical Computer Science
Into the Loops: Practical Issues in Translation Validation for Optimizing Compilers2005 •
Journal of Universal Computer …
VOC: A methodology for the translation validation of optimizing compilers2003 •
Electronic Notes in Theoretical Computer Science
Translation and Run-Time Validation of Optimized Code2002 •
Electronic Notes in Theoretical Computer Science
Structuring Optimizing Transformations and Proving Them Sound2007 •
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.
International Journal of Parallel Programming
Semi-Automatic Composition of Loop Transformations for Deep Parallelism and Memory Hierarchies2006 •
2007 •
ACM SIGPLAN Notices
Vectorization for SIMD architectures with alignment constraints2004 •
Proceedings of the 19th annual international conference on Supercomputing - ICS '05
Facilitating the search for compositions of program transformations2005 •
16th International Conference on Parallel Architecture and Compilation Techniques (PACT 2007)
Automatic Correction of Loop Transformations2007 •
Sigplan Notices
Loop transformations: convexity, pruning and optimization2011 •
2010 •
Lecture Notes in Computer Science
Generalized Index-Set Splitting2005 •
GNU Compilers …
GRAPHITE: Polyhedral analyses and optimizations for GCC2006 •
IEEE Transactions on Software Engineering
A design methodology for data-parallel applications2000 •
Proceedings of the 2007 international conference on …
SCCP/x: a compilation profile to support testing and verification of optimized code2007 •
Proceedings of the 20th annual international conference on Supercomputing - ICS '06
Violated dependence analysis2006 •
Proceedings of the 2007 international conference on Compilers, architecture, and synthesis for embedded systems - CASES '07
SCCP/x2007 •
Lecture Notes in Computer Science
A Polyhedral Approach to Ease the Composition of Program Transformations2004 •
2006 •
Proceedings - 21st International Parallel and Distributed Processing Symposium, IPDPS 2007; Abstracts and CD-ROM
POET: Parameterized optimizations for empirical tuning2007 •
1997 •
International Symposium on Code Generation and Optimization (CGO 2011)
Predictive modeling in a polyhedral optimization space2011 •
2007 •
Submitted for publication
FALCON: An environment for the development of numerical programs using MATLAB2010 •
Lecture Notes in Computer Science
TRANSYT:A Tool for the Verification of Asynchronous Concurrent Systems2005 •
Algorithms for Memory Hierarchies
An overview of cache optimization techniques and cache-aware numerical algorithms2003 •
20th Annual International Conference on High Performance Computing
Compiler generation and autotuning of communication-avoiding operators for geometric multigrid2013 •