Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Global value numbers and redundant computations
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Supercompilers for parallel and vector computers
Supercompilers for parallel and vector computers
Concrete mathematics: a foundation for computer science
Concrete mathematics: a foundation for computer science
Optimizing communication in Superb
CONPAR 90 Proceedings of the joint international conference on Vector and parallel processing
Updating distributed variables in local computations
Concurrency: Practice and Experience
Experiences using control dependence in PTRAN
Selected papers of the second workshop on Languages and compilers for parallel computing
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
PVM: a framework for parallel distributed computing
Concurrency: Practice and Experience
Constant propagation with conditional branches
ACM Transactions on Programming Languages and Systems (TOPLAS)
Work distribution in parallel programs for distributed memory multiprocessors
ICS '91 Proceedings of the 5th international conference on Supercomputing
PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
Handbook of theoretical computer science (vol. B)
Efficiently computing static single assignment form and the control dependence graph
ACM Transactions on Programming Languages and Systems (TOPLAS)
A guide to computer algebra systems
A guide to computer algebra systems
Software Specialization Via Symbolic Execution
IEEE Transactions on Software Engineering
Mathematica: a system for doing mathematics by computer (2nd ed.)
Mathematica: a system for doing mathematics by computer (2nd ed.)
A practical algorithm for exact array dependence analysis
Communications of the ACM
Delinearization: an efficient way to break multiloop dependence equations
PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation
Concurrency: Practice and Experience
Automatic data partitioning on distributed memory multicomputers
Automatic data partitioning on distributed memory multicomputers
Counting solutions to Presburger formulas: how and why
PLDI '94 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation
Efficient detection of all pointer and array access errors
PLDI '94 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation
Simplifying polynomial constraints over integers to make dependence analysis more precise
Simplifying polynomial constraints over integers to make dependence analysis more precise
Beyond induction variables: detecting and classifying sequences using a demand-driven SSA form
ACM Transactions on Programming Languages and Systems (TOPLAS)
The IFS model: a parallel production weather code
Parallel Computing - Special issue: climate and weather modeling
Gated SSA-based demand-driven symbolic analysis for parallelizing compilers
ICS '95 Proceedings of the 9th international conference on Supercomputing
Advanced compilation techniques in the PARADIGM compiler for distributed-memory multicomputers
ICS '95 Proceedings of the 9th international conference on Supercomputing
Symbolic analysis for parallelizing compilers
ACM Transactions on Programming Languages and Systems (TOPLAS)
Automatic array privatization and demand-driven symbolic analysis
Automatic array privatization and demand-driven symbolic analysis
Constraint-based array dependence analysis
Constraint-based array dependence analysis
Interprocedural array region analyses
International Journal of Parallel Programming - Special issue: selected papers from the eighth international workshop on languages and compilers for parallel computing
Journal of Parallel and Distributed Computing
Compile-time estimation of communication costs for data parallel programs
Journal of Parallel and Distributed Computing
Symbolic evaluation for parallelizing compilers
ICS '97 Proceedings of the 11th international conference on Supercomputing
Experience with efficient array data flow analysis for array privatization
PPOPP '97 Proceedings of the sixth ACM SIGPLAN symposium on Principles and practice of parallel programming
Making graphs reducible with controlled node splitting
ACM Transactions on Programming Languages and Systems (TOPLAS)
Symbolic analysis techniques for program parallelization
Future Generation Computer Systems - Special issue on HPCN '97
Efficient Symbolic Analysis for Parallelizing Compilers and Performance Estimators
The Journal of Supercomputing
SUIF Explorer: an interactive and interprocedural parallelizer
Proceedings of the seventh ACM SIGPLAN symposium on Principles and practice of parallel programming
Fortran 90/95 explained (2nd ed.)
Fortran 90/95 explained (2nd ed.)
Buffer-safe and cost-driven communication optimization
Journal of Parallel and Distributed Computing
An Algorithm for Structuring Flowgraphs
Journal of the ACM (JACM)
Symbolic pointer analysis for detecting memory leaks
PEPM '00 Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
Symbolic Cache Analysis for Real-Time Systems
Real-Time Systems - Special issue on worst-case execution-time analysis
Some Techniques for Solving Recurrences
ACM Computing Surveys (CSUR)
A Unified Symbolic Evaluation Framework for Parallelizing Compilers
IEEE Transactions on Parallel and Distributed Systems
Symbolic execution and program testing
Communications of the ACM
Automatic discovery of linear restraints among variables of a program
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Automatic Performance Prediction of Parallel Programs
Automatic Performance Prediction of Parallel Programs
Symbolic Analysis for Parallelizing Compilers
Symbolic Analysis for Parallelizing Compilers
Dependence Analysis for Supercomputing
Dependence Analysis for Supercomputing
The Denotational Description of Programming Languages: An Introduction
The Denotational Description of Programming Languages: An Introduction
Flow Analysis of Computer Programs
Flow Analysis of Computer Programs
A Discipline of Programming
Mathematics for the Analysis of Algorithms
Mathematics for the Analysis of Algorithms
High Performance Compilers for Parallel Computing
High Performance Compilers for Parallel Computing
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
Data-Flow Frameworks for Worst-Case Execution Time Analysis
Real-Time Systems
Interactive Parallel Programming using the ParaScope Editor
IEEE Transactions on Parallel and Distributed Systems
Performance Analysis of Parallelizing Compilers on the Perfect Benchmarks Programs
IEEE Transactions on Parallel and Distributed Systems
Effective Symbolic Analysis to Support Parallelizing Compilers and Performance Analysis
HPCN Europe '97 Proceedings of the International Conference and Exhibition on High-Performance Computing and Networking
Exploiting high performance Fortran for computational fluid dynamics
HPCN Europe '95 Proceedings of the International Conference and Exhibition on High-Performance Computing and Networking
Toward Symbolic Performance Prediction of Parallel Programs
IPPS '96 Proceedings of the 10th International Parallel Processing Symposium
Estimation of Nested Loops Execution Time by Integer Arithmetic in Convex Polyhedra
Proceedings of the 8th International Symposium on Parallel Processing
Symbolic performance prediction of scalable parallel programs
IPPS '95 Proceedings of the 9th International Symposium on Parallel Processing
Automatic Support for Data Distribution on Distributed Memory Multiprocessor Systems
Proceedings of the 6th International Workshop on Languages and Compilers for Parallel Computing
Polaris: Improving the Effectiveness of Parallelizing Compilers
LCPC '94 Proceedings of the 7th International Workshop on Languages and Compilers for Parallel Computing
Demand-Driven, Symbolic Range Propagation
LCPC '95 Proceedings of the 8th International Workshop on Languages and Compilers for Parallel Computing
Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs
Ada-Europe '00 Proceedings of the 5th Ada-Europe International Conference on Reliable Software Technologies
An Overview of the Fortran D Programming System
Proceedings of the Fourth International Workshop on Languages and Compilers for Parallel Computing
Buffer-Safe Communication Optimization based on Data Flow Analysis and Performance Prediction
PACT '97 Proceedings of the 1997 International Conference on Parallel Architectures and Compilation Techniques
Qualifying reusable functions using symbolic execution
WCRE '95 Proceedings of the Second Working Conference on Reverse Engineering
Interprocedural symbolic analysis
Interprocedural symbolic analysis
Symbolic analysis techniques for effective automatic parallelization
Symbolic analysis techniques for effective automatic parallelization
VFC: The Vienna Fortran Compiler
Scientific Programming
$P$^$3$$T+$: A performance estimator for distributed and parallel programs
Scientific Programming
ICPP '94 Proceedings of the 1994 International Conference on Parallel Processing - Volume 02
Symbolic Evaluation and the Analysis of Programs
IEEE Transactions on Software Engineering
Computing Properties of Numerical Imperative Programs by Symbolic Computation
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Symbolic analysis of imperative programming languages
JMLC'06 Proceedings of the 7th joint conference on Modular Programming Languages
Computing Properties of Numerical Imperative Programs by Symbolic Computation
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Invariant relations, invariant functions, and loop functions
Innovations in Systems and Software Engineering
| Hi-index | 0.00 |