Publication | Closed Access
ALTER
22
Citations
34
References
2011
Year
Unknown Venue
Mathematical ProgrammingEngineeringCompiler TechnologyComputer ArchitectureSoftware AnalysisFormal VerificationMany Robust OptimizationsParallel ComputingCompilersDynamic CompilationConservative ApproachParallelizing CompilerCompiler SupportComputer EngineeringComputer ScienceDependence AnalysisOptimizing CompilerProgram AnalysisFormal MethodsParallel Programming
For decades, compilers have relied on dependence analysis to determine the legality of their transformations. While this conservative approach has enabled many robust optimizations, when it comes to parallelization there are many opportunities that can only be exploited by changing or re-ordering the dependences in the program.
| Year | Citations | |
|---|---|---|
Page 1
Page 1