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

[Mitchell Wand]

No, I'm referring to Laurie Hendren's talk on the abc Aspect Compiler 
this Thursday at 400.

Carl Eastlund wrote:

>Are you referring to the talk at Harvard a week after this?
>
>On 11/28/05, Mitchell Wand <wand at ccs.neu.edu> wrote:
>  
>
>> 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
>>
>>
>>
>>_______________________________________________
>>PRL mailing list
>>PRL at lists.ccs.neu.edu
>>https://lists.ccs.neu.edu/bin/listinfo/prl
>>
>>
>>
>>    
>>
-------------- next part --------------
HTML attachment scrubbed and removed