(C) 2011, AG Softwaresprachen and Prof. Dr. R. Lämmel
This is the site for the Summer Semester 2011 edition of the Seminar "Software Languages"
Navigation
- Wiki: "Timeless" course site
Design
The following themes were selected for the current edition:
- Modern programming models for parallelism and concurrency
- Applications of cluster analysis in computer science
- Foundations and applications of incremental algorithms
The hidden key subject is parallelism and concurrency.
The other topics feed into the discussion as algorithmic domains that challenge parallelism.
Overall, the topics were selected on the grounds of discussion and interests of all participants incl. the prof.
See "How to ...?" for a general guide.
SVN
Participants have access to the designated svn area: https://svn.uni-koblenz.de/softlang/main/courses/seminar11
There is a subdirectory per student.
Dates
- 15 Feb: Initial meeting (6.00pm, B 013)
- 17 May: Confirmation of working title per student by email
- 20 June: Individual consultation: literature, research question, sketch of talk
- 1 July: Workshop
- 10 Aug: Mature draft paper
- 15 Aug: Review deadline
- 21 Aug: Final paper
Participants and topics and references
The given references are only meant to inspire students who are supposed to identify a coherent set of references themselves.
- Jan Baltzer
- Topic: Language support for concurrency
- References
- Andreas Brandt
- Topic: Issues with Software Transactional Memory (STM)
- References
- Patrick Geib
- Topic: Foundations and applications of GPU
- References
- Kristina Heckelmann
- Topic: Foundations and applications of incremental algorithms
- References
- http://www.hse.ru/data/608/360/1225/sdarticle.pdf
- http://dx.doi.org/10.1145/109648.109664
- http://dx.doi.org/10.1145/1959045.1959065
- http://dx.doi.org/10.1145/42192.42193
- http://www.springerlink.com/content/84xv413435508500/
- http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.77.5496
- http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.14.1550
- Michael Klostermann
- Topic: Data centers and application services in the cloud
- References
- http://dx.doi.org/10.1145/1807167.1807231
- http://dx.doi.org/10.1145/1809049.1809055
- http://dx.doi.org/10.1145/1890799.1890804
- http://dx.doi.org/10.1145/1807128.1807136
- http://dx.doi.org/10.1145/1594156.1594168
- http://dx.doi.org/10.1145/1595422.1595424
- http://dx.doi.org/10.1145/1809049.1809053
- http://dx.doi.org/10.1145/1900008.1900108
- http://dx.doi.org/10.1145/1809049.1809051
- Michael Kusenbach
- Topic: Enhancements of the MapReduce programming model
- References
- See related work section of http://softlang.uni-koblenz.de/deltamr/
- Martin Prinzen
- Topic: SQL, some SQL, no SQL (noSQL), or how much SQL?
- References
- http://dx.doi.org/10.1145/1966989.1971597
- http://dx.doi.org/10.1145/1721654.1721659
- http://dx.doi.org/10.1145/1924421.1924436
- http://dx.doi.org/10.1145/1952746.1961297
- http://dx.doi.org/10.1145/1779599.1779600
- http://dx.doi.org/10.1145/1900008.1900067
- http://dx.doi.org/10.1145/1925861.1925869
- http://dx.doi.org/10.1145/1807128.1807152
- http://dx.doi.org/10.1145/1809049.1809051
- Sebastian Jackel:
- Topic: Leverage of LLVM for modern language implementation
- References
- Philipp SchusterSebastian Jackel:
- Topic: Specifics of Erlang's superpower in fault tolerance et al.
- References
- http://dx.doi.org/10.1145/1953163.1953223
- http://dx.doi.org/10.1145/1238844.1238850
- http://dx.doi.org/10.1145/1596600.1596604
- http://dx.doi.org/10.1145/1292520.1292528
- http://dx.doi.org/10.1145/1411273.1411281
- http://dx.doi.org/10.1145/1596600.1596602
- http://dx.doi.org/10.1145/940880.940888
- http://dx.doi.org/10.1145/1292520.1292522
- http://dx.doi.org/10.1145/1159789.1159793
- http://dx.doi.org/10.1145/1088361.1088367
- http://dx.doi.org/10.1145/1022471.1022474
- Matthias Schmidt:
- Topic: Applications of cluster analysis in software engineering
- References
- http://dx.doi.org/10.1145/331499.331504
- http://www.inf.u-szeged.hu/~busarobi/PDFs/ToToBu09.pdf
- http://dx.doi.org/10.1145/1596527.1596528
- http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.132.8672
- http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.67.7176
- http://dx.doi.org/10.1145/1806672.1806683
- http://academic.research.microsoft.com/Publication/4704203/software-clustering-using-dynamic-analysis-and-static-dependencies
- http://dx.doi.org/10.1109/ASE.2008.54
- http://www.petrdostal.eu/papers/cla11.pdf
Left-over topics
- PLinq and related approaches
- Applications of cluster analysis in image recognition
- Irregular (nested) data parallelism
- Fast linear algebra libraries