| 9:00-9:05 | Welcome |
| 9:05-10:00 | Program Analysis Frameworks: Past and Present Laurie Hendren (McGill University) |
| 10:00-10:30 | Coffee Break |
| 10:30-10:52 | Improving Bloom Filter Configuration for Lazy Transactional Memory Mark Jeffrey, J. Gregory Steffan (University of Toronto) Slides |
| 10:52-11:14 | Modeling Cache Sharing for MPI Programs on Multicore Machines Bin Bao, Chen Ding (University of Rochester) Slides |
| 11:15-11:37 | Footprint-based Locality Analysis Xiaoya Xiang, Bin Bao, Chen Ding (University of Rochester) Slides |
| 11:37-12:00 | Program Behavior Sequence Prediction Bo Wu, Yunlian Jiang, Xipeng Shen (The College of William and Mary) Slides |
| 12:00-2:00 | Lunch, CASCON Keynote |
| 2:00-2:22 | Reducing Trace Selection Footprint for Large-scale Java Applications without Performance Loss Peng Wu, Hiroshighe Hayashizaki, Hiroshi Inoue, Toshio Nakatani (IBM Research) Slides |
| 2:22-2:45 | Detecting Type-Based Aliasing Violations in C Iain Ireland, Jose Nelson Amaral (University of Alberta), Shimin Cui, Raul Silvera (IBM Canada) Slides |
| 2:45-3:07 | Optimizing thread-local variables in Java Yi Zhang, Clark Verbrugge (McGill University) Slides |
| 3:07-3:30 | Applying Flow-Graph Mining to the Performance Analysis of Flat-Profile Applications Carolina Simoes Gomes, Jose Nelson Amaral (University of Alberta), Li Ding, Arie Tal, Joran Siu (IBM Canada) Slides |
| 3:30-4:00 | Coffee Break |
| 4:00-4:22 | Improving Productivity with Fine-Grain Compiler-Based Checkpointing Chuck Zhao, J. Gregory Steffan, Cristiana Amza (University of Toronto), Allan Kielstra (IBM Canada) Slides |
| 4:22-4:45 | Abstract Analysis of Method-Level Speculation Clark Verbrugge (McGill University), Allan Kielstra (IBM Canada), Christopher J.F. Pickett (McGill University) Slides |