Radu Rugina Assistant Professor 4141 Upson Hall Computer Science Department Cornell University Ithaca, NY 14853 Phone: (607) 255-4107 Fax: (607) 255-4428 Email: rugina at cs cornell edu

Research Interests:

My research interests are in programming languages and compilation techniques for program understanding, error-detection, verification, and transformation. I am particularly interested in program analysis and its applications to making software more robust, secure, and efficient.

Current Projects:

Software for these projects can be downloaded from their websites.

• SATC: shape analysis with tracked cells
• Crystal: a program analysis system for C
• FastCheck: a static checker for source-sink problems
• LC: a memory leak detector for C
• Frex: compile-time memory management

Recent Publications: [Full list of publications]

• Demand-Driven Alias Analysis for C
  X. Zheng and R. Rugina. To appear in POPL '08.
• Compiler-Enhanced Incremental Checkpointing
  G. Bronevetsky, D. Marques, K. Pingali, and R. Rugina. To appear in LCPC '07.
• Uniqueness Inference for Compile-Time Object Deallocation
  S. Cherem and R. Rugina. International Symposium on Memory Management (ISMM '07)
• Practical Memory Leak Detection using Guarded Value Flow Analysis
  S. Cherem, L. Princehouse, and R. Rugina. ACM Conference on Programming Language Design and Implementation (PLDI '07)
• A Practical Escape and Effect Analysis for Building Lightweight Method Summaries
  S. Cherem and R. Rugina, International Conference on Compiler Construction (CC '07)
• Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning
  S. Cherem and R. Rugina, ACM Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI '07)

Program Committees:

• Program chair for: SPACE' 08 : Semantics, Program Analysis, and Computing Environments for Memory Management

• OOPSLA'07: Conference on Object-Oriented Programming Systems, Languages, and Applications
• ISMM'07: International Symposium on Memory Management
• SAS'07: Static Analysis Symposium
• HAV'07: Heap Analysis and Verification
• PASTE'07: Program Analysis for Software Tools and Engineering
• Other: SAS '06  EMSOFT '06  NCA'06  PLDI '05  PPoPP '03

Teaching:

• CS312: Data Structures and Functional Programming: Spring 05, Fall 06, Fall 07
• CS412: Introduction to Compilers: Spring 02, Spring 03, Spring 04, Spring 06
• CS411: Programming Languages and Logics: Fall 04, Spring 07
• CS611: Advanced Programming Languages: Fall 02, Fall 03
• CS711: Topics in Program Analysis: Fall 05
• CS719: Languages and Compilers Seminar: Fall 03, Spring 04, Fall 04, Spring 05, Spring 06, Fall 06, Spring 07
• CS150: Freshman Advising Seminar: Fall 05, Fall 07