Static analysis of low-level synchronization
- 1 November 1988
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 24 (1), 100-111
- https://doi.org/10.1145/68210.69225
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- On the adequacy of program dependence graphs for representing programsPublished by Association for Computing Machinery (ACM) ,1988
- Automatic translation of FORTRAN programs to vector formACM Transactions on Programming Languages and Systems, 1987
- The program dependence graph and its use in optimizationACM Transactions on Programming Languages and Systems, 1987
- Programming for ParallelismComputer, 1987
- Automatic decomposition of scientific programs for parallel executionPublished by Association for Computing Machinery (ACM) ,1987
- Structuring parallel algorithms in an MIMD, shared memory environmentParallel Computing, 1986
- Synchronization and control of parallel algorithmsParallel Computing, 1985
- Incremental compilation of optimized codePublished by Association for Computing Machinery (ACM) ,1985
- A general-purpose algorithm for analyzing concurrent programsCommunications of the ACM, 1983
- Dependence graphs and compiler optimizationsPublished by Association for Computing Machinery (ACM) ,1981