From danvy@daimi.aau.dk Wed Mar 16 08:54:34 EST 1994 Article: 407 of comp.lang.ml Xref: economic.mess.cs.cmu.edu comp.lang.scheme:8442 comp.lang.misc:15374 comp.lang.ml:407 comp.lang.functional:4279 comp.theory:9426 Newsgroups: comp.lang.scheme,comp.lang.misc,comp.lang.ml,comp.lang.functional,comp.theory Path: honeydew.srv.cs.cmu.edu!danvy From: danvy@daimi.aau.dk (Olivier Danvy) Subject: summer school on partial evaluation Message-ID: Summary: preliminary announcement Originator: jgmorris@VACHE.VENARI.CS.CMU.EDU Keywords: CMU, July 5-9, 1994 Sender: news@cs.cmu.edu (Usenet News System) Nntp-Posting-Host: daimi.daimi.aau.dk Reply-To: danvy@daimi.aau.dk (Olivier Danvy) Organization: DAIMI, Computer Science Dept. at Aarhus University Date: Tue, 15 Mar 1994 20:56:00 GMT Approved: comp-lang-ml@cs.cmu.edu Lines: 83 PRELIMINARY ANNOUNCEMENT SUMMER SCHOOL ON PARTIAL EVALUATION A one-week intensive course Carnegie Mellon University Pittsburgh, Pennsylvania, USA Tuesday-Saturday, July 5-9, 1994 Charles Consel Olivier Danvy Peter Lee consel@cse.ogi.edu danvy@daimi.aau.dk petel@cs.cmu.edu Partial evaluation is an automatic program transformation technique that specializes programs with respect to partial knowledge of their input. Although simple in concept, partial evaluation has some rather surprising applications and far-reaching implications for automatic program transformation. In particular, many problems can be shown to be ``specializations'' of a more general problem. Partial evaluation has been used in many areas such as compiler generation, scientific computing, computer graphics, and pattern matching. This summer school, to be held at Carnegie Mellon University in Pittsburgh, Pennsylvania, aims at introducing the principles, techniques, and applications of partial evaluation. This presentation will be done in the context of Consel's partial evaluator for procedural programs, called Schism. Students will get hands-on experience with the course concepts by working directly with Schism, studying both its use and its internals. Also, various applications of partial evaluation will be covered such as pattern matching and parameterized programming. SCOPE OF THE COURSE The school is targeted to both junior and more senior researchers. In addition to the main lectures by Consel and Danvy, there will be selected lectures by invited speakers. Our planned lectures will cover all aspects of partial evaluation, and students will be guided in group implementation projects based on Schism. The lecture notes will be based on Consel and Danvy's forthcoming partial-evaluation book, to be published at The MIT Press. SPEAKERS Charles Consel is on the faculty of the Department of Computing and Engineering of Oregon Graduate Institute, in Oregon, and at the Computer Science Department of Rennes University, in France. Olivier Danvy is on the faculty of the Computer Science Department of Aarhus University, in Denmark. Peter Lee is a faculty member of the School of Computer Science of Carnegie Mellon University, in Pennsylvania. FEES and LOCAL ARRANGEMENTS The registration fee for the course is $350, which includes attendance at all of the lectures, one set of printed and bound course notes, and daily breakfast and lunch. In addition, one group dinner will be provided. Pending the receipt of external financial support, a limited number of scholarships may become available, as well as a reduction in the general registration fee. Attendance at the school will be strictly limited in order to have a small and productive course. We therefore recommend that you apply before May 1, 1994. Two types of local accomodations are available: on-campus dorm rooms, which are air-conditioned and provide one set of linens ($35 per person and per night for single occupancy; $25 per person and per night for double occupancy), and hotel rooms (for $89). Both are within easy walking distance of the lecture hall. For more information contact consel@cse.ogi.edu or danvy@daimi.aau.dk A complete announcement, including a registration form, will be distributed by the end of March 1994.