Seminar on Programming Languages

  • Seminars: Mondays 14:15, Liivi 2-512
  • Questions: aivar.annamaa at ut dot ee


  • March 5th, Mirko Adari -- Advanced Java Bytecode Instrumentation (paper)
  • March 19th, Abel Armas Cervantes -- The Beauty and the Beast: Separating Design from Algorithm (paper) (Attach:beauty_slides.pdf)
  • April 2nd, Mirko Adari -- Bytecodes meet combinators: invokedynamic on the JVM(paper)
  • April 9th, Svetlana Omelkova -- Introduction to Perl
  • April 16th, Abel Armas Cervantes -- Catch me if you can: performance bug detection in the wild (paper) (Attach:catch_slides.pdf)
  • May 7th, Svetlana Omelkova -- ???

Some proposed topics for presentations

NB! You are free to choose your own PL-related topic!

  • The marriage of effects and monads. Wadler. 1998. doi:10.1145/289423.289429
  • Witnessing side effects. T. Terauchi, A. Aiken. 2008. doi:10.1145/1353445.1353449
  • A virtual class calculus. Ernst, Ostermann, Cook. 2006. doi:10.1145/1111037.1111062
  • Generics of a higher kind. Moors, Piessens, Odersky. 2008 doi:10.1145/1449764.1449798
  • Practical, pluggable types for a dynamic language. Haldiman, Denker, Nierstrasz. 2007. doi:10.1016/
  • Normalization by evaluation with typed abstract syntax. Olivier Danvy, Morten Rhiger and Kristoffer H. Rose. 2001.
  • Deriving Backtracking Monad Transformers. Ralf Hinze. 2000. doi:10.1145/351240.351258
  • The Derivative of a Regular Type is its Type of One-Hole Contexts. Conor McBride. 2001.
  • Intensional polymorphism in type-erasure semantics. K. Crary, S. Weirich, and G. Morrisett. 2002. doi:10.1017/S0956796801004282
  • Ott: Effective tool support for the working semanticist. P. Sewell, et al. 2010. doi:10.1017/S0956796809990293
  • Combining abstract interpreters. S. Gulwani, A. Tiwari. 2006. doi:10.1145/1133981.1134026

Conferences & Journals:

Page edit