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

CC 2010

17 papers

  1. Automatic C-to-CUDA Code Generation for Affine Programs · Muthu Manikandan Baskaran, J. Ramanujam, P. Sadayappan
  2. Is Reuse Distance Applicable to Data Locality Analysis on Chip Multiprocessors? · Yunlian Jiang, Eddy Z. Zhang, Kai Tian, Xipeng Shen
  3. JReq: Database Queries in Imperative Languages · Ming-Yee Iu, Emmanuel Cecchet, Willy Zwaenepoel
  4. Mining Opportunities for Code Improvement in a Just-In-Time Compiler · Adam Jocksch, Marcel Mitran, Joran Siu, Nikola Grcevski, José Nelson Amaral
  5. Optimizing Matlab through Just-In-Time Specialization · Maxime Chevalier-Boisvert, Laurie J. Hendren, Clark Verbrugge
  6. Practical Extensions to the IFDS Algorithm · Nomair A. Naeem, Ondrej Lhoták, Jonathan Rodriguez
  7. Preference-Guided Register Assignment · Matthias Braun, Christoph Mallon, Sebastian Hack
  8. Programming Clouds · James R. Larus
  9. Punctual Coalescing · Fernando Magno Quintão Pereira, Jens Palsberg
  10. RATA: Rapid Atomic Type Analysis by Abstract Interpretation - Application to JavaScript Optimization · Francesco Logozzo, Herman Venter
  11. Strategies for Predicate-Aware Register Allocation · Gerolf Hoflehner
  12. The Hot Path SSA Form: Extending the Static Single Assignment Form for Speculative Optimizations · Subhajit Roy, Y. N. Srikant
  13. The Polyhedral Model Is More Widely Applicable Than You Think · Mohamed-Walid Benabderrahmane, Louis-Noël Pouchet, Albert Cohen, Cédric Bastoul
  14. Unrestricted Code Motion: A Program Representation and Transformation Algorithms Based on Future Values · Shuhan Ding, Soner Önder
  15. Using Ownership to Reason about Inherent Parallelism in Object-Oriented Programs · Andrew Craik, Wayne Kelly
  16. Validating Register Allocation and Spilling · Silvain Rideau, Xavier Leroy
  17. Verifying Local Transformations on Relaxed Memory Models · Sebastian Burckhardt, Madanlal Musuvathi, Vasu Singh