Symbolic analysis: A basis for parallelization, optimization, and scheduling of programs

This publication has 17 references indexed in Scilit:

• Symbolic program analysis and optimization for parallelizing compilers
  Published by Springer Nature ,1993
• Performance analysis pf parallelizing compilers on the Perfect Benchmarks programs
  IEEE Transactions on Parallel and Distributed Systems, 1992
• Factoring: a method for scheduling parallel loops
  Communications of the ACM, 1992
• PARAFRASE-2: AN ENVIRONMENT FOR PARALLELIZING, PARTITIONING, SYNCHRONIZING, AND SCHEDULING PROGRAMS ON MULTIPROCESSORS
  International Journal of High Speed Computing, 1989
• Automating program analysis
  Journal of the ACM, 1988
• Guided Self-Scheduling: A Practical Scheduling Scheme for Parallel Supercomputers
  IEEE Transactions on Computers, 1987
• Allocating Independent Subtasks on Parallel Processors
  IEEE Transactions on Software Engineering, 1985
• Applications of symbolic evaluation
  Journal of Systems and Software, 1985
• Symbolic Evaluation and the Analysis of Programs
  IEEE Transactions on Software Engineering, 1979
• Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
  Published by Association for Computing Machinery (ACM) ,1977