G711 '05


The purpose of the project was explained in class and is summarized on the general syllabus page.

Stage 1 Pick a paper that you want to understand. We suggest a paper from 1980 to 2005. Look at the conferences or journals discussed in class. Read the abstracts and motivational sections. If it interests you, figure out what part of the paper you want to elaborate (semantics, types, implementation, etc). Students in PL/SE should probably focus on recent results; others may wish to look at old results.

Get approval by November 8 for your chosen paper from one of the instructors. We will ensure that you have mutually disjoint topics.

Stage 2 Formulate your problem statement as a one-page tex'ed or word'ed memo to the two instructors of the course. As discussed, it is imperative that you learn to develop your own problem statements. This is your first chance.

Your memo should include a short bibliography. The development of this bibliography should start with the chosen paper. You should then backtrack and find those cited papers that you need to read (abstract, motivational section, some details) to study your topic.

You will turn in this memo by November 15 (6pm) and get feedback from your instructors at three levels: content, general writing, low-level writing. You may wish to work with a partner to prepare the memo; if so, acknowledge the partner.

Stage 3 Just do it! There is nothing like working on your chosen topic. Experience the feeling of understanding what the author really meant; what the author could have done. -- Do not hesitate to consult with an instructor if you're stuck! We expect to see you at some point during this period.

Stage 4 Report on your experience in a revised version of the memo; don't use more than two pages. That is, elaborate your problem statement because you will have insights that improve your understanding. Then add a couple of paragraphs on your work. The revised memo is due on December 5 @ NOON.

Stage 5 Prepare a five to ten minute presentation that describes your problem, its background, and your work. Divide the time so that you spend at least half the time on the problem and its background.

Deliverables Your final deliverables are: (1) the presentation; (2) two-page memo; and (3) an appendix that documents your project work.

Approved Papers:


@inproceedings{ kanneganti93what,
 author = "Ramarao Kanneganti and Robert Cartwright",
 title = "What is a Universal Higher-Order Programming Language?",
 booktitle = "ICALP (Automata, Languages and Programming)",
 pages = "682-695",
 year = "1993"

 title  {Shinn-Der Lee and Daniel P. Friedman}
 author = {First-Class Extents}
 journal = {LISP and Symbolic Computation}
 year = {1993}
 volume = {5}
 pages = {343--375}

 author = {Naftaly H. Minsky and David Rozenshtein},
 title = {A law-based approach to object-oriented programming},
 booktitle = {OOPSLA '87: Conference Proceedings on Object-Oriented 
   Programming Systems, Languages And Applications},
 year = {1987},
 isbn = {0-89791-247-0},
 pages = {482--493},
 location = {Orlando, Florida, United States},

 author = "J. Michael Ashley and R. Kent Dybvig",
 title = "An Efficient Implementation of Multiple Return Values in Scheme",
 publisher = "ACM",
 year = "1994",
 address = "Orlando, Florida, USA",
 conference = "Lisp and Functional Programming",
 pages = "140--149"

 author = {Olin Shivers and David Fisher},
 title = {Multi-return function call},
 journal = {SIGPLAN Not.},
 volume = {39},
 number = {9},
 year = {2004},
 issn = {0362-1340},
 pages = {79--89},
 doi = {http://doi.acm.org/10.1145/1016848.1016864},
 publisher = {ACM Press},
 address = {New York, NY, USA},

 author = {V\'eronique Benzaken and Giuseppe Castagna and Alain Frisch},
 title = {CDuce: an XML-centric general-purpose language},
 booktitle = {ICFP '03: Proceedings of the Eighth ACM SIGPLAN 
  International Conference on Functional programming},
 year = {2003},
 isbn = {1-58113-756-7},
 pages = {51--63},
 location = {Uppsala, Sweden},

@inproceedings{ cardelli88structural,
 author = "Luca Cardelli",
 title = "Structural Subtyping and the Notion of Power Type",
 booktitle = "Conference Record of the Fifteenth Annual {ACM}
   Symposium on Principles of Programming Languages",
 address = "San Diego, California",
 pages = "70--79",
 year = "1988" 

 author = {Dorai Sitaram},
 title = {Unwind-protect in portable Scheme},
 conference = {Fourth Workshop on Scheme and Functional Programming},
 year = {2003},
Daniel S.13

 author = {Jens Palsberg},
 title = {Class-graph inference for adaptive programs},
 journal = {Theor. Pract. Object Syst.},
 volume = {3},
 number = {2},
 year = {1997},
 issn = {1074-3227},
 pages = {75--85}
Dah Lin13

 author = {Frank Neven and Thomas Schwentick},
 title = {XPath Containment in the Presence of Disjunction, DTDs,
  and Variables.},
 booktitle = {ICDT},
 year = {2003},
 pages = {315-329}

 author    = {John C. Mitchell and Gordon D. Plotkin},
 title     = {Abstract Types Have Existential Type.},
 journal   = {ACM Trans. Program. Lang. Syst.},
 volume    = {10},
 number    = {3},
 year      = {1988},
 pages     = {470-502}
Daniel R.6

 author = {David Harel},
 title = {And/Or Programs: A New Approach to Structured Programming},
 journal = {ACM Trans. Program. Lang. Syst.},
 volume = {2},
 number = {1},
 year = {1980},
 issn = {0164-0925},
 pages = {1--17},
Daniel M.13

 author = {A. Toni Cohen and Thomas J. Myers},
 title = {Toward an algebra of nondeterministic programs},
 booktitle = {Proc. 1982 ACM Symposium on LISP and Functional Programming},
 year = {1982},
 isbn = {0-89791-082-6},
 pages = {235--242},
 location = {Pittsburgh, Pennsylvania, United States},
 publisher = {ACM Press},
 address = {New York, NY, USA},
Max (late)6

 author = {Robert Cartwright and James Donahue},
 title = {The semantics of lazy (and industrious) evaluation},
 booktitle = {Proc. 1982 ACM Symposium on LISP and Functional Programming},
 year = {1982},
 isbn = {0-89791-082-6},
 pages = {253--264},
 location = {Pittsburgh, Pennsylvania, United States}

last updated on Tue Jun 9 22:21:18 EDT 2009generated with PLT Scheme