Symbolic bounds analysis of pointers, array indices, and accessed memory regions

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Volumn , Issue , 2000, Pages 182-195

  Rugina, R ^a   Rinard, M ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTATIONAL METHODS; CONSTRAINT THEORY; DATA STRUCTURES; LINEAR PROGRAMMING; PARALLEL PROCESSING SYSTEMS; POLYNOMIALS; PROBLEM SOLVING; RANDOM ACCESS STORAGE;

ACCESSED MEMORY REGION; ARRAY INDICES; POINTERS; STATIC RACE DETECTION; SYMBOLIC BOUND ANALYSIS; SYMBOLIC BOUND POLYNOMIAL;

ALGORITHMS;

EID: 0034448151     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/349299.349325     Document Type: Conference Paper

References (28)

1. An overview of a compiler for scalable parallel machines
2. Silicon C: A hardware backend for SUIF
3. Effective automatic parallelization with Polaris
4. Cilk: An efficient multithreaded runtime system
5. ABCD: Eliminating array bounds checks on demand
6. BitValue inference: Detecting and exploiting narrow bitwidth computations
7. Analysis of pointers and structures
8. Recursive array layouts and fast matrix multiplication
9. Detecting data races in cilk programs that use locks
10. Extended static checking
11. Detecting access anomalies in programs with critical sections
12. Type-based race detection for java
13. Auto-blocking matrix-multiplication or tracking BLAS3 performance from source code
14. The implementation of the cilk-5 multithreaded language
15. Automatic parallelization of recursive procedures
16. Recursion leads to automatic variable blocking for dense linear-algebra algorithms
17. Interprocedural compilation of Fortran D for MIMD distributed-memory machines
18. An implementation of interprocedural bounded regular section analysis
19. Elimination of redundant array subscript range checks
20. Optimization of range checking
21. Accurate static branch prediction by value range propagation
22. Commutativity analysis: A new analysis technique for parallelizing compilers
23. Automatic parallelization of divide and conquer algorithms
24. Pointer analysis for multithreaded programs
25. Solving shape-analysis problems in languages with destructive updating
26. Bitwidth analysis with application to silicon compilation
27. Warlock: A static data race analysis tool