1. Scheduled Relaxation Jacobi method: Improvements and applications
2. Alfred V. Aho , Monica S. Lam , Ravi Sethi , and Jeffrey D . Ullman . 2006 . Compilers : Principles, Techniques, and Tools (2nd Edition). Addison-Wesley Longman Publishing Co. , Inc., USA. Alfred V. Aho, Monica S. Lam, Ravi Sethi, and Jeffrey D. Ullman. 2006. Compilers: Principles, Techniques, and Tools (2nd Edition). Addison-Wesley Longman Publishing Co., Inc., USA.
3. FairSquare: probabilistic verification of program fairness
4. An introduction to a formal theory of dependence analysis
5. Utpal Banerjee . 1994. Loop parallelization . Springer Science & Business Media , New York, NY . Utpal Banerjee. 1994. Loop parallelization. Springer Science & Business Media, New York, NY.