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

CC 2009

19 papers

  1. A Framework for Exploring Optimization Properties · Min Zhao, Bruce R. Childers, Mary Lou Soffa
  2. Blind Optimization for Exploiting Hardware Features · Dan Knights, Todd Mytkowicz, Peter F. Sweeney, Michael C. Mozer, Amer Diwan
  3. Challenges in Code Optimization of Parallel Programs · Vivek Sarkar
  4. Compile-Time Analysis and Specialization of Clocks in Concurrent Programs · Nalini Vasudevan, Olivier Tardieu, Julian Dolby, Stephen A. Edwards
  5. Decorated Attribute Grammars: Attribute Evaluation Meets Strategic Programming · Lennart C. L. Kats, Anthony M. Sloane, Eelco Visser
  6. Dynamic Look Ahead Compilation: A Technique to Hide JIT Compilation Latencies in Multicore Environment · Simone Campanoni, Martino Sykora, Giovanni Agosta, Stefano Crespi Reghizzi
  7. Exploiting Speculative TLP in Recursive Programs by Dynamic Thread Prediction · Lin Gao, Lian Li, Jingling Xue, Tin-Fook Ngai
  8. Extensible Proof-Producing Compilation · Magnus O. Myreen, Konrad Slind, Michael J. C. Gordon
  9. Faster Scannerless GLR Parsing · Giorgios Economopoulos, Paul Klint, Jurgen J. Vinju
  10. From Specification to Optimisation: An Architecture for Optimisation of Java Bytecode · Richard Warburton, Sara Kalvala
  11. How to CPS Transform a Monad · Annette Bieniusa, Peter Thiemann
  12. Implementation and Use of Transactional Memory with Dynamic Separation · Martín Abadi, Andrew Birrell, Tim Harris, Johnson Hsieh, Michael Isard
  13. Live Debugging of Distributed Systems · Darren Dao, Jeannie R. Albrecht, Charles Killian, Amin Vahdat
  14. Loop-Aware Instruction Scheduling with Dynamic Contention Tracking for Tiled Dataflow Architectures · Muhammad Umar Farooq, Lizy K. John
  15. Parsing C/C++ Code without Pre-processing · Yoann Padioleau
  16. Precise Management of Scratchpad Memories for Localising Array Accesses in Scientific Codes · Armin Größlinger
  17. Register Spilling and Live-Range Splitting for SSA-Form Programs · Matthias Braun, Sebastian Hack
  18. SSA Elimination after Register Allocation · Fernando Magno Quintão Pereira, Jens Palsberg
  19. Scheduling Tasks to Maximize Usage of Aggregate Variables in Place · Samah Abu-Mahmeed, Cheryl McCosh, Zoran Budimlic, Ken Kennedy, Kaushik Ravindran, Kevin Hogan + 3 more