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

CC 2007

15 papers

  1. A Declarative Framework for Analysis and Optimization · Henry Falconer, Paul H. J. Kelly, David M. Ingram, Michael R. Mellor, Tony Field, Olav Beckmann
  2. A Fast Cutting-Plane Algorithm for Optimal Coalescing · Daniel Grund, Sebastian Hack
  3. A New Elimination-Based Data Flow Analysis Framework Using Annotated Decomposition Trees · Bernhard Scholz, Johann Blieberger
  4. A Practical Escape and Effect Analysis for Building Lightweight Method Summaries · Sigmund Cherem, Radu Rugina
  5. Accurate Garbage Collection in Uncooperative Environments with Lazy Pointer Stacks · Jason Baker, Antonio Cunei, Filip Pizlo, Jan Vitek
  6. An Array Allocation Scheme for Energy Reduction in Partitioned Memory Architectures · K. Shyam, R. Govindarajan
  7. Correcting the Dynamic Call Graph Using Control-Flow Constraints · Byeongcheol Lee, Kevin Resnick, Michael D. Bond, Kathryn S. McKinley
  8. Extended Linear Scan: An Alternate Foundation for Global Register Allocation · Vivek Sarkar, Rajkishore Barik
  9. Layout Transformations for Heap Objects Using Static Access Patterns · Jinseong Jeon, Keoncheol Shin, Hwansoo Han
  10. New Algorithms for SIMD Alignment · Liza Fireman, Erez Petrank, Ayal Zaks
  11. Obfuscating Java: The Most Pain for the Least Gain · Michael Batchelder, Laurie J. Hendren
  12. Preprocessing Strategy for Effective Modulo Scheduling on Multi-issue Digital Signal Processors · Doosan Cho, Ravi Ayyagari, Gang-Ryung Uh, Yunheung Paek
  13. Program Refactoring, Program Synthesis, and Model-Driven Development · Don S. Batory
  14. Register Allocation and Optimal Spill Code Scheduling in Software Pipelined Loops Using 0-1 Integer Linear Programming Formulation · Santosh Nagarakatte, R. Govindarajan
  15. Using Prefetching to Improve Reference-Counting Garbage Collectors · Harel Paz, Erez Petrank