Conferences in DBLP

SIGPLAN Conference on Programming Language Design and Implementation (PLDI) (pldi)
2003 (conf/pldi/2003)

1. David Gay, Philip Levis, J. Robert von Behren, Matt Welsh, Eric A. Brewer, David E. Culler
   The nesC language: A holistic approach to networked embedded systems. [Citation Graph (0, 0)][DBLP]
   PLDI, 2003, pp:1-11 [Conf]
   
2. Andrew A. Lamb, William Thies, Saman P. Amarasinghe
   Linear analysis and optimization of stream programs. [Citation Graph (0, 0)][DBLP]
   PLDI, 2003, pp:12-25 [Conf]
   
3. Lal George, Matthias Blume
   Taming the IXP network processor. [Citation Graph (0, 0)][DBLP]
   PLDI, 2003, pp:26-37 [Conf]
   
4. Chung-Hsing Hsu, Ulrich Kremer
   The design, implementation, and evaluation of a compiler algorithm for CPU energy reduction. [Citation Graph (0, 0)][DBLP]
   PLDI, 2003, pp:38-48 [Conf]
   
5. Fen Xie, Margaret Martonosi, Sharad Malik
   Compile-time dynamic voltage scaling settings: opportunities and limits. [Citation Graph (0, 0)][DBLP]
   PLDI, 2003, pp:49-62 [Conf]
   
6. 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. [Citation Graph (0, 0)][DBLP]
   PLDI, 2003, pp:63-76 [Conf]
   
7. Mark Stephenson, Saman P. Amarasinghe, Martin C. Martin, Una-May O'Reilly
   Meta optimization: improving compiler heuristics with machine learning. [Citation Graph (0, 0)][DBLP]
   PLDI, 2003, pp:77-90 [Conf]
   
8. Michelle Mills Strout, Larry Carter, Jeanne Ferrante
   Compile-time composition of run-time data and iteration reorderings. [Citation Graph (0, 0)][DBLP]
   PLDI, 2003, pp:91-102 [Conf]
   
9. Marc Berndl, Ondrej Lhoták, Feng Qian, Laurie J. Hendren, Navindra Umanee
   Points-to analysis using BDDs. [Citation Graph (0, 0)][DBLP]
   PLDI, 2003, pp:103-114 [Conf]
   
10. Christoph von Praun, Thomas R. Gross
    Static conflict analysis for multi-threaded object-oriented programs. [Citation Graph (0, 0)][DBLP]
    PLDI, 2003, pp:115-128 [Conf]
    
11. Alexander Aiken, Jeffrey S. Foster, John Kodumal, Tachio Terauchi
    Checking and inferring local non-aliasing. [Citation Graph (0, 0)][DBLP]
    PLDI, 2003, pp:129-140 [Conf]
    
12. Ben Liblit, Alexander Aiken, Alice X. Zheng, Michael I. Jordan
    Bug isolation via remote program sampling. [Citation Graph (0, 0)][DBLP]
    PLDI, 2003, pp:141-154 [Conf]
    
13. Nurit Dor, Michael Rodeh, Shmuel Sagiv
    CSSV: towards a realistic tool for statically detecting all buffer overflows in C. [Citation Graph (0, 0)][DBLP]
    PLDI, 2003, pp:155-167 [Conf]
    
14. David L. Heine, Monica S. Lam
    A practical flow-sensitive and context-sensitive C and C++ memory leak detector. [Citation Graph (0, 0)][DBLP]
    PLDI, 2003, pp:168-181 [Conf]
    
15. Glenn Ammons, David Mandelin, Rastislav Bodík, James R. Larus
    Debugging temporal specifications with concept analysis. [Citation Graph (0, 0)][DBLP]
    PLDI, 2003, pp:182-195 [Conf]
    
16. 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. [Citation Graph (0, 0)][DBLP]
    PLDI, 2003, pp:196-207 [Conf]
    
17. Juan Chen, Dinghao Wu, Andrew W. Appel, Hai Fang
    A provably sound TAL for back-end optimization. [Citation Graph (0, 0)][DBLP]
    PLDI, 2003, pp:208-219 [Conf]
    
18. Sorin Lerner, Todd D. Millstein, Craig Chambers
    Automatically proving the correctness of compiler optimizations. [Citation Graph (0, 0)][DBLP]
    PLDI, 2003, pp:220-231 [Conf]
    
19. Jeremy Condit, Matthew Harren, Scott McPeak, George C. Necula, Westley Weimer
    CCured in the real world. [Citation Graph (0, 0)][DBLP]
    PLDI, 2003, pp:232-244 [Conf]
    
20. Chen Ding, Yutao Zhong
    Predicting whole-program locality through reuse distance analysis. [Citation Graph (0, 0)][DBLP]
    PLDI, 2003, pp:245-257 [Conf]
    
21. Pramod G. Joisha, Prithviraj Banerjee
    Static array storage optimization in MATLAB. [Citation Graph (0, 0)][DBLP]
    PLDI, 2003, pp:258-268 [Conf]
    
22. Tatsushi Inagaki, Tamiya Onodera, Hideaki Komatsu, Toshio Nakatani
    Stride prefetching by dynamically inspecting objects. [Citation Graph (0, 0)][DBLP]
    PLDI, 2003, pp:269-277 [Conf]
    
23. M. Anton Ertl, David Gregg
    Optimizing indirect branch prediction accuracy in virtual machine interpreters. [Citation Graph (0, 0)][DBLP]
    PLDI, 2003, pp:278-288 [Conf]
    
24. 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. [Citation Graph (0, 0)][DBLP]
    PLDI, 2003, pp:289-299 [Conf]
    
25. Michael L. Chu, Kevin Fan, Scott A. Mahlke
    Region-based hierarchical operation partitioning for multicluster processors. [Citation Graph (0, 0)][DBLP]
    PLDI, 2003, pp:300-311 [Conf]
    
26. Toshio Suganuma, Toshiaki Yasue, Toshio Nakatani
    A region-based compilation technique for a Java just-in-time compiler. [Citation Graph (0, 0)][DBLP]
    PLDI, 2003, pp:312-323 [Conf]
    
27. Chandrasekhar Boyapati, Alexandru Salcianu, William S. Beebee, Martin C. Rinard
    Ownership types for safe region-based memory management in real-time Java. [Citation Graph (0, 0)][DBLP]
    PLDI, 2003, pp:324-337 [Conf]
    
28. Cormac Flanagan, Shaz Qadeer
    A type and effect system for atomicity. [Citation Graph (0, 0)][DBLP]
    PLDI, 2003, pp:338-349 [Conf]