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:
- choose a PL-related topic and give a short (5-7 min) presentation about it
- 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
- review the work of 2 other students
- present their own paper at a "mini-conference" (in December)
- 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: