- Nimetus: Programmeerimiskeelte uurimisseminar (MTAT.03.271), 3 EAP
- Toimumisaeg: Neljapäevad, 16:15 - 17:45 (ei toimu kõikidel nädalatel)
- Koht: Liivi 2-611
- Lisainfo: aivar.annamaa@ut.ee
- Arvestuse saamiseks tuleb:
- töötada läbi üks viimase 10 aasta POPL artikkel (väga tõenäoliselt nõuab see ka mitme antud teemaga seotud varasema artikliga tutvumist);
- selle artikli põhjal ette valmistada ja läbi viia 90 minutiline interaktiivne ettekanne -- st. tuleks arvestada rohkete küsimustega, samuti tuleb ettekande ajal jälgida, et kuulajad jõuavad sammu pidada. Ettekande materjali maht võiks olla selline, et ilma segamata saaks selle ette kanda ca 60 minutiga. NB! Ettekande slaidid tuleb saata Aivarile ülevaatamiseks vähemalt 48 tundi enne ettekande toimumist, vastasel juhul tühistatakse antud ettekande aeg ja ettekanne nihutatakse mõnele vabale nädalale (või sessi). Kaks tühistamist toovad kaasa tulemuse "mittearvestatud";
- valida teiste tudengite teemade seast 2 teemat, millega tuleks samuti ennast hästi kurssi viia; vastavate ettekannete ajal tuleb osaleda eriti aktiivselt -- ühe ettekande juures tuleks võtta ettekandjat abistav hoiak, teise juures oponeeriv hoiak;
- "tavakuulajana" tuleb osaleda veel vähemalt 2 seminaril (kokku tuleb ca 7 ettekandega seminari).
NB! Kui ettekanne või oponeerimine/abistamine jäävad lahjaks, siis tuleb arvestuse saamiseks teha veel üks ettekanne (tõeäoliselt sessi ajal).
Teemad
Teema tuleb valida viimase 10 aasta (2005-2014) POPL konverentsi artiklite seast: http://dl.acm.org/event.cfm?id=RE180. Jaotuse Principles of Programming Languages alt klõpsa sobivat aastat ja uuel lehel vali sakk "Table of contents". PDF-id on kättesaadavad TÜ võrgus olles. Enamus artikleid on tõenäoliselt ka autorite nimede ja pealkirja järgi mujalt leitavad.
Ajakava
- 13.02 - esimene kohtumine, korralduse tutvustus.
- 20.02 - põhiteema valimise tähtaeg, saada teema Aivarile (seminari sel nädalal ei toimu)
- 27.02 - 2 lisateema (oponendi ja abistaja rolli jaoks) valimise tähtaeg (seminari ei toimu)
06.03- seminari ei toimu (Arvutiteaduse Talvekool)13.03- (praeguse plaani järgi siin seminari ei toimu)20.03 - Mirko (Ramalingam, Vaswani, Fault tolerance via idempotence)LÜKKUB EDASI- 27.03 - Oleg (Demange et al, Plan B: a buffered memory model for Java)
- Eksperdid: Mirko (oponent) & Viktor
- 03.04 - Mirko (Ramalingam, Vaswani, Fault tolerance via idempotence)
- Eksperdid: Oleg & Kristjan
- 10.04 - Karl (Stroustrup, Specifying C++ Concepts), (PDF)
- Eksperdid: Jaak
- 17.04 - Jaak (Survey on Instruction Selection: An Extensive and Modern Literature Review)
- Eksperdid: Filipp & Viktor
- 24.04 - Viktor (Miller, Hicks, Katz, Shi, Authenticated data structures, generically)
- Eksperdid: Jaak & Oleg
01.05- seminari ei toimu (riigipüha)08.05- seminari ei toimu (mitu osalejat ei saa tulla)15.05- seminar lükkub edasi- 22.05 - Kristjan (J.Voigtländer, Bidirectionalization for Free!)
- Eksperdid: Filipp & Mirko (kuraator)
- 29.05 - Filipp (Hofmann, Pierce, Wagner, Edit lenses)
- Eksperdid: Kristjan & Aivar