![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
PLDI 2002: Berlin, Germany
- Jens Knoop, Laurie J. Hendren:
Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Berlin, Germany, June 17-19, 2002. ACM 2002, ISBN 1-58113-463-0
SIGPLAN Notices 37(5) (May 2001)
Type Systems
- Jeffrey S. Foster, Tachio Terauchi
, Alex Aiken:
Flow-Sensitive Type Qualifiers. 1-12 - Manuel Fähndrich, Robert DeLine:
Adoption and Focus: Practical Linear Types for Imperative Programming. 13-24
Register Allocation and Value Numbering
- Zoran Budimlic, Keith D. Cooper, Timothy J. Harvey, Ken Kennedy, Timothy S. Oberg, Steven W. Reeves:
Fast Copy Coalescing and Live-Range Identification. 25-32 - Akira Koseki, Hideaki Komatsu, Toshio Nakatani:
Preference-Directed Graph Coloring. 33-44 - Karthik Gargi:
A Sparse Algorithm for Predicated Global Value Numbering. 45-56
Program Correctness
- Manuvir Das, Sorin Lerner, Mark Seigle:
ESP: Path-Sensitive Program Verification in Polynomial Time. 57-68 - Seth Hallem, Benjamin Chelf, Yichen Xie, Dawson R. Engler:
A System and Language for Building System-Specific, Static Analyses. 69-82 - G. Ramalingam, Alex Varshavsky, John Field, Deepak Goyal, Shmuel Sagiv:
Deriving Specialized Program Analyses for Certifying Component-Client Conformance. 83-94
Profiling and Specuclation
- Saumya K. Debray, William S. Evans:
Profile-Guided Code Compression. 95-105 - Mohan Rajagopalan, Saumya K. Debray, Matti A. Hiltunen, Richard D. Schlichting:
Profile-Directed Optimization of Event-Based Programs. 106-116 - Shih-Wei Liao, Perry H. Wang, Hong Wang, John Paul Shen, Gerolf Hoflehner, Daniel M. Lavery:
Post-Pass Binary Adaptation for Software-Based Speculative Precomputation. 117-128
Garbage Collection
- Yoav Ossia, Ori Ben-Yitzhak, Irit Goft, Elliot K. Kolodner, Victor Leikehman, Avi Owshanko:
A Parallel, Incremental and Concurrent GC for Servers. 129-140 - Niels Hallenberg, Martin Elsman, Mads Tofte:
Combining Region Inference and Garbage Collection. 141-152 - Stephen M. Blackburn, Richard E. Jones
, Kathryn S. McKinley, J. Eliot B. Moss:
Beltway: Getting Around Garbage Collection Gridlock. 153-164
Hardware-Conscious Optmizations
- Byoungro So, Mary W. Hall
, Pedro C. Diniz:
A Compiler Approach to Fast Hardware Design Space Exploration in FPGA-based Systems. 165-176 - Daniel Cociorva, Gerald Baumgartner, Chi-Chung Lam, P. Sadayappan
, J. Ramanujam
, Marcel Nooijen, David E. Bernholdt
, Robert J. Harrison:
Space-Time Trade-Off Optimization for a Class of Electronic Structure Calculations. 177-186 - Motohiro Kawahito, Hideaki Komatsu, Toshio Nakatani:
Effective Sign Extension Elimination. 187-198
Dynamic Prefetching & Cache Optimizations
- Trishul M. Chilimbi, Martin Hirzel:
Dynamic Hot Data Stream Prefetching for General-Purpose Programs. 199-209 - Youfeng Wu:
Efficient Discovery of Regular Stride Patterns in Irregular Programs. 210-221 - Martin Burtscher, Amer Diwan, Matthias Hauswirth:
Static Load Classification for Improving the Value Predictability of Data-Cache Misses. 222-233
Analysis of Object-Oriented Programs
- Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata:
Extended Static Checking for Java. 234-245 - K. Rustan M. Leino, Arnd Poetzsch-Heffter, Yunhong Zhou:
Using Data Groups to Specify and Check Side Effects. 246-257 - Jong-Deok Choi, Keunwoo Lee, Alexey Loginov, Robert O'Callahan, Vivek Sarkar, Manu Sridharan:
Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs. 258-269
Language Design & Implementation Issues
- Jason Baker, Wilson C. Hsieh:
Maya: Multiple-Dispatch Syntax Extension in Java. 270-281 - Dan Grossman, J. Gregory Morrisett, Trevor Jim, Michael W. Hicks
, Yanling Wang, James Cheney
:
Region-Based Memory Management in Cyclone. 282-293 - George Almási, David A. Padua:
MaJIC: Compiling MATLAB for Speed and Responsiveness. 294-303
High Performance & Real-Time Issues
- Rajeev Joshi, Greg Nelson, Keith H. Randall:
Denali: A Goal-directed Superoptimizer. 304-314 - Thomas A. Henzinger, Christoph M. Kirsch:
The Embedded Machine: Predictable, Portable Real-Time Code. 315-326
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.