From jhr@cs.wisc.edu Wed Apr 20 18:42:03 EDT 1994 Article: 455 of comp.lang.ml Xref: economic.mess.cs.cmu.edu comp.lang.ml:455 comp.lang.functional:4382 Newsgroups: comp.lang.ml,comp.lang.functional Path: honeydew.srv.cs.cmu.edu!cs.wisc.edu!jhr From: John Reppy Subject: ML'94 Workshop: advance program and call for demos Message-ID: Originator: jgmorris@VACHE.VENARI.CS.CMU.EDU Keywords: ML Sender: news@cs.cmu.edu (Usenet News System) Nntp-Posting-Host: tillamook.cs.wisc.edu Reply-To: John Reppy Organization: U of Wisconsin CS Dept Date: Wed, 20 Apr 1994 22:23:07 GMT Approved: comp-lang-ml@cs.cmu.edu Lines: 167 This is the announcement of the advanced program of this summer's ML Workshop, which is being held in conjunction with the SIGPLAN PLDI'94 and LFP'94 conferences in Orlando, Florida. There will be an open demo/poster session on Saturday afternoon; information is given below. ---------------------------------------------------------------------- ADVANCE PROGRAM 1994 ACM SIGPLAN Workshop on ML and its Applications June 25-26, 1994 Orlando, Florida Saturday, June 25 Session 1: Modules 9:00--9:30: A syntactic approach to type generativity and sharing Xavier Leroy (Standford University) 9:30--10:00: An Implementation of Higher-order Functors Pierre Cregut (CNET-Lannion) and Dave MacQueen (AT&T Bell Laboratories) 10:00--10:30: Safe Dynamic Connection of Distributed Applications Pierre Cregut (CNET-Lannion) Session 2: Objects oriented programming 11:00--11:30: Abstract Data-Types and Operators: an Experiment in Constraint-Based Parsing Francois Barthelemy and Francois Rouaix (INRIA-Rocquencourt) 11:30--12:00: Object Oriented Programming in Standard ML Lars Thorup and Mads Tofte (DIKU) 12:00--12:30: Object Interfaces, Polymorphic Methods and Multi-Method Dispatch for ML-like languages Dominic Duggan (University of Waterloo) Session 3: Advance features, Applications 2:00--2:30: HimML: Standard ML with Fast Sets and Maps Jean Goubault (Bull) 2:30--3:00: A complete and realistic implementation of quotations for ML Michel Mauny and Daniel de Rauglaudre (INRIA-Rocquencourt) 3:00--3:30: mlPicTex a picture environment for LaTeX Emmanuel Chailloux (LITP) and Ascander Suarez (University Simon Bolivar) 3:30--4:00: TERSE: TErm Rewriting Support Environment Nobuo Kawaguchi and Toshiki Sakabe and Yasuyoshi Inagaki (Nagoya University) Session 4: Demonstrations and posters (4:00--5:30) Sunday, June 26 Session 5: Compilation 9:00--9:30: 1+1=1: an optimizing Caml compiler Manuel Serano and Pierre Weis (INRIA-Rocquencourt) 9:30--10:00: ML Partial Evaluation using Set-Based Analysis Karoline Malmkjaer (Carnegie Mellon University) and Nevin Heintze (Aarhus University) and Olivier Danvy (Carnegie Mellon University) 10:00--10:30: Minimal Typing Derivations Nikolaj Skallerud Bjorner (Stanford University) Session 6: Security and Recompilation 11:00--11:30: A Type System for Exceptions Juan Carlos Guzman and Ascander Suarez (University Simon Bolivar) 11:30--12:00: Incremental Recompilation for Standard ML of New Jersey Robert Harper and Peter Lee and Frank Pfenning and Eugene Rollins (Carnergie Mellon University) 12:00--12:30: Axiomatic Bootstrapping: A guide for the compiler hackers Andrew W. Appel (Princeton University) Program Committee: Lennart Augustsson Chalmers University Guy Cousineau Ecole Normale Superieur d'Ulm Tim Griffin AT&T Bell Labs Peter Lee Carnegie Melon University Atsushi Ohori Kyoto University Didier Remy INRIA Program Chair: Didier Remy INRIA Domaine de Voluceau-Rocquencourt B.P. 105 78153 Le Chesnay Cedex FRANCE Didier.Remy@inria.fr 33 1 3963-5317 Workshop Chair: John Reppy Rm 2A-428 AT&T Bell Laboratories 600 Mountain Avenue Murray Hill, NJ 07974 jhr@research.att.com ---------------------------------------------------------------------- CALL FOR DEMOS In order to provide forum for the ML community to exchange implementation experiences, we are planning a demo and poster session for Saturday afternoon (June 25) that will be open to all participants. You may display a poster about your work, and/or a demo of your system. We will provide stands and poster boards for the posters, but you must provide your own computer (presumably a laptop or portable) for demos. Although demos and posters are open to anyone, we are constrained by space. If you wish to present a poster or demo, please send electronic mail to the workshop chair John Reppy (jhr@research.att.com) giving a title and brief description of your demo or poster. Reservations will be made on a first-come, first-serve basis, and will not be accepted after June 1. ---------------------------------------------------------------------- REGISTRATION INFO Registration $79, if you are and ACM & SIGPLAN Member (or full-time student); otherwise it is $89. The combined registration form for PDLI, LFP and the workshops is available by anonymous ftp from: speedy.cs.pitt.edu:pub/pldi94/ This site also contains information about hotels, room sharing, Walt Disney World, etc. Note the following important information: If you are going to attend PLDI'94, LFP'94 and/or one of their three associated workshops (PEPM, ML, Real-time), it is imperative that you make your hotel reservations at the meeting hotel, the Hilton at Walt Disney World Village, as soon as possible. The hotel has informed us that World Cup Soccer is coming to Orlando during the same weeks as our meetings; this will cause the hotel to release our block of rooms to World Cup attendees (at much higher prices, we expect), as soon as our reservation deadline of May 27,1994 is passed. Please make your hotel reservations as soon as possible to be assured of the publicized conference rates. The reservation number is 1-800-782-4414, or you can fax the registration form (obtainable at our ftp site on speedy.cs.pitt.edu) to 1-407-827-3890.