Advanced Seminar: Seminar in automatic tools for analyzing programs with dynamic memory
- Lecturer: Noam Rinetzky
- Time: Sunday, 14:15–16:00, Semester B, 2013/14
- Location: Dan David 201
- Reception Hour: Set by Email
- Course Number: 0368-4480
Announcements
- The seminar begins at 14:15.
- Certain talks will cover two related (and relatively simple) papers.
- Please mail me a list of 3 papers that you'd like to present.
Format
- Mathematical fonts for powerpoint/word can be found here.
- Use the seminar's themes for your presentation and summary.
[Presentation theme] [Summary theme]. - Name your presentation and summary using the seminar's naming conventions, e.g.,
- seminar1314b-lec2-presentation-DieHard.pptx
- seminar1314b-lec2-summary-DieHard.docx
Resources
- Mathematical fonts for powerpoint/word can be found here.
Schedule
| Date | Presenter | Topic | Paper | Presentation | Summary | |||
|---|---|---|---|---|---|---|---|---|
| PPTX | DOCX | |||||||
| 16-02-14 | Noam Rinetzky | Overview | Presentation 1 | Presentation 1 | ||||
| 23-02-14 | Uri Kanonov | Runtime (Hardening) | Paper | Presentation 2 | Presentation 2 | Summary 2 | Summary 2 | |
| 02-03-14 | Itai Polack | Runtime (Monitoring) | Paper | Presentation 3 | Presentation 3 | Summary 3 | Summary 3 | |
| 09-03-14 | Oren Kishon | Testing | Paper 1 Paper 2 |
Presentation 4 | Presentation 4 | Summary 4 | Summary 4 | |
| 23-03-14 | Ronnie Barequet | Pointer analysis | Paper 1 Paper 2 |
Presentation 5 | Presentation 5 | Summary 5 | Summary 5 | |
| 30-03-14 | Adam Polyak | Lightweight static analysis | Paper 1 Paper 2 |
Presentation 6 | Presentation 6 | Summary 6 | Summary 6 | |
| 06-04-14 | Guy Lev | Static analysis | Presentation 7 | Presentation 7 | Summary 7 | Summary 7 | ||
| 27-04-14 | ---- | ---- | ---- | ---- | ---- | ---- | ---- | |
| 04-05-14 | Tal Zelmanovich | Shape Anlaysis |
Paper 1 Paper 2 Paper 3* |
Presentation 9 | Presentation 9 | Summary 9 | Summary 9 | |
| 11-05-14 | Alexander Kogan | Escape Analysis | Paper | Presentation 10 | Presentation 10 | |||
| 18-05-14 | Special Seminar (Schreiber 309): Doron Peled (11:15-12:15) and Shmulik Regev (12:30-14:00) | |||||||
| 25-05-14 | Almog Benin | Concurrent GC | Paper | Presentation 11 | Presentation 11 | Summary 11 | Summary 11 | |
| 01-06-14 | Almog Benin | Owicki Gries Logic | Paper | Presentation 11b | Presentation 11b | |||
| Noam Rinetzky | Verifying Recycling Algotirhms | Paper | Presentation 12 | Presentation 12 | ||||
| 08-06-14 | Summary | |||||||