| 2012 | USENIX | Software Techniques for Avoiding Hardware Virtualization Exits. | Ole Agesen, Jim Mattson, Radu Rugina, Jeffrey Sheldon |
| 2008 | POPL | Demand-driven alias analysis for C. | Xin Zheng, Radu Rugina |
| 2008 | PPoPP | Compiler-enhanced incremental checkpointing for OpenMP applications. | Greg Bronevetsky, Daniel Marques, Keshav Pingali, Radu Rugina, Sally A. McKee |
| 2007 | CC | A Practical Escape and Effect Analysis for Building Lightweight Method Summaries. | Sigmund Cherem, Radu Rugina |
| 2007 | PLDI | Practical memory leak detection using guarded value-flow analysis. | Sigmund Cherem, Lonnie Princehouse, Radu Rugina |
| 2007 | VMCAI | Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning. | Sigmund Cherem, Radu Rugina |
| 2006 | SAS | Memory Leak Analysis by Contradiction. | Maksim Orlovich, Radu Rugina |
| 2005 | POPL | Region-based shape analysis with tracked locations. | Brian Hackett, Radu Rugina |
| 2004 | SAS | Shape Analysis Quantitative Shape Analysis. | Radu Rugina |
| 2003 | SAS | Static Analysis of Accessed Regions in Recursive Data Structures. | Stephen Chong, Radu Rugina |
| 2001 | CC | Design-Driven Compilation. | Radu Rugina, Martin C. Rinard |
| 2000 | PLDI | Symbolic bounds analysis of pointers, array indices, and accessed memory regions. | Radu Rugina, Martin C. Rinard |
| 1999 | PLDI | Pointer Analysis for Multithreaded Programs. | Radu Rugina, Martin C. Rinard |
| 1999 | PPoPP | Automatic Parallelization of Divide and Conquer Algorithms. | Radu Rugina, Martin C. Rinard |