Venues / PLDI /

PLDI 2002

28 papers

A Compiler Approach to Fast Hardware Design Space Exploration in FPGA-based Systems · Byoungro So, Mary W. Hall, Pedro C. Diniz
A Parallel, Incremental and Concurrent GC for Servers · Yoav Ossia, Ori Ben-Yitzhak, Irit Goft, Elliot K. Kolodner, Victor Leikehman, Avi Owshanko
A Sparse Algorithm for Predicated Global Value Numbering · Karthik Gargi
A System and Language for Building System-Specific, Static Analyses · Seth Hallem, Benjamin Chelf, Yichen Xie, Dawson R. Engler
Adoption and Focus: Practical Linear Types for Imperative Programming · Manuel Fähndrich, Robert DeLine
Beltway: Getting Around Garbage Collection Gridlock · Stephen M. Blackburn, Richard E. Jones, Kathryn S. McKinley, J. Eliot B. Moss
Combining Region Inference and Garbage Collection · Niels Hallenberg, Martin Elsman, Mads Tofte
Denali: A Goal-directed Superoptimizer · Rajeev Joshi, Greg Nelson, Keith H. Randall
Deriving Specialized Program Analyses for Certifying Component-Client Conformance · G. Ramalingam, Alex Varshavsky, John Field, Deepak Goyal, Shmuel Sagiv
Dynamic Hot Data Stream Prefetching for General-Purpose Programs · Trishul M. Chilimbi, Martin Hirzel
ESP: Path-Sensitive Program Verification in Polynomial Time · Manuvir Das, Sorin Lerner, Mark Seigle
Effective Sign Extension Elimination · Motohiro Kawahito, Hideaki Komatsu, Toshio Nakatani
Efficient Discovery of Regular Stride Patterns in Irregular Programs · Youfeng Wu
Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs · Jong-Deok Choi, Keunwoo Lee, Alexey Loginov, Robert O'Callahan, Vivek Sarkar, Manu Sridharan
Extended Static Checking for Java · Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata
Fast Copy Coalescing and Live-Range Identification · Zoran Budimlic, Keith D. Cooper, Timothy J. Harvey, Ken Kennedy, Timothy S. Oberg, Steven W. Reeves
Flow-Sensitive Type Qualifiers · Jeffrey S. Foster, Tachio Terauchi, Alex Aiken
MaJIC: Compiling MATLAB for Speed and Responsiveness · George Almási, David A. Padua
Maya: Multiple-Dispatch Syntax Extension in Java · Jason Baker, Wilson C. Hsieh
Post-Pass Binary Adaptation for Software-Based Speculative Precomputation · Shih-Wei Liao, Perry H. Wang, Hong Wang, John Paul Shen, Gerolf Hoflehner, Daniel M. Lavery
Preference-Directed Graph Coloring · Akira Koseki, Hideaki Komatsu, Toshio Nakatani
Profile-Directed Optimization of Event-Based Programs · Mohan Rajagopalan, Saumya K. Debray, Matti A. Hiltunen, Richard D. Schlichting
Profile-Guided Code Compression · Saumya K. Debray, William S. Evans
Region-Based Memory Management in Cyclone · Dan Grossman, J. Gregory Morrisett, Trevor Jim, Michael W. Hicks, Yanling Wang, James Cheney
Space-Time Trade-Off Optimization for a Class of Electronic Structure Calculations · Daniel Cociorva, Gerald Baumgartner, Chi-Chung Lam, P. Sadayappan, J. Ramanujam, Marcel Nooijen + 2 more
Static Load Classification for Improving the Value Predictability of Data-Cache Misses · Martin Burtscher, Amer Diwan, Matthias Hauswirth
The Embedded Machine: Predictable, Portable Real-Time Code · Thomas A. Henzinger, Christoph M. Kirsch
Using Data Groups to Specify and Check Side Effects · K. Rustan M. Leino, Arnd Poetzsch-Heffter, Yunhong Zhou