Concepedia

Radu Rugina

RR

21

Publications

1.4K

Citations

19

H-Index

1999

Active since

Affiliations

Cornell University(Current)

Massachusetts Institute of Technology

The University of Texas at Austin

Lawrence Livermore National Laboratory

Radu Rugina is an author at Cornell University specializing in computer science, engineering, and software analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisComputer EngineeringComputer ArchitectureParallel ProgrammingFormal MethodsParallel ComputingCompilers

Publications per year

1999–2012

21

Publications

21

Practical memory leak detection using guarded value-flow analysis

Sigmund Cherem, Lonnie Princehouse, Radu Rugina · 2007 · 168 citations

Engineering, Information Security, Computer Architecture +22

Symbolic bounds analysis of pointers, array indices, and accessed memory regions

Radu Rugina, Martin Rinard · 2000 · 145 citations · Full text

Array Indices, Engineering, Compiler Technology +24

Region-based shape analysis with tracked locations

Brian Hackett, Radu Rugina · 2005 · 144 citations

Engineering, Statistical Shape Analysis, Region-based Shape Analysis +27

Demand-driven alias analysis for C

Xin Zheng, Radu Rugina · 2008 · 141 citations

Mathematical Programming, Demand-driven Alias Analysis, Engineering +21

Pointer analysis for multithreaded programs

Radu Rugina, Martin Rinard · 1999 · 131 citations

Engineering, Compiler Technology, Computer Architecture +20

Rows per page

1–5 of 21