Arvutiteaduse instituut
  1. Kursused
  2. 2012/13 sügis
  3. Programmeerimiskeelte uurimisseminar (MTAT.03.271)
EN
Logi sisse

Programmeerimiskeelte uurimisseminar 2012/13 sügis

Muuda lehte
Muudatuste ajalugu Üleslaetud failid
  • Home
Muuda külgriba

Programming Languages Research Seminar (MTAT.03.271), 3 EAP

  • Time: Mondays, 12:15 - 13:45 (only selected weeks)
  • Place: Liivi 2-512
  • Contact: aivar.annamaa@ut.ee
  • Students are expected to:
    1. choose a PL-related topic and give a short (5-7 min) presentation about it
    2. write an overview report/literature review on their topic:
      • 3000-6000 words (about 10-20 pages)
      • can be either in English or in Estonian
      • introduces main ideas of the topic
      • covers both "classic" works and recent proposals
      • outlines most important differences between different approaches
      • should be accessible to anybody interested in PL, includes introduction to a related topic if necessary
    3. review the work of 2 other students
    4. present their own paper at a "mini-conference" (in December)
    5. attend at least 2/3 of the conference presentations

Topics and reviewers

  • Filipp -- Pluggable Type Systems (intro slides, final paper)
    • reviewed by Kristjan & Oleg
  • Jaak -- Static Resource Analysis (intro slides, final paper)
    • reviewed by Filipp & Svetlana
  • Juri -- Visual Programming Languages (intro slides, final paper)
    • reviewed by Svetlana & Jaak
  • Kristjan -- Purely Functional Data Structures (intro slides, final paper)
    • reviewed by Filipp & Jaak
  • Mihhail -- Dynamic Software Updates (intro slides, draft paper)
    • reviewed by Oleg & Urmas
  • Oleg -- Code Binding and Loading (intro slides, final paper)
    • reviewed by Kristjan & Mihhail
  • Svetlana -- Refactoring in the Context of Programming Language Evolution (intro slides, final paper)
    • reviewed by Urmas & Juri
  • Urmas -- Multiple Inheritance (intro slides, final paper)
    • reviewed by Juri & Mihhail

Schedule

  • 10.09 - first meeting (12:15, Liivi 2-512)
  • 20.09 - choose the topic and language (Estonian or English; e-mail to Aivar)
  • 24.09 - short presentation (5-7 min) about your topic (12:15, Liivi 2-512)
  • 15.10 - intermediate version of the paper (50% ready; e-mail to Aivar). Within 1 week, Aivar sends back comments.
  • 16.11 - full version of the paper (e-mail to Aivar)
  • 02.12 - reviews (e-mail to authors and Aivar)
  • 16.12 - final version (e-mail to reviewers and Aivar)
  • 14.01, 11:00-14:00 - first presentations session (Liivi 2-317):
    • Kristjan, "Purely Functional Data Structures"
    • Jaak, "Static Resource Analysis"
    • Filipp, "Pluggable Type Systems"
    • Oleg, "Code Binding and Loading"
  • 18.01, 11:00-13:15 - second presentations session (Liivi 2-317):
    • Juri, "Visual Programming Languages"
    • Urmas, "Multiple Inheritance"
    • Svetlana, "Refactoring in the Context of Programming Language Evolution"

NB! Deadlines are (kind of) strict -- accumulating delays more than 5 days results in "fail".

Topic ideas

  • GPU programming languages (http://dl.acm.org/citation.cfm?id=882362)
  • Quantum programming languages (http://www.quantiki.org/wiki/Quantum_Programming_Language)
  • Purely functional data structures (http://en.wikipedia.org/wiki/Purely_functional)
  • Multi-stage programming (http://www.cs.rice.edu/~taha/MSP/)
  • Programming language syntax design (http://lambda-the-ultimate.org/node/3523)
  • Updating running programs (http://www.cs.umd.edu/projects/PL/dsu/)
  • Safe systems programming languages (http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.107.7753)
  • Optimizations in functional languages (http://en.wikipedia.org/wiki/Compiler_optimization#Functional_language_optimizations)
  • Visual programming languages (http://en.wikipedia.org/wiki/Visual_programming_language)
  • Multiple inheritance (http://en.wikipedia.org/wiki/Multiple_inheritance)
  • Type inference (http://en.wikipedia.org/wiki/Type_inference)
  • Read-only and immutability (http://www.cs.uwm.edu/~boyland/papers/readonly-talk.pdf)
  • Aliasing & Ownership types (http://ecs.victoria.ac.nz/Events/IWACO2011/)
  • Security-related type systems (eg. http://citeseerx.ist.psu.edu/viewdoc/summary;jsessionid=BAFF13798CB40E18AA6CD6D1BBE0F642?doi=10.1.1.10.3979)
  • Pluggable type systems (http://bracha.org/pluggable-types.pdf)
  • Effect systems (http://en.wikipedia.org/wiki/Effect_system)
  • Many more type systems-related research problems are discussed here: http://www.cis.upenn.edu/~bcpierce/papers/harmful-mfps.pdf
  • ...

Links

  • http://lambda-the-ultimate.org/ -- check the forums to get an overview of diverse topics programming languages people are dealing with (NB! the focus is skewed towards more abstract topics here)
  • Conferences, workshops, journals:
    • POPL '12
    • CC '12 (Compiler Construction)
    • ESOP '12
    • ETAPS '12 Workshops
    • http://splashcon.org/2011/program/oopsla-research-papers
    • http://ecoop11.comp.lancs.ac.uk/?q=program/papers
    • http://www.jot.fm/
    • http://www.icfpconference.org/icfp2011/accepted.html
  • Arvutiteaduse instituut
  • Loodus- ja täppisteaduste valdkond
  • Tartu Ülikool
Tehniliste probleemide või küsimuste korral kirjuta:

Kursuse sisu ja korralduslike küsimustega pöörduge kursuse korraldajate poole.
Õppematerjalide varalised autoriõigused kuuluvad Tartu Ülikoolile. Õppematerjalide kasutamine on lubatud autoriõiguse seaduses ettenähtud teose vaba kasutamise eesmärkidel ja tingimustel. Õppematerjalide kasutamisel on kasutaja kohustatud viitama õppematerjalide autorile.
Õppematerjalide kasutamine muudel eesmärkidel on lubatud ainult Tartu Ülikooli eelneval kirjalikul nõusolekul.
Tartu Ülikooli arvutiteaduse instituudi kursuste läbiviimist toetavad järgmised programmid:
euroopa sotsiaalfondi logo