| 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:| Student | Date | Paper |
|---|
| Alec | 13 |
@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"
}
| | Bryan | 6 |
@article{
title {Shinn-Der Lee and Daniel P. Friedman}
author = {First-Class Extents}
journal = {LISP and Symbolic Computation}
year = {1993}
volume = {5}
pages = {343--375}
}
| | Rajiv | 13 |
@inproceedings{38851,
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},
}
| | Harsha | 13 |
@Paper{Ashley+Dybvig,
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"
}
| | Matthew | 13 |
@article{1016864,
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},
}
| | Christine | 13 |
@inproceedings{CDuce,
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},
}
| | Shuguang | 13 |
@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"
}
| | Jesse | 6 |
@inproceedings{sitaram03unwind,
author = {Dorai Sitaram},
title = {Unwind-protect in portable Scheme},
conference = {Fourth Workshop on Scheme and Functional Programming},
year = {2003},
}
| | Daniel S. | 13 |
@article{palsberg-adaptive,
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 Lin | 13 |
@inproceedings{neven-schwentick,
author = {Frank Neven and Thomas Schwentick},
title = {XPath Containment in the Presence of Disjunction, DTDs,
and Variables.},
booktitle = {ICDT},
year = {2003},
pages = {315-329}
}
| | Dimitri | 13 |
@article{MitchellP88,
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 |
@article{harel,
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 |
@inproceedings{802155,
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 |
@inproceedings{802157,
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}
}
|
|