The SCEAS System
Navigation Menu

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]
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002