A technique for the effective and automatic reuse of classical compiler optimizations on multithreaded code
Authors:
Open Access
- 26 January 2011
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 623-636
Abstract
No abstract availableThis publication has 23 references indexed in Scilit:
- Parallel Data Flow Analysis for OpenMP ProgramsLecture Notes in Computer Science, 2008
- Extending JML for Modular Specification and Verification of Multi-threaded ProgramsLecture Notes in Computer Science, 2005
- A Practical MHP Information Analysis for Concurrent Java ProgramsLecture Notes in Computer Science, 2005
- Pointer analysis for structured parallel programsACM Transactions on Programming Languages and Systems, 2003
- Parallelism for freeACM Transactions on Programming Languages and Systems, 1996
- Shared memory consistency models: a tutorialComputer, 1996
- Parallelizing programs with recursive data structuresIEEE Transactions on Parallel and Distributed Systems, 1990
- Efficient and correct execution of parallel programs that share memoryACM Transactions on Programming Languages and Systems, 1988
- A general-purpose algorithm for analyzing concurrent programsCommunications of the ACM, 1983
- Monotone data flow analysis frameworksActa Informatica, 1977