Vivek Sarkar: Publications (Array SSA Form)

  1. • Unified Analysis of Array and Object References in Strongly Typed Languages.  S.Fink, K.Knobe, V.Sarkar. Proceedings of the 2000 Static Analysis Symposium  (SAS ’00), October 2000.

  2. • Enhanced Parallelization via Analyses and Transformations on Array SSA Form.  K.Knobe, V.Sarkar. Workshop on Compilers for Parallel Computers (CPC), Jan  2000. 

  3. • Enabling Sparse Constant Propagation of Array Elements via Array SSA Form.  V.Sarkar and K.Knobe. Proceedings of the 1998 Static Analysis Symposium (SAS  ’98), October 1998. 

  4. • Array SSA form and its use in Parallelization. Kathleen Knobe and Vivek Sarkar.  Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of  Programming Languages, San Diego, California, January 1998.