Main Contributions Expected from the Students

  • write a term paper on one of the topics below, 4 pages SIGPLAN style
  • write a review about somebody else's term paper, at least 500 words
  • present your work in a 20 minutes talk plus 5 minutes discussion
  • participate in each other's discussions


Instructors


Important dates

date description
Friday, 30.10.2009, 14.15 h kick-off meeting in Prof. Ostermann's office 05D15
Wednesday, 04.11.2009 registration deadline
Sunday, 17.01.2010 paper deadline
Sunday, 31.01.2010 review deadline
Sunday, 14.02.2010 paper deadline (final version)
Thursday, 11.03.2010, 10.00 h talks


Topics

Modularity

D. L. Parnas. On the criteria to be used in decomposing systems into modules. In Communications of the ACM 15,12 (1053―1058). ACM. New York, 1972. [link]

Abstract Data Types

Barbara Liskov and Stephen Zilles. Programming with abstract data types. In ACM SIGPLAN Notices 9, 4 (50―59). ACM. New York, 1974. [link]
student: Youssef Ibrahim, supervisor: Tillmann Rendel

Functions

Guy Steele. Debunking the "expensive procedure call" myth or, procedure call implementations considered harmful or, LAMBDA: The Ultimate GOTO. In Proc. of the 1977 annual conference. ACM. New York, 1977. [link]
student: Bastian Hoßbach, supervisor: Sebastian Erdweg

Standard ML module system

David MacQueen. Modules for Standard ML. In Proceedings of the 1984 ACM Conference on LISP and Functional Programming. ACM. New York, 1984. [link]

Virtual Classes

Ole Lehrmann Madsen and Birger Møller-Pedersen. Virtual classes: a powerful mechanism in object-oriented programming. In Conference proceedings on Object-oriented programming systems, languages and applications. ACM. New York, 1989. [link]
student: Nico Huber, supervisor: Tillmann Rendel

Type Classes

Philip Wadler and Stephen Blott. How to make ad-hoc polymorphism less ad hoc. In Proceedings of the 16th Symposium on Principles of Programming Languages. ACM. New York, 1989. [link]
student: Mehdi Zarrad, supervisor: Sebastian Erdweg

Aspect-Oriented Programming

Gregor Kiczales, John Lamping, Anurag Mendhekar, Chris Maeda, Cristina Videira Lopes, Jean-Marc Loingtier, and John Irwin. Aspect-Oriented Programming. In Proc. of the European Conference on Object-Oriented Programming. Springer-Verlag LNCS 1241. 1997. [link]

Separate Compilation

Luca Cardelli. Program fragments, linking, and modularization. In Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages. ACM. New York, 1997. [link]

Functional Reactive Programming

Henrik Nilsson, Antony Courtney, and John Peterson. Functional Reactive Programming, continued. In Proceedings of the 2002 ACM SIGPLAN workshop on Haskell. ACM. New York, 2002. [link]

Higher-Kinded Generics

Adriaan Moors, Frank Piessens, and Martin Odersky. Generics of a Higher Kind. In Proc. of the 23rd ACM SIGPLAN conference on Object-Oriented Programming Systems Languages and Applications. ACM. New York, 2008. [link]
student: Marc Seidemann, supervisor: Tillmann Rendel