PLDI 2004

26 papers

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