Publications of Radu Rugina
Journal Papers
Conference Papers
-
Uniqueness Inference for Compile-Time Object Deallocation
S. Cherem and R. Rugina
In Proceedings of the International Symposium on Memory Management (ISMM '07)
Montreal, Canada, October 2007
-
Practical Memory Leak Detection using Guarded Value Flow
Analysis
S. Cherem, L. Princehouse, and R. Rugina
In Proceedings of the ACM SIGPLAN Conference on Programming Language Design
and Implementation (PLDI '07)
San Diego, CA, June 2007
-
A Practical Escape and Effect Analysis for Building Lightweight
Method Summaries
S. Cherem and R. Rugina
In Proceedings of the International Conference on Compiler Construction (CC '07)
Braga, Portugal, March 2007
-
Maintaining Doubly-Linked List Invariants in Shape
Analysis with Local Reasoning (tech
report)
S. Cherem and R. Rugina
In Proceedings of the ACM Conference on Verification, Model Checking, and
Abstract Interpretation (VMCAI '07)
Nice, France, January 2007
-
Memory Leak Analysis by Contradiction
M. Orlovich and R. Rugina
In Proceedings of International Static Analysis Symposium (SAS '06)
Seoul, Korea, August 2006.
-
Compile-Time Deallocation of Individual Objects
S. Cherem and R. Rugina
In Proceedings of International Symposium on Memory Management (ISMM '06)
Ottawa, Canada, June 2006.
-
A Verifier for Region-Annotated Java Bytecodes
S. Cherem and R. Rugina
In Proceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation
(Bytecode '05)
Edinburgh, Scotland, April 2005.
- Region-Based Shape Analysis with Tracked Locations
B. Hackett and R. Rugina
In Proceedings of the ACM SIGPLAN Symposium on Principles of Programming Languages (POPL'05)
Long Beach, CA, January 2005.
- Region Analysis and Transformation for Java
Programs
Sigmund Cherem and Radu Rugina
In Proceedings of the ACM SIGPLAN 2004 Symposium on Memory Management (ISMM'04)
Vancouver, BC, Canada, October 2004
- Quantitative Shape Analysis
Radu Rugina
In Proceedings of the 11th International Static Analysis Symposium (SAS'04)
Verona, Italy, August 2004
- Static Analysis of Accessed Regions in Recursive Data Structures
Stephen Chong and Radu Rugina
In Proceedings of the 10th Static Analysis Symposium (SAS'03)
San Diego, CA, June 2003
- Design-Driven Compilation
Radu Rugina and Martin Rinard
In Proceedings of the International Conference on Compiler Construction
(CC'01)
Genova, Italy, April 2001
- Recursion Unrolling for Divide and Conquer Programs
Radu Rugina and Martin Rinard
In Proceedings of 13th International Workshop on Languages and Compilers for Parallel Computing
(LCPC'00)
IBM T.J. Watson Research Center, Yorktown Heights, New York, August 2000
- Symbolic Bounds Analysis of Pointers, Array Indices, and Accessed Memory Regions
Radu Rugina and Martin Rinard
In the Proceedings of the ACM SIGPLAN 2000 Conference on Programming Languages Design and Implementation
(PLDI'00)
Vancouver, Canada, June 2000
- Pointer Analysis for Multithreaded Programs
Radu Rugina and Martin Rinard
In the Proceedings of the ACM SIGPLAN 1999 Conference on Programming Languages Design and Implementation
(PLDI'99)
Atlanta, GA, May 1999
- Automatic Parallelization of Divide and Conquer Algorithms
Radu Rugina and Martin Rinard
In the Proceedings of the ACM SIGPLAN 1999 Symposium on Principles and Practice of Parallel Programming
(PPoPP'99)
Atlanta, GA, May 1999
- Predicting the Running Times of Parallel Programs by Simulation
Radu Rugina and Klaus E. Schauser
In the Proceedings of the 12th International Parallel Processing Symposium
and 9th Symposium on Parallel and Distributed Processing (IPPS/SPDP'98)
Orlando, FL, April 1998
- OSUIF: SUIF 2.0 With Objects
Andrew Duncan, Bogdan Cocosel, Costin Iancu, Holger Kienle, Radu Rugina, Urs Hölzle, and Martin Rinard
In the Proceedings of the 2nd SUIF Compiler Workshop
Stanford University, August 1997
Technical Reports