Abstract is missing.
- Flow-Sensitive Type QualifiersJeffrey S. Foster, Tachio Terauchi, Alexander Aiken. 1-12 [doi]
- Adoption and Focus: Practical Linear Types for Imperative ProgrammingManuel Fähndrich, Robert DeLine. 13-24 [doi]
- Fast Copy Coalescing and Live-Range IdentificationZoran Budimlic, Keith D. Cooper, Timothy J. Harvey, Ken Kennedy, Timothy S. Oberg, Steven W. Reeves. 25-32 [doi]
- Preference-Directed Graph ColoringAkira Koseki, Hideaki Komatsu, Toshio Nakatani. 33-44 [doi]
- ESP: Path-Sensitive Program Verification in Polynomial TimeManuvir Das, Sorin Lerner, Mark Seigle. 57-68 [doi]
- A System and Language for Building System-Specific, Static AnalysesSeth Hallem, Benjamin Chelf, Yichen Xie, Dawson R. Engler. 69-82 [doi]
- Deriving Specialized Program Analyses for Certifying Component-Client ConformanceGanesan Ramalingam, Alex Varshavsky, John Field, Deepak Goyal, Shmuel Sagiv. 83-94 [doi]
- Profile-Guided Code CompressionSaumya K. Debray, William S. Evans. 95-105 [doi]
- Profile-Directed Optimization of Event-Based ProgramsMohan Rajagopalan, Saumya K. Debray, Matti A. Hiltunen, Richard D. Schlichting. 106-116 [doi]
- Post-Pass Binary Adaptation for Software-Based Speculative PrecomputationShih-Wei Liao, Perry H. Wang, Hong Wang 0003, John Paul Shen, Gerolf Hoflehner, Daniel M. Lavery. 117-128 [doi]
- A Parallel, Incremental and Concurrent GC for ServersYoav Ossia, Ori Ben-Yitzhak, Irit Goft, Elliot K. Kolodner, Victor Leikehman, Avi Owshanko. 129-140 [doi]
- Combining Region Inference and Garbage CollectionNiels Hallenberg, Martin Elsman, Mads Tofte. 141-152 [doi]
- Beltway: Getting Around Garbage Collection GridlockStephen Blackburn, Richard E. Jones, Kathryn S. McKinley, J. Eliot B. Moss. 153-164 [doi]
- A Compiler Approach to Fast Hardware Design Space Exploration in FPGA-based SystemsByoungro So, Mary W. Hall, Pedro C. Diniz. 165-176 [doi]
- Space-Time Trade-Off Optimization for a Class of Electronic Structure CalculationsDaniel Cociorva, Gerald Baumgartner, Chi-Chung Lam, P. Sadayappan, J. Ramanujam, Marcel Nooijen, David E. Bernholdt, Robert J. Harrison. 177-186 [doi]
- Effective Sign Extension EliminationMotohiro Kawahito, Hideaki Komatsu, Toshio Nakatani. 187-198 [doi]
- Dynamic Hot Data Stream Prefetching for General-Purpose ProgramsTrishul M. Chilimbi, Martin Hirzel. 199-209 [doi]
- Efficient Discovery of Regular Stride Patterns in Irregular ProgramsYoufeng Wu. 210-221 [doi]
- Static Load Classification for Improving the Value Predictability of Data-Cache MissesMartin Burtscher, Amer Diwan, Matthias Hauswirth. 222-233 [doi]
- Extended Static Checking for JavaCormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata. 234-245 [doi]
- Using Data Groups to Specify and Check Side EffectsK. Rustan M. Leino, Arnd Poetzsch-Heffter, Yunhong Zhou. 246-257 [doi]
- Efficient and Precise Datarace Detection for Multithreaded Object-Oriented ProgramsJong-Deok Choi, Keunwoo Lee, Alexey Loginov, Robert O Callahan, Vivek Sarkar, Manu Sridharan. 258-269 [doi]
- Maya: Multiple-Dispatch Syntax Extension in JavaJason Baker, Wilson C. Hsieh. 270-281 [doi]
- Region-Based Memory Management in CycloneDan Grossman, J. Gregory Morrisett, Trevor Jim, Michael W. Hicks, Yanling Wang, James Cheney. 282-293 [doi]
- MaJIC: Compiling MATLAB for Speed and ResponsivenessGeorge S. Almasi, David A. Padua. 294-303 [doi]
- Denali: A Goal-directed SuperoptimizerRajeev Joshi, Greg Nelson, Keith H. Randall. 304-314 [doi]
- The Embedded Machine: Predictable, Portable Real-Time CodeThomas A. Henzinger, Christoph M. Kirsch. 315-326 [doi]