Additional reading material

• Imperfectly-nested loop transformations
  • Nawaaz Ahmed's thesis : Cornell PhD thesis.
    • Transformation framework : ICS 2000 paper describes the framework for transforming perfectly-nested loops
    • Tiling Imperfectly-nested loops : Supercomputing 2000 paper by Ahmed, Mateev,Pingali
    • Generating Block-recursive codes: EuroPar 2000 paper that shows how to generate block-recursive codes starting from iterative codes
  • Data-centric transformations : PLDI 1997 paper on a very different approach based on Indu Kodukula's thesis
• Fractal symbolic analysis
  • TOPLAS 2003 paper (to appear) : Menon, Mateev, Pingali
• Application-level fault-tolerance
  • PPoPP 2003 paper : Bronovetsky et al paper describes co-ordination protocol for application-level FT
  • Paper on extending protocol to MPI collective operations : submitted to ICS 2003
  • CS 717 papers : This site has a lot of papers on fault-tolerance that we found useful when learning about FT