iBet uBet web content aggregator. Adding the entire web to your favor.

Link to original content: https://dblp.uni-trier.de/db/conf/pldi/pldi2003.html

dblp: PLDI 2003: San Diego, California, USA

default search action

combined dblp search
author search
venue search
publication search

ask others

PLDI 2003: San Diego, California, USA

> Home > Conferences and Workshops > PLDI

SPARQL queries

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/pldi/2003
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/2003
Ron Cytron, Rajiv Gupta:
Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, San Diego, California, USA, June 9-11, 2003. ACM 2003, ISBN 1-58113-662-5

Embedded systems

- view
  authority control:
- export record
  dblp key:
  - conf/pldi/GayLBWBC03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/GayLBWBC03
David Gay, Philip Alexander Levis, J. Robert von Behren, Matt Welsh, Eric A. Brewer, David E. Culler:
The nesC language: A holistic approach to networked embedded systems. 1-11
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/LambTA03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/LambTA03
Andrew A. Lamb, William Thies, Saman P. Amarasinghe:
Linear analysis and optimization of stream programs. 12-25
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/GeorgeB03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/GeorgeB03
Lal George, Matthias Blume:
Taming the IXP network processor. 26-37

Power-aware compilation

- view
  authority control:
- export record
  dblp key:
  - conf/pldi/HsuK03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/HsuK03
Chung-Hsing Hsu, Ulrich Kremer:
The design, implementation, and evaluation of a compiler algorithm for CPU energy reduction. 38-48
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/XieMM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/XieMM03
Fen Xie, Margaret Martonosi, Sharad Malik:
Compile-time dynamic voltage scaling settings: opportunities and limits. 49-62

Code optimization I

- view
  authority control:
- export record
  dblp key:
  - conf/pldi/YotovLRCDGPPSW03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/YotovLRCDGPPSW03
Kamen Yotov, Xiaoming Li, Gang Ren, Michael Cibulskis, Gerald DeJong, María Jesús Garzarán, David A. Padua, Keshav Pingali, Paul Stodghill, Peng Wu:
A comparison of empirical and model-driven optimization. 63-76
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/StephensonAMO03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/StephensonAMO03
Mark Stephenson, Saman P. Amarasinghe, Martin C. Martin, Una-May O'Reilly:
Meta optimization: improving compiler heuristics with machine learning. 77-90
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/StroutCF03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/StroutCF03
Michelle Mills Strout, Larry Carter, Jeanne Ferrante:
Compile-time composition of run-time data and iteration reorderings. 91-102

Program analysis

- view
  authority control:
- export record
  dblp key:
  - conf/pldi/BerndlLQHU03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/BerndlLQHU03
Marc Berndl, Ondrej Lhoták, Feng Qian, Laurie J. Hendren, Navindra Umanee:
Points-to analysis using BDDs. 103-114
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/PraunG03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/PraunG03
Christoph von Praun, Thomas R. Gross:
Static conflict analysis for multi-threaded object-oriented programs. 115-128
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/AikenFKT03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/AikenFKT03
Alex Aiken, Jeffrey S. Foster, John Kodumal, Tachio Terauchi:
Checking and inferring local non-aliasing. 129-140

Error detection and debugging I

- view
  authority control:
- export record
  dblp key:
  - conf/pldi/LiblitAZJ03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/LiblitAZJ03
Ben Liblit, Alex Aiken, Alice X. Zheng, Michael I. Jordan:
Bug isolation via remote program sampling. 141-154
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/DorRS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/DorRS03
Nurit Dor, Michael Rodeh, Shmuel Sagiv:
CSSV: towards a realistic tool for statically detecting all buffer overflows in C. 155-167
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/HeineL03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/HeineL03
David L. Heine, Monica S. Lam:
A practical flow-sensitive and context-sensitive C and C++ memory leak detector. 168-181

Error detection and debugging II

- view
  authority control:
- export record
  dblp key:
  - conf/pldi/AmmonsMBL03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/AmmonsMBL03
Glenn Ammons, David Mandelin, Rastislav Bodík, James R. Larus:
Debugging temporal specifications with concept analysis. 182-195
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/BlanchetCCFMMMR03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/BlanchetCCFMMMR03
Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival:
A static analyzer for large safety-critical software. 196-207

Validation

- view
  authority control:
- export record
  dblp key:
  - conf/pldi/ChenWAF03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/ChenWAF03
Juan Chen, Dinghao Wu, Andrew W. Appel, Hai Fang:
A provably sound TAL for back-end optimization. 208-219
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/LernerMC03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/LernerMC03
Sorin Lerner, Todd D. Millstein, Craig Chambers:
Automatically proving the correctness of compiler optimizations. 220-231
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/ConditHMNW03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/ConditHMNW03
Jeremy Condit, Matthew Harren, Scott McPeak, George C. Necula, Westley Weimer:
CCured in the real world. 232-244

Code optimization II

- view
  authority control:
- export record
  dblp key:
  - conf/pldi/DingZ03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/DingZ03
Chen Ding, Yutao Zhong:
Predicting whole-program locality through reuse distance analysis. 245-257
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/JoishaB03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/JoishaB03
Pramod G. Joisha, Prithviraj Banerjee:
Static array storage optimization in MATLAB. 258-268
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/InagakiOKN03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/InagakiOKN03
Tatsushi Inagaki, Tamiya Onodera, Hideaki Komatsu, Toshio Nakatani:
Stride prefetching by dynamically inspecting objects. 269-277
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/ErtlG03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/ErtlG03
M. Anton Ertl, David Gregg:
Optimizing indirect branch prediction accuracy in virtual machine interpreters. 278-288

Code optimization III

- view
  authority control:
- export record
  dblp key:
  - conf/pldi/LinCHYJNC03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/LinCHYJNC03
Jin Lin, Tong Chen, Wei-Chung Hsu, Pen-Chung Yew, Roy Dz-Ching Ju, Tin-Fook Ngai, Sun Chan:
A compiler framework for speculative analysis and optimizations. 289-299
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/ChuFM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/ChuFM03
Michael L. Chu, Kevin Fan, Scott A. Mahlke:
Region-based hierarchical operation partitioning for multicluster processors. 300-311
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/SuganumaYN03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/SuganumaYN03
Toshio Suganuma, Toshiaki Yasue, Toshio Nakatani:
A region-based compilation technique for a Java just-in-time compiler. 312-323

Type systems

- view
  authority control:
- export record
  dblp key:
  - conf/pldi/BoyapatiSBR03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/BoyapatiSBR03
Chandrasekhar Boyapati, Alexandru Salcianu, William S. Beebee, Martin C. Rinard:
Ownership types for safe region-based memory management in real-time Java. 324-337
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/FlanaganQ03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/FlanaganQ03
Cormac Flanagan, Shaz Qadeer:
A type and effect system for atomicity. 338-349

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.