Teisipäev, 8. detsember (L2 - 405) | ||
09.15-10.00 | Aivar Annamaa | MetaBorg: Domain-specific Language Embedding and Assimilation |
10.15-11.00 | Andrey Breslav | A report on "A Generator for Type Checkers" by H. Gast |
11.15-12.00 | Jaak Ristioja | Turvalised infovood ja nende kontroll |
Teisipäev, 8. detsember (L2 - 404) | ||
14.15-15.00 | Jaak Randmets | Erindid Haskellis |
15.15-16.00 | Martin Pettai | Proving Properties of Randomized Algorithms |
16.15-17.00 | Sander Sõnajalg | Program Analysis Techniques for Method Call Devirtualization in Object-Oriented Languages |
Teisipäev, 22. detsember (L2 - 405) | ||
10.15-11.00 | Raivo Laanemets | Software Model Checking and The BLAST Toolkit |
11.15-12.00 | Vesal Vojdani | Static Data Race Analysis for C |