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

CC 2002

23 papers

  1. A Comprehensive Approach to Array Bounds Check Elimination for Java · Feng Qian, Laurie J. Hendren, Clark Verbrugge
  2. A Graph-Free Approach to Data-Flow Analysis · Markus Mohnen
  3. A Representation for Bit Section Based Analysis and Optimization · Rajiv Gupta, Eduard Mehofer, Youtao Zhang
  4. Building an Interpreter with Vmgen · M. Anton Ertl, David Gregg
  5. CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs · George C. Necula, Scott McPeak, Shree Prakash Rahul, Westley Weimer
  6. Compiler Construction Using LOTOS NT · Hubert Garavel, Frédéric Lang, Radu Mateescu
  7. Compiling Mercury to High-Level C Code · Fergus Henderson, Zoltan Somogyi
  8. Data Compression Transformations for Dynamically Allocated Data Structures · Youtao Zhang, Rajiv Gupta
  9. Decompiling Java Bytecode: Problems, Traps and Pitfalls · Jerome Miecznikowski, Laurie J. Hendren
  10. Disambiguation Filters for Scannerless Generalized LR Parsers · Mark van den Brand, Jeroen Scheerder, Jurgen J. Vinju, Eelco Visser
  11. Effective Enhancement of Loop Versioning in Java · Vitaly V. Mikheev, Stanislav A. Fedoseev, Vladimir V. Sukharev, Nikita V. Lipsky
  12. Evaluating a Demand Driven Technique for Call Graph Construction · Gagan Agrawal, Jinqian Li, Qi Su
  13. Forwarding in Attribute Grammars for Modular Language Design · Eric Van Wyk, Oege de Moor, Kevin Backhouse, Paul Kwiatkowski
  14. Global Variable Promotion: Using Registers to Reduce Cache Power Dissipation · Andrea G. M. Cilio, Henk Corporaal
  15. Influence of Loop Optimizations on Energy Consumption of Multi-bank Memory Systems · Mahmut T. Kandemir, Ibrahim Kolcu, Ismail Kadayif
  16. LISA: An Interactive Environment for Programming Language Development · Marjan Mernik, Mitja Lenic, Enis Avdicausevic, Viljem Zumer
  17. Linear Scan Register Allocation in the Context of SSA Form and Register Constraints · Hanspeter Mössenböck, Michael Pfeiffer
  18. Modular Static Program Analysis · Patrick Cousot, Radhia Cousot
  19. Online Subpath Profiling · David Oren, Yossi Matias, Shmuel Sagiv
  20. Optimizing Static Power Dissipation by Functional Units in Superscalar Processors · Siddharth Rele, Santosh Pande, Soner Önder, Rajiv Gupta
  21. Precise Exception Semantics in Dynamic Compilation · Michael Gschwind, Erik R. Altman
  22. StreamIt: A Language for Streaming Applications · William Thies, Michal Karczmarek, Saman P. Amarasinghe
  23. Value-Profile Guided Stride Prefetching for Irregular Code · Youfeng Wu, Mauricio J. Serrano, Rakesh Krishnaiyer, Wei Li, Jesse Fang