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 -- ???

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/j.cl.2008.06.003
Normalization by evaluation with typed abstract syntax. Olivier Danvy, Morten Rhiger and Kristoffer H. Rose. 2001. http://www.brics.dk/RS/01/16/BRICS-RS-01-16.pdf
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. http://strictlypositive.org/diff.pdf
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: