Paper Requirement for Ryan Culpepper
- Paper: Ryan Culpepper,
Scott Owens, and Matthew Flatt, "Syntactic Abstraction in Component
Interfaces", GPCE 2005.
- Description: This paper
shows how to enhance a component system with syntactic abstractions
(macros) while preserving important properties such as separate
compilation of components. The paper builds on Flatt's component
system for PLT Scheme (called units) and the widely-used syntax-case hygienic macro system. The paper shows
examples of syntactic abstraction with components, describes an
extension of the hygiene property and associated implementation
difficulties, and discusses our implementation strategy. Ryan wrote
the initial implementation prototype, and Scott Owens has recently
extended the implementation into a more full-featured system. An
earlier version of the paper had been rejected at ESOP 2005. After a
complete rewrite, the current version was accepted at GPCE 2005.
- Acceptance rate: For GPCE
2005, 29% of papers were accepted.
- Student's contribution to paper:
Ryan designed and implemented the prototype system the paper was based
on. He wrote a significant portion of the current version of the paper,
with Scott contributing some sections and Matthew and Matthias offering guidance and editing suggestions.
- URL for paper: http://www.ccs.neu.edu/scheme/pubs/gpce-cof.pdf
- Why should this paper be
accepted as satisfying the paper requirement? It was accepted to
GPCE.