Programmeerimiskeelte seminar

Üldinfo

• Aine kood: MTAT.03.196
• Vastutav õppejõud: Varmo Vene
• Ainepunkte: 1
• Seminari toimumise aeg/koht:
• Teisipäev, kell 10.15 - 12.00, L612

Ajakava

• 17. 02 - Sissejuhatus
• 24. 02 - Seminari ei toimu (Eesti Vabariigi aastapäev)
• 03. 03 - Seminari ei toimu (Talvekool Palmses)
• 10. 03 - Aivar Annamaa. Semantics of Transactional Memory and Automatic Mutual Exclusion.
• 17. 03 - Jaak Ristioja. Xoc, an Extension-Oriented Compiler for Systems Programming. [slaidid]
• 24. 03 - Kalmer Apinis. Packrat parsing: simple, powerful, lazy, linear time, functional pearl.
• 31. 03 - Seminari ei toimu (IFIP WG 2.1 meeting)
• 07. 04 - Jaak Randmets. Denotational design with type class morphisms.
• 14. 04 - Sander Sõnajalg. Compiling Scala for the Java Virtual Machine.
• 21. 04 - Martin Pettai. Combining Programming with Theorem Proving.
• 28. 04 - Toomas Römer. Fast subtype checking in the HotSpot JVM.
• 26. 05 - Toomas Römer. Object-Relative Addressing: Compressed Pointers in 64-Bit Java Virtual Machines.

Artiklid

• Semantics of Transactional Memory and Automatic Mutual Exclusion. M.Abadi, A.Birrell, T.Harris, M.Isard. 2008. http://research.microsoft.com/en-us/um/people/tharris/papers/2008-popl.pdf [Aivar Annamaa]
• Packrat parsing: simple, powerful, lazy, linear time, functional pearl. Bryan Ford. 2002. http://pdos.csail.mit.edu/papers/packrat-parsing:icfp02.pdf [Kalmer Apinis]
• Combining Programming with Theorem Proving. C. Chen, H. Xi. 2005. http://www.ats-lang.org/PAPER/CPwTP-icfp05.pdf [Martin Pettai]
• Denotational design with type class morphisms. Conal Elliott. 2008. http://conal.net/papers/type-class-morphisms/ [Jaak Randmets]
• Xoc, an Extension-Oriented Compiler for Systems Programming. R.Cox, T.Bergan, A.Clements, F.Kaashoek, E.Kohler. 2008. http://pdos.csail.mit.edu/xoc/asplos08.pdf [Jaak Ristioja]
• Fast subtype checking in the HotSpot JVM. C.Click, J.Rose. 2002. http://portal.acm.org/citation.cfm?doid=583810.583821 [Toomas Römer]
• Object-Relative Addressing: Compressed Pointers in 64-Bit Java Virtual Machines. K.Venstermans, L.Eeckhout, K.De Bosschere. 2007 http://www.springerlink.com/content/h6803610u1124354/ [Toomas Römer]
• Compiling Scala for the Java Virtual Machine. M.Schinz. 2005. http://lamp.epfl.ch/%7Eschinz/thesis-final-A4.pdf [Sander Sõnajalg]
• 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. http://www.informatik.uni-bonn.de/~ralf/publications/ICFP00.ps.gz
• The Derivative of a Regular Type is its Type of One-Hole Contexts. Conor McBride. 2001. http://strictlypositive.org/diff.pdf
• Comprehensive comprehensions. Simon Peyton Jones and Philip Wadler. 2007. http://homepages.inf.ed.ac.uk/wadler/papers/list-comp/list-comp.pdf
• Fold and unfold for program semantics. Graham Hutton. 1998. http://www.cs.nott.ac.uk/~gmh/semantics.pdf
• Intensional polymorphism in type-erasure semantics. K. Crary, S. Weirich, and G. Morrisett. 2002. doi:10.1017/S0956796801004282