Radu Rugina

According to our database, Radu Rugina authored at least 22 papers between 1998 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Software Techniques for Avoiding Hardware Virtualization Exits.

Ole Agesen, Jim Mattson, Radu Rugina, Jeffrey Sheldon

Proceedings of the 2012 USENIX Annual Technical Conference, 2012

2009

Compiler-enhanced incremental checkpointing for OpenMP applications.

Greg Bronevetsky, Daniel Marques, Keshav Pingali, Sally A. McKee, Radu Rugina

Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

2008

Demand-driven alias analysis for C.

Xin Zheng, Radu Rugina

Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

2007

Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning.

Sigmund Cherem, Radu Rugina

Proceedings of the Verification, 2007

Practical memory leak detection using guarded value-flow analysis.

Sigmund Cherem, Lonnie Princehouse, Radu Rugina

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

Compiler-Enhanced Incremental Checkpointing.

Greg Bronevetsky, Daniel Marques, Keshav Pingali, Radu Rugina

Proceedings of the Languages and Compilers for Parallel Computing, 2007

Uniqueness inference for compile-time object deallocation.

Sigmund Cherem, Radu Rugina

Proceedings of the 6th International Symposium on Memory Management, 2007

A Practical Escape and Effect Analysis for Building Lightweight Method Summaries.

Sigmund Cherem, Radu Rugina

Proceedings of the Compiler Construction, 16th International Conference, 2007

2006

Memory Leak Analysis by Contradiction.

Maksim Orlovich, Radu Rugina

Proceedings of the Static Analysis, 13th International Symposium, 2006

Compile-time deallocation of individual objects.

Sigmund Cherem, Radu Rugina

Proceedings of the 5th International Symposium on Memory Management, 2006

2005

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

Radu Rugina, Martin C. Rinard

ACM Trans. Program. Lang. Syst., 2005

A Verifier for Region-Annotated Java Bytecodes.

Sigmund Cherem, Radu Rugina

Proceedings of the First Workshop on Bytecode Semantics, 2005

Region-based shape analysis with tracked locations.

Brian Hackett, Radu Rugina

Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

2004

Shape Analysis Quantitative Shape Analysis.

Radu Rugina

Proceedings of the Static Analysis, 11th International Symposium, 2004

Region analysis and transformation for Java programs.

Sigmund Cherem, Radu Rugina

Proceedings of the 4th International Symposium on Memory Management, 2004

2003

Pointer analysis for structured parallel programs.

Radu Rugina, Martin C. Rinard

ACM Trans. Program. Lang. Syst., 2003

Static Analysis of Accessed Regions in Recursive Data Structures.

Stephen Chong, Radu Rugina

Proceedings of the Static Analysis, 10th International Symposium, 2003

2001

Design-Driven Compilation.

Radu Rugina, Martin C. Rinard

Proceedings of the Compiler Construction, 10th International Conference, 2001

2000

Recursion Unrolling for Divide and Conquer Programs.

Radu Rugina, Martin C. Rinard

Proceedings of the Languages and Compilers for Parallel Computing, 2000

1999

Automatic Parallelization of Divide and Conquer Algorithms.

Radu Rugina, Martin C. Rinard

Proceedings of the 1999 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP'99), 1999

Pointer Analysis for Multithreaded Programs.

Radu Rugina, Martin C. Rinard

Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 1999

1998

Predicting the Running Times of Parallel Programs by Simulation.

Radu Rugina, Klaus E. Schauser

Proceedings of the 12th International Parallel Processing Symposium / 9th Symposium on Parallel and Distributed Processing (IPPS/SPDP '98), March 30, 1998