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

CC 2006

21 papers

  1. A Fresh Look at PRE as a Maximum Flow Problem · Jingling Xue, Jens Knoop
  2. Accurately Choosing Execution Runs for Software Fault Localization · Liang Guo, Abhik Roychoudhury, Tao Wang
  3. Context-Sensitive Points-to Analysis: Is It Worth It? · Ondrej Lhoták, Laurie J. Hendren
  4. Converting Intermediate Code to Assembly Code Using Declarative Machine Descriptions · João Dias, Norman Ramsey
  5. Data-Flow Analysis as Model Checking Within the jABC · Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen
  6. Demonstration: On-Line Visualization and Analysis of Real-Time Systems with TuningFork · David F. Bacon, Perry Cheng, Daniel Frampton, David Grove, Matthias Hauswirth, V. T. Rajan
  7. Efficient Flow-Sensitive Interprocedural Data-Flow Analysis in the Presence of Pointers · Teck Bok Tok, Samuel Z. Guyer, Calvin Lin
  8. Enhanced Bitwidth-Aware Register Allocation · Rajkishore Barik, Vivek Sarkar
  9. Hybrid Optimizations: Which Optimization Algorithm to Use? · John Cavazos, J. Eliot B. Moss, Michael F. P. O'Boyle
  10. Interprocedural Dataflow Analysis in the Presence of Large Libraries · Atanas Rountev, Scott Kagan, Thomas J. Marlowe
  11. Iterative Collective Loop Fusion · Thomas J. Ashby, Michael F. P. O'Boyle
  12. Lightweight Lexical Closures for Legitimate Execution Stack Access · Masahiro Yasugi, Tasuku Hiraishi, Taiichi Yuasa
  13. Loop Transformations in the Ahead-of-Time Optimization of Java Bytecode · Simon D. Hammond, David Lacey
  14. Path-Based Reuse Distance Analysis · Changpeng Fang, Steve Carr, Soner Önder, Zhenlin Wang
  15. Performance Characterization of the 64-bit x86 Architecture from Compiler Optimizations' Perspective · Jack Liu, Youfeng Wu
  16. Polyhedral Code Generation in the Real World · Nicolas Vasilache, Cédric Bastoul, Albert Cohen
  17. Register Allocation for Programs in SSA-Form · Sebastian Hack, Daniel Grund, Gerhard Goos
  18. SARA: Combining Stack Allocation and Register Allocation · V. Krishna Nandivada, Jens Palsberg
  19. Selective Runtime Memory Disambiguation in a Dynamic Binary Translator · Bolei Guo, Youfeng Wu, Cheng Wang, Matthew J. Bridges, Guilherme Ottoni, Neil Vachharajani + 2 more
  20. The CGiS Compiler-A Tool Demonstration · Philipp Lucas, Nicolas Fritz, Reinhard Wilhelm
  21. Using Dependent Types to Port Type Systems to Low-Level Languages · George C. Necula