This graduate seminar provides doctoral students in computer science a chance to read and discuss current research papers. Enrollment requires permission of the instructors. Credit units are granted only to active participants.
The main goals of this seminar are learning about current research results in the area of programming languages, static program analysis, program verification, and related areas, as well as practice of scientific presentations and discussions.
|Oct 8||Seminar Overview: objectives, how to read papers||Peter Müller
|Oct 15||The essence of language-integrated query, ICFP'13||Yannis Kassios|
|Oct 22||Scala Macros: Let Our Powers Combine!, Scala'13||Dimitar Asenov|
|Oct 29||No Seminar|
|Nov 5||Inductive Invariant Generation via Abductive Inference, OOPSLA'13||Milos Novacek
|Nov 12||Predicate Abstraction and Refinement for Verifying Multithreaded Programs, POPL'11||Andrei Dan
|Nov 19||Continuity Analysis of Programs, POPL'10||Valentin Wüstholz
|Dec 3||A Data Driven Approach for Algebraic Loop Invariants, ESOP'13||Maria Christakis
|Dec 10||Differential Assertion Checking, FSE'13||Andrei Dan
|Dec 17||Liquid Types, PLDI'08||Alexander Summers