Proving the correctness of a concurrent garbage collector

Add to your list(s) Download to your calendar using vCal

• Uday Reddy
• Tuesday 09 March 2010, 13:00-14:00
• CS 124.

If you have a question about this talk, please contact Dan Ghica.

Concurrent garbage collectors (also called “on-the-fly” garbage collectors) were some of the earliest multiprocessor algorithms developed and checking their correctness was a considerable challenge. In this talk, I present the use of the Concurrent Separation Logic to deal with the problem and the lessons learned.

This talk is part of the Lab Lunch series.

This talk is included in these lists:

• CS 124
• Lab Lunch

Note that ex-directory lists are not shown.