Rugina, Radu - Department of Computer Science, Cornell University

Advanced Search

Rugina, Radu - Department of Computer Science, Cornell University

Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning
Symbolic Bounds Analysis of Pointers, Array Indices, and Accessed Memory Regions
Quantitative Shape Analysis Radu Rugina
Pointer Analysis for Structured Parallel Programs RADU RUGINA
Automatic Parallelization of Divide and Conquer Algorithms \Lambda Radu Rugina and Martin Rinard
UNIVERSITY OF CALIFORNIA Santa Barbara
OSUIF: SUIF 2.0 With Objects Andrew Duncan, Bogdan Cocosel, Costin Iancu, Holger Kienle, Radu Rugina
Bytecode 2005 Preliminary Version A Verifier for Region-Annotated Java
Demand-Driven Alias Analysis for C Xin Zheng and Radu Rugina
Region-Based Shape Analysis with Tracked Locations Brian Hackett and Radu Rugina
Memory Leak Analysis by Contradiction Maksim Orlovich and Radu Rugina
Region-Based Shape Analysis with Tracked Locations Brian Hackett and Radu Rugina
Uniqueness Inference for Compile-Time Object Deallocation Sigmund Cherem and Radu Rugina
Practical Memory Leak Detection using Guarded Value-Flow Analysis
A Practical Escape and Effect Analysis for Building Lightweight Method Summaries
Compile-Time Deallocation of Individual Objects Sigmund Cherem and Radu Rugina
Memory Leak Analysis by Contradiction Maksim Orlovich and Radu Rugina
Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning
Symbolic Bounds Analysis of Pointers, Array Indices, and Accessed Memory Regions \Lambda
Predicting the Running Times of Parallel Programs by Simulation Radu Rugina and Klaus Erik Schauser
Recursion Unrolling for Divide and Conquer Programs \Lambda Radu Rugina and Martin Rinard
Region Analysis for Imperative Languages Radu Rugina and Sigmund Cherem
Region Analysis and Transformation for Java Programs Sigmund Cherem and Radu Rugina
Pointer Analysis for Multithreaded Programs \Lambda Radu Rugina and Martin Rinard