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

CC 1998

24 papers

  1. A Code Motion Framework for Global Instruction Scheduling · Rajiv Gupta
  2. A New Approach to Control Flow Analysis · Pasquale Malacaria, Chris Hankin
  3. A New Fast Algorithm for Optimal Register Allocation in Modulo Scheduled Loops · Sylvain Lelait, Guang R. Gao, Christine Eisenbeis
  4. An Extended Static Checker for Modular-3 · K. Rustan M. Leino, Greg Nelson
  5. Analysis of Loops · Florian Martin, Martin Alt, Reinhard Wilhelm, Christian Ferdinand
  6. Analyzing Direct Non-local Dependencies in Attribute Grammars · John Boyland
  7. Basic-Block Graphs: Living Dinosaurs? · Jens Knoop, Dirk Koschützki, Bernhard Steffen
  8. Challenges and Oppurtunities Visual Programming Languages Bring to Programming Language Research · Margaret M. Burnett
  9. Cool: A Control-Flow Generator for System Analysis · Volker Braun, Jens Knoop, Dirk Koschützki
  10. Detecting Parallelism in C Programs with Recursive Darta Structures · Rakesh Ghiya, Laurie J. Hendren, Yingchun Zhu
  11. Extended SSA Numbering: Introducing SSA Properties to Language with Multi-level Pointers · Christopher Lapkowski, Laurie J. Hendren
  12. Flow Logics for Constraint Based Analysis · Hanne Riis Nielson, Flemming Nielson
  13. Generalised Recursive Descent parsing and Fellow-Determinism · Adrian Johnstone, Elizabeth Scott
  14. Intermodular Slicing of Object-oriented Programs · Christoph Steindl
  15. Issues in Translating Smalltalk into Java · R. L. Engelbrecht, Derrick G. Kourie
  16. Live Range Splitting in a Graph Coloring Register Allocator · Keith D. Cooper, L. Taylor Simpson
  17. Local Stack Allocation · Martin Maierhofer, M. Anton Ertl
  18. Lrc - A Generator for Incremental Language-Oriented Tools · Matthijs F. Kuiper, João Saraiva
  19. Myths and Facts about the Efficient Implementation of Finite Automata and Lexical Analysis · Klaus Brouwer, Wolfgang Gellerich, Erhard Plödereder
  20. Portable Debugging and Profiling · Mikael Pettersson
  21. Storage Allocation Strategies for Recursive Attributes Evaluators · Kazunori Mizushima, Takuya Katayama
  22. Strength Reduction via SSAPRE · Robert Kennedy, Fred C. Chow, Peter Dahl, Shin-Ming Liu, Raymond Lo, Mark Streich
  23. The Eli System · Uwe Kastens, Peter Pfahler, Matthias T. Jung
  24. VLIW Compilation Techniques for Superscalar Architectures · Esther Stümpel, Michael Thies, Uwe Kastens