Searching for authors named "Radu Rugina" – sorted by Relevance.
22 documents found, showing 1 through 10.
Next 10 →
-
Static Analysis of Memory Accesses in Multithreaded and Recursive Programs
- … and Recursive Programs by Radu Rugina A dissertation submitted in partial satisfaction of the requirements…
- Add To MetaCart
-
Quantitative shape analysis
- … Quantitative Shape Analysis Radu Rugina Computer Science DepartmentCornell University Ithaca…
- Cited by 18 (1 self) – Add To MetaCart
-
Static Analysis of Accessed Regions inRecursive Data Structures
- … Static Analysis of Accessed Regions inRecursive Data Structures Stephen Chong and Radu Rugina…
- Add To MetaCart
-
Design-driven compilation
- … Design-Driven Compilation Radu Rugina and Martin Rinard Laboratory for Computer Science…
- Cited by 10 (2 self) – Add To MetaCart
-
R.: Maintaining structural invariants in shape analysis with local reasoning
- …Maintaining Structural Invariants in Shape Analysis with Local Reasoning ⋆ Sigmund Cherem and Radu…
- Cited by 1 (1 self) – Add To MetaCart
-
Recursion Unrolling for Divide and Conquer Programs
- … Recursion Unrolling for Divide and Conquer Programs \Lambda Radu Rugina and Martin Rinard…
- Cited by 4 (0 self) – Add To MetaCart
-
Pointer Analysis for Multithreaded Programs
- … Pointer Analysis for Multithreaded Programs \Lambda Radu Rugina and Martin Rinard Laboratory…
- Cited by 114 (13 self) – Add To MetaCart
-
Maintaining doubly-linked list invariants in shape analysis with local reasoning
- … and Radu Rugina Computer Science Department Cornell University Ithaca, NY 14853 {siggi,rugina…
- Cited by 5 (0 self) – Add To MetaCart
-
Symbolic Bounds Analysis of Pointers, Array Indices, and Accessed Memory Regions
- … 2000ACM 1-58113-199-2/00/0006...$5.00. Radu Rugina and Martin Rinard Laboratory for Computer Science…
- Cited by 85 (13 self) – Add To MetaCart
-
Static analysis of accessed regions in recursive data structures
- …Static Analysis of Accessed Regions in Recursive Data Structures Stephen Chong and Radu Rugina…
- Cited by 16 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
