Programmeerimiskeelte seminar

Üldinfo

Aine kood: MTAT.03.196
Vastutav õppejõud: Varmo Vene
Ainepunkte: 2 EAP
Seminari toimumise aeg/koht:

Teisipäev, kell 14.15 - 16.00, L403

Ajakava

09. 02 - Sissejuhatus
23. 02 - Modular static analysis for object-oriented programs [Aivar Annamaa]
09. 03 - Parsing abstract strings [Andrey Breslav]
23. 03 - Finding Leaked ClassLoaders with Dominators [Jevgeni Kabanov]
30. 03 - Interpreting program synthesis as program verification [Jaak Ristioja]
06. 04 - SPEED: Precise and Efficient Static Estimation of Program Computational Complexity strings [Andrey Breslav]
13. 04 - Program Transformation with Stratego/XT [Margus Freudenthal]
20. 04 - The Worker/Wrapper Transformation [Jaak Randmets]
04. 05 - Static Type Inference for Ruby [Sander Sõnajalg]
11. 05 - Javari: adding reference immutability to Java [Rauno Ots]

Artiklid

IDE Dataflow Analysis in the Presence of Large Object-Oriented Libraries. A. Rountev, M. Sharp, G. Xu. 2008. doi:10.1007/978-3-540-78791-4_4
SPEED: precise and efficient static estimation of program computational complexity. S. Gulwani, K. K. Mehra, T. Chilimbi. 2009. doi:10.1145/1480881.1480898 [Andrey Breslav]
From Program Verification to Program Synthesis. S. Srivastava, S. Gulwani, J. S. Foster. 2010. doi:10.1145/1706299.1706337 [Jaak Ristioja]
Program Transformation with Stratego/XT. Rules, Strategies, Tools, and Systems in Stratego/XT 0.9. E. Visser. 2004. http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-011.pdf [Margus Freudenthal]
Fold and unfold for program semantics. Graham Hutton. 1998. http://www.cs.nott.ac.uk/~gmh/semantics.pdf [Jürmo Mehine]
Comprehensive comprehensions. Simon Peyton Jones and Philip Wadler. 2007. http://homepages.inf.ed.ac.uk/wadler/papers/list-comp/list-comp.pdf [Janar Lokk]
Javari: adding reference immutability to Java. M. S. Tschantz, M. D. Ernst. 2005. doi:10.1145/1094811.1094828 [Rauno Ots]
The worker/wrapper transformation. A. Gill, G. Hutton. 2009. doi:10.1017/S0956796809007175 [Jaak Randmets]
A Simple, Fast Dominance Algorithm. K. D. Cooper, T. J. Harvey, K. Kennedy. 2000. http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.13.5904&rep=rep1&type=pdf [Jevgeni Kabanov]
Static type inference for Ruby. M. Furr, J. An, J. Foster, M. Hicks. 2009. http://portal.acm.org/citation.cfm?id=1529700 [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. doi:10.1145/351240.351258
The Derivative of a Regular Type is its Type of One-Hole Contexts. Conor McBride. 2001. http://strictlypositive.org/diff.pdf
Intensional polymorphism in type-erasure semantics. K. Crary, S. Weirich, and G. Morrisett. 2002. doi:10.1017/S0956796801004282
Ott: Effective tool support for the working semanticist. P. Sewell, et al. 2010. doi:10.1017/S0956796809990293
Combining abstract interpreters. S. Gulwani, A. Tiwari. 2006. doi:10.1145/1133981.1134026
Witnessing side effects. T. Terauchi, A. Aiken. 2008. doi:10.1145/1353445.1353449