Counting solutions to Presburger formulas: how and why
PLDI '94 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation
A simple algorithm for the generation of efficient loop structures
PACT '95 Proceedings of the IFIP WG10.3 working conference on Parallel architectures and compilation techniques
ICS '96 Proceedings of the 10th international conference on Supercomputing
Compile-time minimisation of load imbalance in loop nests
ICS '97 Proceedings of the 11th international conference on Supercomputing
Efficient Symbolic Analysis for Parallelizing Compilers and Performance Estimators
The Journal of Supercomputing
Parametric Analysis of Polyhedral Iteration Spaces
Journal of VLSI Signal Processing Systems - Special issue on application specific systems, architectures and processors
Toward Symbolic Performance Prediction of Parallel Programs
IPPS '96 Proceedings of the 10th International Parallel Processing Symposium
A Compile-Time Partitioning Strategy for Non-Rectangular Loop Nests
IPPS '97 Proceedings of the 11th International Symposium on Parallel Processing
A Technique for FPGA Synthesis Driven by Automatic Source Code Analysis and Transformations
FPL '02 Proceedings of the Reconfigurable Computing Is Going Mainstream, 12th International Conference on Field-Programmable Logic and Applications
Compilation of a specialized functional language for massively parallel computers
Journal of Functional Programming
Advanced symbolic analysis for compilers: new techniques and algorithms for symbolic program analysis and optimization
Hi-index | 0.00 |