Travelled to:1 × France
1 × Korea
1 × Portugal
2 × Italy
4 × Canada
7 × USA
Collaborated with:S.Cherem M.C.Rinard X.Zheng M.Orlovich B.Hackett ∅ S.Chong L.Princehouse G.Bronevetsky D.Marques K.Pingali S.A.McKee
Talks about:analysi (12) region (4) compil (4) shape (4) memori (3) program (2) practic (2) pointer (2) dealloc (2) object (2)
Person: Radu Rugina
DBLP: Rugina:Radu
Contributed to:
2008
2008
2007
2007
2007
20072006
200620052004200420032001200019991999Wrote 16 papers:
- POPL-2008-ZhengR #alias #analysis #c
- Demand-driven alias analysis for C (XZ, RR), pp. 197–208.
- PPoPP-2008-BronevetskyMPRM #incremental
- Compiler-enhanced incremental checkpointing for OpenMP applications (GB, DM, KP, RR, SAM), pp. 275–276.
- CC-2007-CheremR #analysis #lightweight #summary
- A Practical Escape and Effect Analysis for Building Lightweight Method Summaries (SC, RR), pp. 172–186.
- ISMM-2007-CheremR
- Uniqueness inference for compile-time object deallocation (SC, RR), pp. 117–128.
- PLDI-2007-CheremPR #analysis #detection #memory management #using
- Practical memory leak detection using guarded value-flow analysis (SC, LP, RR), pp. 480–491.
- VMCAI-2007-CheremR #analysis #invariant #maintenance #reasoning
- Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning (SC, RR), pp. 234–250.
- ISMM-2006-CheremR
- Compile-time deallocation of individual objects (SC, RR), pp. 138–149.
- SAS-2006-OrlovichR #analysis #memory management
- Memory Leak Analysis by Contradiction (MO, RR), pp. 405–424.
- POPL-2005-HackettR #analysis
- Region-based shape analysis with tracked locations (BH, RR), pp. 310–323.
- ISMM-2004-CheremR #analysis #java #source code
- Region analysis and transformation for Java programs (SC, RR), pp. 85–96.
- SAS-2004-Rugina #analysis
- Shape Analysis Quantitative Shape Analysis (RR), pp. 228–245.
- SAS-2003-ChongR #data type #recursion #static analysis
- Static Analysis of Accessed Regions in Recursive Data Structures (SC, RR), pp. 463–482.
- CC-2001-RuginaR #compilation
- Design-Driven Compilation (RR, MCR), pp. 150–164.
- PLDI-2000-RuginaR #analysis #array #bound #memory management #pointer
- Symbolic bounds analysis of pointers, array indices, and accessed memory regions (RR, MCR), pp. 182–195.
- PLDI-1999-RuginaR #analysis #parallel #pointer #source code #thread
- Pointer Analysis for Multithreaded Programs (RR, MCR), pp. 77–90.
- PPoPP-1999-RuginaR #algorithm #automation #divide and conquer #parallel
- Automatic Parallelization of Divide and Conquer Algorithms (RR, MCR), pp. 72–83.