kirancodes.me
To Proof Maintenance & Beyond!
Venues / CC /

CC 2012

13 papers

  1. A New Method for Program Inversion · Cong Hou, George Vulov, Daniel J. Quinlan, David R. Jefferson, Richard Fujimoto, Richard W. Vuduc
  2. Analytical Bounds for Optimal Tile Size Selection · Jun Shirako, Kamal Sharma, Naznin Fauzia, Louis-Noël Pouchet, J. Ramanujam, P. Sadayappan + 1 more
  3. Automatic Restructuring of GPU Kernels for Exploiting Inter-thread Data Locality · Swapneela Unkule, Christopher Shaltz, Apan Qasem
  4. Compiler Support for Fine-Grain Software-Only Checkpointing · Chuck (Chengyan) Zhao, J. Gregory Steffan, Cristiana Amza, Allan Kielstra
  5. Compiler Support for Value-Based Indirect Branch Prediction · Muhammad Umar Farooq, Lei Chen, Lizy Kurian John
  6. GC-Safe Interprocedural Unboxing · Leaf Petersen, Neal Glew
  7. Improving Performance of OpenCL on CPUs · Ralf Karrenberg, Sebastian Hack
  8. Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis · Jing Yang, Gogul Balakrishnan, Naoto Maeda, Franjo Ivancic, Aarti Gupta, Nishant Sinha + 2 more
  9. Parallel Replication-Based Points-To Analysis · Sandeep Putta, Rupesh Nasre
  10. Programming Paradigm Driven Heap Analysis · Mark Marron, Ondrej Lhoták, Anindya Banerjee
  11. Sambamba: A Runtime System for Online Adaptive Parallelization · Kevin Streit, Clemens Hammacher, Andreas Zeller, Sebastian Hack
  12. Static Detection of Unsafe Component Loadings · Taeho Kwon, Zhendong Su
  13. VMAD: An Advanced Dynamic Program Analysis and Instrumentation Framework · Alexandra Jimborean, Luis Mastrangelo, Vincent Loechner, Philippe Clauss