Programmeerimiskeelte semantika uurimisseminar

Üldinfo

Aine kood: MTAT.03.204
Vastutav õppejõud: Varmo Vene
Ainepunkte: 3
Konverentsi ajakava

Esialgne ajakava

25. 09., kell 10.15, Liivi 2, 315
- Sissejuhatus.
- Teemade tutvustus.
- Ajakava paikapanek.
09. 10., kontakt e-mailiga
- Igalt osalejalt tagasiside maili teel.
- Teema peab olema valitud.
16. 10., kontakt e-mailiga
- Teema lühisissejuhatus; sisukord ja kava; Lähtematerjali lühitutvustus.
- Kirjalikus vormis ca 1-3 lk.
06. 11., kell 10.15, Liivi 2, 315
- Vahekokkuvõte.
- Vormistuslikud küsimused.
- Esitada kirjatöö mustand (ca 2/3 ulatuses valmis).
- Ettekanded (ca. 5 min, 1-2 slaidi) oma teema tutvustamiseks.
16. 11., kontakt e-mailiga
- Artiklid hindamisele kaastudengitele.
30. 11., kontakt e-mailiga
- Retsensioonide kokkukogumine, laialijagamine.
14. 12., kontakt e-mailiga
- Lõppversioonide esitamine.
7-8.01., Liivi 2 - 612, Konverents (algus 10.15)
- Teemade kaupa grupeeritud-järjestatud loengud.
- Iga ettekanne arvestuslikult 45 min (40 + 5).

Teemad

Funktsionaalne programmeerimine

Funktsionaalsed sõltuvused vs assotsieeritud tüübid vs tüübipered [Jaak Randmets]
- Asociated Types with Class. Chakravarty, M. M. T., Keller, G., Peyton Jones, S., Marlow, S. POPL 2005. http://research.microsoft.com/~simonpj/papers/assoc-types/assoc.ps
- Associated Type Synonyms. Chakravarty, M. M. T., Keller, G., Peyton Jones, S. ICFP 2005. http://research.microsoft.com/~simonpj/papers/assoc-types/at-syns.ps
- Towards Open Type Functions for Haskell. Schrijvers, T., Sulzmann, M., Peyton-Jones, S., Chakravarty, M. IFL 2007. http://research.microsoft.com/~simonpj/papers/assoc-types/ifl2007.pdf
Zipper [Rein Raudjärv]
- The Zipper. Gerard Huet. 1997. http://www.st.cs.uni-sb.de/edu/seminare/2005/advanced-fp/docs/huet-zipper.pdf
- Scrap Your Zippers Michael Adams, 2007. https://www.cs.indiana.edu/~adamsmd/papers/scrap_your_zippers/ScrapYourZippers.pdf

Programmianalüüs

BDD-based analysis [Raivo Laanemets]
- http://bddbddb.sourceforge.net/
- Context-sensitive program analysis as database queries. Monica S. Lam et al, PODS'05. http://portal.acm.org/citation.cfm?id=1065169
- Context-Sensitive Pointer Analysis using Binary Decision Diagrams. John Whaley, Ph.D. thesis, Stanford University, March 2007. http://suif.stanford.edu/~jwhaley/
BDD-based analysis for Java Race Detection [Maiga Kolk]
- http://chord.stanford.edu/
- Effective Static Race Detection for Java. Mayur Naik, Alex Aiken, and John Whaley. PLDI'06. http://portal.acm.org/citation.cfm?id=1133981.1134018
Boolean satisfiability-based analysis [Kalmer Apinis]
- http://saturn.stanford.edu/
- Sound, complete and scalable path-sensitive analysis. Isil Dillig, Thomas Dillig, Alex Aiken, PLDI'08. http://portal.acm.org/citation.cfm?id=1375581.1375615

Varia

Makrokeeled [Aivar Annamaa]
- Syntactic Abstraction in Scheme. R. Kent Dybvig, Robert Hieb, Carl Bruggeman, Lisp and Symbolic Computation, 1992. http://www.cs.indiana.edu/~dyb/pubs/LaSC-5-4-pp295-326.pdf
- Exploiting the m4 macro language. Kenneth J. Turner, Technical Report CSM-126, 1994. http://www.cs.stir.ac.uk/~kjt/research/pdf/expl-m4.pdf
- Growing Languages with Metamorphic Syntax Macros. Claus Brabrand and Michael Schwartzbach, PEPM 2002. http://www.brics.dk/bigwig/publications/macro.pdf
Multistaged Proogramming and MetaML [Henri Lakk]
- Using MetaML: A staged Programming Language. Tim Sherad. AFP 1998. http://web.cecs.pdx.edu/~sheard/papers/summerschool.ps
- Staging Algebraic Datatypes. Tim Sheard, Iavor Diatchki. http://web.cecs.pdx.edu/~sheard/papers/stagedData.ps
Deforestation [Ain Jahhu]
- Deforestation: transforming programs to eliminate trees. Phil Wadler. TCS 1990. http://homepages.inf.ed.ac.uk/wadler/topics/deforestation.html
- A short cut to deforestation. A.Gill, S.Peyton Jones. FPCA 1993. http://research.microsoft.com/~simonpj/papers/deforestation-short-cut.ps.Z"
JavaScript Virtual Machines [Jaak Ristioja]
- Efficient Just-In-Time Execution of Dynamically Typed Languages Via Code Specialization Using Precise Runtime Type Inference http://www.ics.uci.edu/~franz/Site/pubs-pdf/ICS-TR-07-10.pdf
- The Structure and Performance of Efficient Interpreters http://citeseer.ist.psu.edu/cache/papers/cs/32018/http:zSzzSzwww.jilp.orgzSzvol5zSzv5paper12.pdf/ertl03structure.pdf
- Virtual Machine Showdown: Stack Versus Registers http://www.sagecertification.org/events/vee05/full_papers/p153-yunhe.pdf
- The Implementation of Lua 5.0 http://www.tecgraf.puc-rio.br/~lhf/ftp/doc/jucs05.pdf
- V8 JavaScript Engine http://code.google.com/p/v8/
- TraceMonkey JavaScript VM https://wiki.mozilla.org/JavaScript:TraceMonkey
- SquirrelFish JIT http://webkit.org/blog/189/announcing-squirrelfish/
Actor concurrency model [Sander Sõnajalg]
- ACTORS: A Model of Concurrent Computation in Distributed Systems https://dspace.mit.edu/bitstream/1721.1/6952/1/AITR-844.ps
- An Object-Oriented Programming Model for Event-Based Actors http://lamp.epfl.ch/~phaller/doc/haller06da.pdf
- Remote Actors for Distributed Programming https://lampsvn.epfl.ch/trac/scala/export/13661/scala/branches/remoteactors/report/main.pdf
- Concurrent Programming in ERLANG http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=F8261782C24E3D86282CAF4653D54A26?doi=10.1.1.33.6333&rep=rep1&type=pdf
- Kilim: Isolation typed actors for Java http://www.cl.cam.ac.uk/~am21/papers/ecoop08.pdf

Viited

Retsenseerimisvorm.
I. Parberry, "A Guide for New Referees in Theoretical Computer Science". Information and Computation, Vol. 112, No. 1, pp. 96-116, 1994.
Vormistusjuhend (J.Vilo)
2003 a. J.Vilo organiseeritud "Andmekaevanduse uurimisseminari" veebileht

Varmo Vene