Conferences in DBLP

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

1. Min Xu, Rastislav Bodík, Mark D. Hill
   A serializability violation detector for shared-memory server programs. [Citation Graph (0, 0)][DBLP]
   PLDI, 2005, pp:1-14 [Conf]
   
2. Ben Liblit, Mayur Naik, Alice X. Zheng, Alexander Aiken, Michael I. Jordan
   Scalable statistical bug isolation. [Citation Graph (0, 0)][DBLP]
   PLDI, 2005, pp:15-26 [Conf]
   
3. Tayfun Elmas, Serdar Tasiran, Shaz Qadeer
   VYRD: verifYing concurrent programs by runtime refinement-violation detection. [Citation Graph (0, 0)][DBLP]
   PLDI, 2005, pp:27-37 [Conf]
   
4. Ranjit Jhala, Rupak Majumdar
   Path slicing. [Citation Graph (0, 0)][DBLP]
   PLDI, 2005, pp:38-47 [Conf]
   
5. David Mandelin, Lin Xu, Rastislav Bodík, Doug Kimelman
   Jungloid mining: helping to navigate the API jungle. [Citation Graph (0, 0)][DBLP]
   PLDI, 2005, pp:48-61 [Conf]
   
6. Michael Furr, Jeffrey S. Foster
   Checking type safety of foreign function calls. [Citation Graph (0, 0)][DBLP]
   PLDI, 2005, pp:62-72 [Conf]
   
7. Jeremy G. Siek, Andrew Lumsdaine
   Essential language support for generic programming. [Citation Graph (0, 0)][DBLP]
   PLDI, 2005, pp:73-84 [Conf]
   
8. Brian Chin, Shane Markstrum, Todd D. Millstein
   Semantic type qualifiers. [Citation Graph (0, 0)][DBLP]
   PLDI, 2005, pp:85-95 [Conf]
   
9. Neel Krishnaswami, Jonathan Aldrich
   Permission-based ownership: encapsulating state in higher-order typed languages. [Citation Graph (0, 0)][DBLP]
   PLDI, 2005, pp:96-106 [Conf]
   
10. Daniel A. Jiménez
    Code placement for improving dynamic branch prediction accuracy. [Citation Graph (0, 0)][DBLP]
    PLDI, 2005, pp:107-116 [Conf]
    
11. Pavel Avgustinov, Aske Simon Christensen, Laurie J. Hendren, Sascha Kuzins, Jennifer Lhoták, Ondrej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble
    Optimising aspectJ. [Citation Graph (0, 0)][DBLP]
    PLDI, 2005, pp:117-128 [Conf]
    
12. Chris Lattner, Vikram S. Adve
    Automatic pool allocation: improving performance by controlling data structure layout in the heap. [Citation Graph (0, 0)][DBLP]
    PLDI, 2005, pp:129-142 [Conf]
    
13. Matthew Hertz, Yi Feng, Emery D. Berger
    Garbage collection without paging. [Citation Graph (0, 0)][DBLP]
    PLDI, 2005, pp:143-153 [Conf]
    
14. Hongbo Rong, Alban Douillet, Guang R. Gao
    Register allocation for software pipelined multi-dimensional loops. [Citation Graph (0, 0)][DBLP]
    PLDI, 2005, pp:154-167 [Conf]
    
15. Xiaotong Zhuang, Santosh Pande
    Differential register allocation. [Citation Graph (0, 0)][DBLP]
    PLDI, 2005, pp:168-179 [Conf]
    
16. Alex Aletà, Josep M. Codina, Antonio González, David R. Kaeli
    Demystifying on-the-fly spill code. [Citation Graph (0, 0)][DBLP]
    PLDI, 2005, pp:180-189 [Conf]
    
17. Chi-Keung Luk, Robert S. Cohn, Robert Muth, Harish Patil, Artur Klauser, P. Geoffrey Lowney, Steven Wallace, Vijay Janapa Reddi, Kim M. Hazelwood
    Pin: building customized program analysis tools with dynamic instrumentation. [Citation Graph (0, 0)][DBLP]
    PLDI, 2005, pp:190-200 [Conf]
    
18. Andrew Ayers, Richard Schooler, Chris Metcalf, Anant Agarwal, Junghwan Rhee, Emmett Witchel
    TraceBack: first fault diagnosis by reconstruction of distributed control flow. [Citation Graph (0, 0)][DBLP]
    PLDI, 2005, pp:201-212 [Conf]
    
19. Patrice Godefroid, Nils Klarlund, Koushik Sen
    DART: directed automated random testing. [Citation Graph (0, 0)][DBLP]
    PLDI, 2005, pp:213-223 [Conf]
    
20. Michael K. Chen, Xiao-Feng Li, Ruiqi Lian, Jason H. Lin, Lixia Liu, Tao Liu, Roy Ju
    Shangri-La: achieving high performance from compiled network applications while enabling ease of programming. [Citation Graph (0, 0)][DBLP]
    PLDI, 2005, pp:224-236 [Conf]
    
21. Jinquan Dai, Bo Huang, Long Li, Luddy Harrison
    Automatically partitioning packet processing applications for pipelined architectures. [Citation Graph (0, 0)][DBLP]
    PLDI, 2005, pp:237-248 [Conf]
    
22. Yang Ni, Ulrich Kremer, Adrian Stere, Liviu Iftode
    Programming ad-hoc networks of mobile and resource-constrained devices. [Citation Graph (0, 0)][DBLP]
    PLDI, 2005, pp:249-260 [Conf]
    
23. Hans-Juergen Boehm
    Threads cannot be implemented as a library. [Citation Graph (0, 0)][DBLP]
    PLDI, 2005, pp:261-268 [Conf]
    
24. Carlos García Quiñones, Carlos Madriles, F. Jesús Sánchez, Pedro Marcuello, Antonio González, Dean M. Tullsen
    Mitosis compiler: an infrastructure for speculative threading based on pre-computation slices. [Citation Graph (0, 0)][DBLP]
    PLDI, 2005, pp:269-279 [Conf]
    
25. Maurice Herlihy
    The transactional manifesto: software engineering and non-blocking synchronization. [Citation Graph (0, 0)][DBLP]
    PLDI, 2005, pp:280- [Conf]
    
26. Armando Solar-Lezama, Rodric M. Rabbah, Rastislav Bodík, Kemal Ebcioglu
    Programming by sketching for bit-streaming programs. [Citation Graph (0, 0)][DBLP]
    PLDI, 2005, pp:281-294 [Conf]
    
27. Kathleen Fisher, Robert Gruber
    PADS: a domain-specific language for processing ad hoc data. [Citation Graph (0, 0)][DBLP]
    PLDI, 2005, pp:295-304 [Conf]
    
28. Lujo Bauer, Jay Ligatti, David Walker
    Composing security policies with polymer. [Citation Graph (0, 0)][DBLP]
    PLDI, 2005, pp:305-314 [Conf]
    
29. Franz Franchetti, Yevgen Voronenko, Markus Püschel
    Formal loop merging for signal transforms. [Citation Graph (0, 0)][DBLP]
    PLDI, 2005, pp:315-326 [Conf]