Conferences in DBLP

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

1. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
   Race checking by context inference. [Citation Graph (0, 0)][DBLP]
   PLDI, 2004, pp:1-13 [Conf]
   
2. Shaz Qadeer, Dinghao Wu
   KISS: keep it simple and sequential. [Citation Graph (0, 0)][DBLP]
   PLDI, 2004, pp:14-24 [Conf]
   
3. Eran Yahav, G. Ramalingam
   Verifying safety properties using separation and heterogeneous abstractions. [Citation Graph (0, 0)][DBLP]
   PLDI, 2004, pp:25-34 [Conf]
   
4. Maged M. Michael
   Scalable lock-free dynamic memory allocation. [Citation Graph (0, 0)][DBLP]
   PLDI, 2004, pp:35-46 [Conf]
   
5. Matthew Flatt, Robert Bruce Findler
   Kill-safe synchronization abstractions. [Citation Graph (0, 0)][DBLP]
   PLDI, 2004, pp:47-58 [Conf]
   
6. Troy A. Johnson, Rudolf Eigenmann, T. N. Vijaykumar
   Min-cut program decomposition for thread-level speculation. [Citation Graph (0, 0)][DBLP]
   PLDI, 2004, pp:59-70 [Conf]
   
7. Zhao-Hui Du, Chu-Cheow Lim, Xiao-Feng Li, Chen Yang, Qingyu Zhao, Tin-Fook Ngai
   A cost-driven compilation framework for speculative parallelization of sequential programs. [Citation Graph (0, 0)][DBLP]
   PLDI, 2004, pp:71-81 [Conf]
   
8. Alexandre E. Eichenberger, Peng Wu, Kevin O'Brien
   Vectorization for SIMD architectures with alignment constraints. [Citation Graph (0, 0)][DBLP]
   PLDI, 2004, pp:82-93 [Conf]
   
9. Xiangyu Zhang, Rajiv Gupta
   Cost effective dynamic program slicing. [Citation Graph (0, 0)][DBLP]
   PLDI, 2004, pp:94-106 [Conf]
   
10. Christian S. Collberg, Edward Carter, Saumya K. Debray, Andrew Huntwork, John D. Kececioglu, Cullen Linn, Michael Stepp
    Dynamic path-based software watermarking. [Citation Graph (0, 0)][DBLP]
    PLDI, 2004, pp:107-118 [Conf]
    
11. Cheng Wang, Zhiyuan Li
    Parametric analysis for adaptive computation offloading. [Citation Graph (0, 0)][DBLP]
    PLDI, 2004, pp:119-130 [Conf]
    
12. John Whaley, Monica S. Lam
    Cloning-based context-sensitive pointer alias analysis using binary decision diagrams. [Citation Graph (0, 0)][DBLP]
    PLDI, 2004, pp:131-144 [Conf]
    
13. Jianwen Zhu, Silvian Calman
    Symbolic pointer analysis revisited. [Citation Graph (0, 0)][DBLP]
    PLDI, 2004, pp:145-157 [Conf]
    
14. Ondrej Lhoták, Laurie J. Hendren
    Jedd: a BDD-based relational extension of Java. [Citation Graph (0, 0)][DBLP]
    PLDI, 2004, pp:158-169 [Conf]
    
15. Andrew W. Appel
    Social processes and proofs of theorems and programs, revisited. [Citation Graph (0, 0)][DBLP]
    PLDI, 2004, pp:170- [Conf]
    
16. Prasad Kulkarni, Stephen Hines, Jason Hiser, David B. Whalley, Jack W. Davidson, Douglas L. Jones
    Fast searches for effective optimization phase sequences. [Citation Graph (0, 0)][DBLP]
    PLDI, 2004, pp:171-182 [Conf]
    
17. John Cavazos, J. Eliot B. Moss
    Inducing heuristics to decide whether to schedule. [Citation Graph (0, 0)][DBLP]
    PLDI, 2004, pp:183-194 [Conf]
    
18. Manish Vachharajani, Neil Vachharajani, David I. August
    The liberty structural specification language: a high-level modeling language for component reuse. [Citation Graph (0, 0)][DBLP]
    PLDI, 2004, pp:195-206 [Conf]
    
19. John Kodumal, Alexander Aiken
    The set constraint/CFL reachability connection in practice. [Citation Graph (0, 0)][DBLP]
    PLDI, 2004, pp:207-218 [Conf]
    
20. Yanhong A. Liu, Tom Rothamel, Fuxiang Yu, Scott D. Stoller, Nanjun Hu
    Parametric regular path queries. [Citation Graph (0, 0)][DBLP]
    PLDI, 2004, pp:219-230 [Conf]
    
21. Arnaud Venet, Guillaume P. Brat
    Precise and efficient static array bound checking for large embedded C programs. [Citation Graph (0, 0)][DBLP]
    PLDI, 2004, pp:231-242 [Conf]
    
22. Wei-Ngan Chin, Florin Craciun, Shengchao Qin, Martin C. Rinard
    Region inference for an object-oriented language. [Citation Graph (0, 0)][DBLP]
    PLDI, 2004, pp:243-254 [Conf]
    
23. Yutao Zhong, Maksim Orlovich, Xipeng Shen, Chen Ding
    Array regrouping and structure splitting using whole-program reference affinity. [Citation Graph (0, 0)][DBLP]
    PLDI, 2004, pp:255-266 [Conf]
    
24. Ali-Reza Adl-Tabatabai, Richard L. Hudson, Mauricio J. Serrano, Sreenivas Subramoney
    Prefetch inection based on hardware monitoring and object metadata. [Citation Graph (0, 0)][DBLP]
    PLDI, 2004, pp:267-276 [Conf]
    
25. Michael D. Smith, Norman Ramsey, Glenn H. Holloway
    A generalized algorithm for graph-coloring register allocation. [Citation Graph (0, 0)][DBLP]
    PLDI, 2004, pp:277-288 [Conf]
    
26. Xiaotong Zhuang, Santosh Pande
    Balancing register allocation across threads for a multithreaded network processor. [Citation Graph (0, 0)][DBLP]
    PLDI, 2004, pp:289-300 [Conf]