eCommons@Cornell: Browsing eCommons

Browsing by Author Rugina, Radu

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 5 of 5

Issue Date	Title	Author(s)
19-Jul-2007	Demand-Driven Alias Analysis for C	Zheng, Xin; Rugina, Radu
29-Sep-2006	Maintaining Structural Invariants in Shape Analysis with Local Reasoning	Cherem, Sigmund; Rugina, Radu
1-Dec-2006	Memory Leak Analysis by Contradiction	Orlovich, Maksim; Rugina, Radu
13-Nov-2003	Region Analysis for Imperative Languages	Rugina, Radu
29-Oct-2004	Region-Based Shape Analysis with Tracked Locations	Hackett, Brian; Rugina, Radu

Showing results 1 to 5 of 5