Radu Rugina

Publication Activity (10 Years)

Years Active: 1998-2012
Publications (10 Years): 0

Top Topics

Hardware Designs

Ibm Zenterprise

Commercial Off The Shelf

Top Venues

USENIX Annual Technical Conference

Publications

Ole Agesen, Jim Mattson, Radu Rugina, Jeffrey Sheldon
Software Techniques for Avoiding Hardware Virtualization Exits. USENIX Annual Technical Conference (2012)
Greg Bronevetsky, Daniel Marques, Keshav Pingali, Sally A. McKee, Radu Rugina
Compiler-enhanced incremental checkpointing for OpenMP applications. IPDPS (2009)
Xin Zheng, Radu Rugina
Demand-driven alias analysis for C. POPL (2008)
Greg Bronevetsky, Daniel Marques, Keshav Pingali, Radu Rugina, Sally A. McKee
Compiler-enhanced incremental checkpointing for OpenMP applications. PPOPP (2008)
Greg Bronevetsky, Daniel Marques, Keshav Pingali, Radu Rugina
Compiler-Enhanced Incremental Checkpointing. LCPC (2007)
Sigmund Cherem, Radu Rugina
A Practical Escape and Effect Analysis for Building Lightweight Method Summaries. CC (2007)
Sigmund Cherem, Radu Rugina
Uniqueness inference for compile-time object deallocation. ISMM (2007)
Sigmund Cherem, Radu Rugina
Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning. VMCAI (2007)
Sigmund Cherem, Lonnie Princehouse, Radu Rugina
Practical memory leak detection using guarded value-flow analysis. PLDI (2007)
Sigmund Cherem, Radu Rugina
Compile-time deallocation of individual objects. ISMM (2006)
Maksim Orlovich, Radu Rugina
Memory Leak Analysis by Contradiction. SAS (2006)
Brian Hackett, Radu Rugina
Region-based shape analysis with tracked locations. POPL (2005)
Radu Rugina, Martin C. Rinard
Symbolic bounds analysis of pointers, array indices, and accessed memory regions. ACM Trans. Program. Lang. Syst. 27 (2) (2005)
Sigmund Cherem, Radu Rugina
A Verifier for Region-Annotated Java Bytecodes. Electron. Notes Theor. Comput. Sci. 141 (1) (2005)
Sigmund Cherem, Radu Rugina
Region analysis and transformation for Java programs. ISMM (2004)
Radu Rugina
Shape Analysis Quantitative Shape Analysis. SAS (2004)
Radu Rugina, Martin C. Rinard
Pointer analysis for structured parallel programs. ACM Trans. Program. Lang. Syst. 25 (1) (2003)
Stephen Chong, Radu Rugina
Static Analysis of Accessed Regions in Recursive Data Structures. SAS (2003)
Radu Rugina, Martin C. Rinard
Design-Driven Compilation. CC (2001)
Radu Rugina, Martin C. Rinard
Recursion Unrolling for Divide and Conquer Programs. LCPC (2000)
Radu Rugina, Martin C. Rinard
Symbolic bounds analysis of pointers, array indices, and accessed memory regions. PLDI (2000)
Radu Rugina, Martin C. Rinard
Pointer Analysis for Multithreaded Programs. PLDI (1999)
Radu Rugina, Martin C. Rinard
Automatic Parallelization of Divide and Conquer Algorithms. PPOPP (1999)
Radu Rugina, Klaus E. Schauser
Predicting the Running Times of Parallel Programs by Simulation. IPPS/SPDP (1998)