This seminar class will cover advanced topics in programming language implementation, analysis and semantics.

List of topics: Gradual/hybrid typing, Ownership types, Separation logic, Model checking, Semantics of Concurrency, Automatic parallelization, Software updating, Aspect oriented programming, Real-time and Concurrent Garbage Collection, Persistence.

(drawing by Luca Cardelli, http://lucacardelli.name/Drawings.htm)