Guest Editors’ Introduction Chua-Huang HuangP. Sadayappan EditorialNotes 26 May 2016 Pages: 479 - 480
Array Data Flow Analysis for Load-Store Optimizations in Fine-Grain Architectures Rastislav BodíkRajiv Gupta OriginalPaper 26 May 2016 Pages: 481 - 512
Interprocedural Array Region Analyses Béatrice CreusilletFrançois Irigoin OriginalPaper 26 May 2016 Pages: 513 - 546
Connection Analysis: A Practical Interprocedural Heap Analysis for C Rakesh GhiyaLaurie J. Hendren OriginalPaper 26 May 2016 Pages: 547 - 578
Transitive Closure of Infinite Graphs and Its Applications Wayne KellyWilliam PughTatiana Shpeisman OriginalPaper 26 May 2016 Pages: 579 - 598
Efficient Distribution Analysis via Graph Contraction Thomas J. ShefflerRobert SchreiberSiddhartha Chatterjee OriginalPaper 26 May 2016 Pages: 599 - 620