Radu Rugina

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