| 2005 | VYRD: verifYing concurrent programs by runtime refinement-violation detection. | Tayfun Elmas, Serdar Tasiran, Shaz Qadeer |
| 2005 | Automatically partitioning packet processing applications for pipelined architectures. | Jinquan Dai, Bo Huang, Long Li, Luddy Harrison |
| 2005 | Semantic type qualifiers. | Brian Chin, Shane Markstrum, Todd D. Millstein |
| 2005 | Shangri-La: achieving high performance from compiled network applications while enabling ease of programming. | Michael K. Chen, Xiao-Feng Li, Ruiqi Lian, Jason H. Lin, Lixia Liu, Tao Liu, Roy Ju |
| 2005 | Threads cannot be implemented as a library. | Hans-Juergen Boehm |
| 2005 | Composing security policies with polymer. | Lujo Bauer, Jay Ligatti, David Walker |
| 2005 | TraceBack: first fault diagnosis by reconstruction of distributed control flow. | Andrew Ayers, Richard Schooler, Chris Metcalf, Anant Agarwal, Junghwan Rhee, Emmett Witchel |
| 2005 | Optimising aspectJ. | Pavel Avgustinov, Aske Simon Christensen, Laurie J. Hendren, Sascha Kuzins, Jennifer Lhotk, Ondrej Lhotk, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble |
| 2005 | Demystifying on-the-fly spill code. | Alex Alet, Josep M. Codina, Antonio Gonzlez, David R. Kaeli |
| 2004 | Symbolic pointer analysis revisited. | Jianwen Zhu, Silvian Calman |
| 2004 | Balancing register allocation across threads for a multithreaded network processor. | Xiaotong Zhuang, Santosh Pande |
| 2004 | Array regrouping and structure splitting using whole-program reference affinity. | Yutao Zhong, Maksim Orlovich, Xipeng Shen, Chen Ding |
| 2004 | Cost effective dynamic program slicing. | Xiangyu Zhang, Rajiv Gupta |
| 2004 | Verifying safety properties using separation and heterogeneous abstractions. | Eran Yahav, G. Ramalingam |
| 2004 | Cloning-based context-sensitive pointer alias analysis using binary decision diagrams. | John Whaley, Monica S. Lam |
| 2004 | Parametric analysis for adaptive computation offloading. | Cheng Wang, Zhiyuan Li |
| 2004 | Precise and efficient static array bound checking for large embedded C programs. | Arnaud Venet, Guillaume P. Brat |
| 2004 | The liberty structural specification language: a high-level modeling language for component reuse. | Manish Vachharajani, Neil Vachharajani, David I. August |
| 2004 | A generalized algorithm for graph-coloring register allocation. | Michael D. Smith, Norman Ramsey, Glenn H. Holloway |
| 2004 | KISS: keep it simple and sequential. | Shaz Qadeer, Dinghao Wu |
| 2004 | Scalable lock-free dynamic memory allocation. | Maged M. Michael |
| 2004 | Parametric regular path queries. | Yanhong A. Liu, Tom Rothamel, Fuxiang Yu, Scott D. Stoller, Nanjun Hu |
| 2004 | Jedd: a BDD-based relational extension of Java. | Ondrej Lhotk, Laurie J. Hendren |
| 2004 | Fast searches for effective optimization phase sequences. | Prasad A. Kulkarni, Stephen Hines, Jason Hiser, David B. Whalley, Jack W. Davidson, Douglas L. Jones |
| 2004 | The set constraint/CFL reachability connection in practice. | John Kodumal, Alex Aiken |