Berkeley Lab Scientific Computing Seminar

Date:

Monday, November 5, 2007

Time:

1:00pm-2:00pm

Location:

Building 50B, 2222 Conference Room

Seminar Speaker:

Radu Rugina
Department of Computer Science
Cornell University

Title:

Static Analysis of Dynamic Data Structures

Abstract:

Dynamic allocation and destructive heap updates are fundamental language constructs that allow programmers to implement complex, efficient linked data structures. However, their flexibility makes it difficult for compilers and program analyzers to statically reason about the correct manipulation of such structures.

In this talk I will discuss new heap analysis techniques and their application to error detection, program verification, and compiler transformations. These analyses are based on a novel approach where the compiler uses local reasoning about single heap cells, instead of global reasoning about the entire heap. This approach makes analyses precise enough to handle a large class of heap manipulation algorithms, and lightweight enough to scale to larger programs.

Sponsor of Seminar:

Costin Iancu

Scientific Computing

Contact Esmond G. Ng EGNg@lbl.gov