Grades are published
|Final grades have been published and submitted.|
Slides and next week
|I organized links to papers and presentation slides, under course material. If your lecture does not appear there, or some other material is missing, please send it to me ().|
If you object to posting your slides, let me know (and still send me the slides, we need them for the final evaluation).
Next week, in the final lecture of the seminar, Noam Rinetzky will speak about his paper "Verifying Concurrent Memory Reclamation Algorithms with Grace".
No lecture next week
|There will be no lecture in the seminar next week (17.6).|
We'll meet again on 24.6.
Presentation slides available
|All presentations are available here:|
List of papers / dates is (finally) available
|The schedule and list of papers are available here:|
Papers assigned on first-come,first-served basis.
Please send e-mails to Eran.