[PRL] Static Reasoning About Dynamic Heap Structures (MIT, Thu 12/1)

[Mitchell Wand]

On your way to Harvard, you could stop here...

>Static Reasoning About Dynamic Heap Structures
>Speaker: Radu Rugina, Assistant Professor
>Speaker Affiliation: Cornell University, Dept of Computer Science
>Host: Martin Rinard
>Host Affiliation: CSAIL
>
>Date: 12-1-2005
>Time: 1:00 PM - 2:00 PM
>Refreshments: 12:45 PM
>Location: 32-D 7th Floor Lounge
>
>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 novel program analysis techniques for inter-procedural and recursive heap manipulations, and the application of these techniques to error detection, program verification, and compiler transformations. First, I will present a reference counting heap analysis where the compiler uses local reasoning about individual heap cells, instead of global reasoning about the entire heap. Second, I will present a heap analysis by contradiction, where the analysis checks the absence of heap errors by disproving their presence. These techniques are both sufficiently precise to accurately analyze a large class of heap manipulation algorithms, and sufficiently lightweight to scale to larger programs.
>
>Bio: Radu Rugina is an Assistant Professor in the Department of Computer Science at Cornell University. He received his Ph.D. from the University of California, Santa Barbara in 2002. Between 1997 and 2001 he was a visiting scholar at the MIT Laboratory for Computer Science. Radu Rugina's reaseach interests are in static analysis and compilation techniques for program understanding, verification, and transformation.
>
>Relevant URL(S): 
>For more information please contact: Mary McDavitt, 617-253-9620, mmcdavit at csail.mit.edu
>
>_______________________________________________
>Seminars mailing list
>Seminars at lists.csail.mit.edu
>https://lists.csail.mit.edu/mailman/listinfo/seminars
>  
>

-------------- next part --------------
HTML attachment scrubbed and removed