From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=0.8 required=5.0 tests=BAYES_00,FILL_THIS_FORM, FILL_THIS_FORM_FRAUD_PHISH,TO_NO_BRKTS_PCNT autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 10c998,ac28e3accac7fd45,start X-Google-Attributes: gid10c998,public X-Google-Thread: 11390f,ac28e3accac7fd45,start X-Google-Attributes: gid11390f,public X-Google-Thread: f4fd2,ac28e3accac7fd45,start X-Google-Attributes: gidf4fd2,public X-Google-Thread: 103376,ac28e3accac7fd45,start X-Google-Attributes: gid103376,public X-Google-Thread: 106d15,ac28e3accac7fd45,start X-Google-Attributes: gid106d15,public X-Google-Thread: fc5c9,ac28e3accac7fd45,start X-Google-Attributes: gidfc5c9,public X-Google-Thread: 109fba,ac28e3accac7fd45,start X-Google-Attributes: gid109fba,public X-Google-Thread: 10e6f6,ac28e3accac7fd45,start X-Google-Attributes: gid10e6f6,public From: jackson@usenix.org (Jackson Dodd) Subject: Hotel Discount Deadline 9/22 - USENIX Conf on Domain-Specific Languages Date: 1997/09/17 Message-ID: X-Deja-AN: 273299490 Organization: USENIX Association Keywords: USENIX, conference, domain-specific languages Newsgroups: comp.org.acm,comp.org.ieee,comp.org.uniforum,comp.databases,comp.lang.ada,comp.lang.apl,comp.lang.c++,comp.lang.lisp,comp.lang.misc,comp.lang.prolog,comp.unix.shell,comp.lang.dylan,comp.lang.perl.misc,comp.lang.vrml,comp.object,comp.lang.functional Date: 1997-09-17T00:00:00+00:00 List-Id: USENIX Conference on Domain-Specific Languages (DSL) October 15-17, 1997 Fess Parker's Doubletree Resort, Santa Barbara, CA ============================================== Important Dates to Remember: Hotel Discount Deadline: September 22, 1997 Pre-Registration Deadline: September 29, 1997 =============================================== Dear Colleague: Today's programmers are designing and building systems of vastly greater scale and complexity than ever before--systems with lifetimes in decades, involving millions of lines of code, implemented over distributed systems, in which no single individual has a complete grasp of the code. To create reliable, scaleable, maintainable systems, a software engineer must apply a wide variety of tools and techniques. One of these is the use of domain-specific languages. Domain-specific languages can be a vehicle for formal analysis and optimization methods; they can act as a bridge between visual interfaces and the underlying computation; they can serve as (possibly executable) modeling and prototyping languages; and they can serve as network service interfaces. Domain-specific languages can act as scaffolding for the software engineering process (as with architectural description languages) or they may be used directly (as with layout languages such as HTML). Domain-specific languages enforce a separation of concerns, insulating the user from unnecessary detail and severing machine dependencies. Domain-specific languages extend software design. The result is a formalism, a concrete artifact that permits representation, optimization, and analysis in ways that low-level programs and libraries do not. The purpose of this Conference on Domain-Specific Languages is to concentrate on the unique aspects of DSL design, implementation, and application in order to form a body of literature on domain-specific languages, and to refine the DSL technique. The papers in this conference include valuable case studies, surveys, insights in design, techniques for definition, tools for implementation, and studies in alternative and complementary approaches. They were chosen for quality, originality, and relevance. USENIX conferences are known for their practical focus. DSL '97 will be no exception. You will walk away with a better understanding of when and how to use language as a software engineering tool. But more importantly, you will become part of an emerging community dedicated to understanding the promise and practice of domain-specific languages. This conference offers participation in the discourse on a subject of great potential and inherent appeal. I invite you to DSL '97, and hope to meet you in Santa Barbara this October. Sincerely, Chris Ramming, AT&T Labs Research Program Chair PS: Remember to register early and save $50. CONFERENCE ORGANIZERS ===================== PROGRAM CHAIR Chris Ramming, AT&T Labs Research PROGRAM COMMITTEE Thomas Ball, Lucent Bell Laboratories Gerard Berry, CMA, Ecole des Mines de Paris Jon Bentley, Lucent Bell Laboratories Peter Buneman, University of Pennsylvania Luca Cardelli, Digital Equipment Corporation Steve Johnson, Transmeta Corporation Takayuki Dan Kimura, Washington University Todd Knoblock, Microsoft Research David Ladd, Spyglass, Speaker Chair Adam Porter, University of Maryland Jan Prins, University of North Carolina at Chapel Hill =================== PROGRAM AT-A-GLANCE =================== TUESDAY, OCTOBER 14 On-Site Registration 6:00 pm - 9:00 pm Welcome Reception 6:00 pm - 9:00 pm WEDNESDAY, OCTOBER 15 On-Site Registration 7:30 am - 5:00 pm Technical Program 8:15 am - 5:00 pm Conference Luncheon 11:30 am - 1:00 pm Conference Reception 5:00 pm - 6:00 pm BOF Sessions 8:30 pm - 11:00 pm THURSDAY, OCTOBER 16 On-Site Registration 7:30 am - 5:00 pm Technical Program 8:30 am - 6:00 pm Conference Reception 6:00 pm - 7:00 pm BOF Sessions 8:30 pm - 11:00 pm FRIDAY, OCTOBER 17 Technical Program 8:30 am - 12:30 pm ================== TECHNICAL SESSIONS ================== WEDNESDAY, OCTOBER 15, 1997 8:15am - 8:30am Opening Remarks Chris Ramming, Program and General Chair, AT&T Labs Research 8:30am - 9:30am Keynote Address: The Promise of Domain-Specific Languages Paul Hudak, Yale University, Department of Computer Science Are domain specific languages (DSLs) the long-awaited "silver bullet" for software engineering? Can DSL technology deliver its promise of greater productivity, higher quality, and enhanced maintainability? What are the design principles behind DSLs, and how does one implement them? What can go wrong, and how do we distingish success from failure? These are some of the questions that will be addressed in this overview of DSL technology. We will argue the point of view that a well-designed DSL should be the ultimate abstraction for a particular application domain, capturing precisely the semantics of an application, no more and no less. Topics to be covered include the basic principles underlying DSLs, examples of successful DSLs, general design principles, the notion of a domain-specific embedded language, and the importance of software tools for implementing DSLs. Paul Hudak was instrumental in organizing and chairing the Haskell Committee, an international group of computer scientists who designed Haskell, a pure functional programming language. He is an editor of the Journal of Functional Programming, a member of the editorial boards of the International Journal of Parallel Programming and Lisp and Symbolic Computation, and a charter member of IFIP WG2.8 Working Group on Functional Programming. He has published over 100 papers, and has consulted for Los Alamos National Laboratory, IBM T.J. Watson Research Laboratory, and Intermetrics, Inc. 10:00am - 11:30am Domain-Specific Language Design Session Chair: Todd Knoblock, Microsoft Research Service Combinators for Web Computing Luca Cardelli, Digital Equipment Corporation and Rowan Davies, Carnegie-Mellon University A Domain-Specific Language for Video Device Drivers: From Design to Implementation Scott Thibault, Renaud Marlet, and Charles Consel, IRISA/INRIA - Universite de Rennes 1 Domain-Specific Languages for ad hoc Distributed Applications Matthew Fuchs, Walt Disney Imagineering 1:00pm - 2:30pm Experience Reports Session Chair: Adam Porter, University of Maryland Experience with a Domain-Specific Language for Form-Based Services David Atkins, Thomas Ball, Michael Benedikt, Glenn Bruns, Kenneth Cox, Peter Mataga, and Kenneth Rehor, Bell Laboratories, Lucent Technologies Experience with a Language for Writing Coherence Protocols Satish Chandra and James R. Larus, University of Wisconsin; Michael Dahlin, University of Texas; Bradley Richards, Vassar College; and Randolph Y. Wang and Thomas E. Anderson,University of California, Berkeley Lightweight Languages as Software Engineering Tools Diomidis Spinellis, University of the Aegean and V. Guruprasad, IBM T.J. Watson Research Center 3:00pm - 5:00pm Compiler Infrastructure for Domain-Specific Languages Session Chair: Thomas Ball, Bell Laboratories, Lucent Technologies A Slicing-Based Approach for Locating Type Errors T. B. Dinesh, CWI and Frank Tip, IBM T. J. Watson Research Center Typed Common Intermediate Format Zhong Shao,Yale University Incorporating Application Semantics and Control into Compilation Dawson R. Engler, MIT Laboratory for Computer Science Code Composition as an Implementation Language for Compilers James M. Stichnoth and Thomas Gross, Carnegie Mellon University 8:30pm - 11:00pm Birds-of-a-Feather Sessions THURSDAY, OCTOBER 16, 1997 8:30am - 9:30am Invited Talk: Synchronous Languages--An Experience in Domain-Specific Language Design Gerard Berry, Ecole des Mines de Paris, Centre de Mathematiques Appliquees; INRIA, Projet Meije Domain-specific languages (DSLs) have already proved useful in many application areas. This talk will cover a range of issues in the design of DSLs and illustrate them using personal experience with the design of Esterel, which belongs to the class of synchronous reactive languages. Dr. Gerard Berry is a researcher in programming languages, reactive and real-time programming, automatic verification, and other related areas. He is the architect of the highly-regarded Esterel language for programming reactive systems and is currently the director of the Applied Mathematics Center at Ecole des Mines de Paris. 10:00am - 11:30am Logic and Semantics for Domain-Specific Languages Session Chair: Luca Cardelli, Digital Equipment Corporation BDL: A Language to Control the Behavior of Concurrent Objects Frederic Bertrand and Michel Augeraud, Universite de la Rochelle A Domain-Specific Language for Regular Sets of Strings and Trees Nils Klarlund, AT&T Labs Research and Michael I. Schwartzbach, University of Aarhus A Modular Monadic Action Semantics Keith Wansbrough and John Hamer, University of Auckland 1:00pm - 2:30pm Case Studies and Surveys Session Chair: Takayuki Dan Kimura, Washington University SHIFT and SMART-AHS: A Language for Hybrid System Engineering Modeling and Simulation Marco Antoniotti and Aleks Gollu, University of California at Berkeley Design and Semantics of Quantum: A Language to Control Resource Consumption in Distributed Computing Luc Moreau, University of Southampton, and Christian Queinnec, Universite de Paris 6, INRIA-Rocquencourt Architectural Domains: A Framework for Characterizing Architectural Description Nenad Medvidovic and David S. Rosenblum, University of California, Irvine 3:00pm - 4:30pm Abstract Syntax Trees Session Chair: David Ladd, Spyglass The Zephyr Abstract Syntax Description Language Daniel C. Wang, Andrew W. Appel, Jeff L. Korn, and Chris S. Serra, Princeton University ASTLOG: A Language for Examining Abstract Syntax Trees Roger F. Crew, Microsoft Research KHEPERA: A System for Rapid Implementation of Domain-Specific Languages Rickard E. Faith, Lars S. Nyland, and Jan F. Prins, University of North Carolina at Chapel Hill 5:00pm - 6:00pm Invited Talk: Intentional Programming--An Ecology for Abstractions Charles Simonyi, Chief Architect, Microsoft This talk will present Intentional Programming (IP). IP is a new way of representing a program as an abstract tree of nodes, where each node identifies what intention it is an instance of, and each intention defines, by user-definable methods, how it should look to the programmer and how it should be implemented. Because looks (formerly called "syntax") and implementation (formerly called "semantics") are infinitely variable, the only invariant is the computational intent in the programmer's mind, which the intention represents. IP can be thought of as an ecology for abstractions. In contrast with programming languages, in IP the emergence of new abstractions does not invalidate existing legacy code. This talk will show how IP supports the speedier evolution of new domain-specific abstractions that simplify software engineering problems such as reuse, portability, and reliability. As chief architect at Microsoft Research, Charles Simonyi is responsible for new approaches in programming technology. This year, he was elected to the National Academy of Engineering for his contributions to the development of widely-used desktop productivity software. Simonyi has endowed chairs for Public Understanding of Science at Oxford University, for Theoretical Physics at the Institute for Advanced Study at Princeton, and for Educational Technology at Stanford. 8:30pm-11:00pm Birds-of-a-Feather Sessions (BOFs) FRIDAY, OCTOBER 17, 1997 8:30am - 10:30am Embedded Languages and Abstract Data Types Session Chair: Steve Johnson, Transmeta Corporation DiSTiL: A Transformation Library for Data Structures Yannis Smaragdakis and Don Batory, University of Texas at Austin Programming Language Support for Digitized Images, or The Monsters in the Closet Daniel E. Stevenson and Margaret M. Fleck, University of Iowa Modeling Interactive 3D and Multimedia Animation with an Embedded Language Conal Elliott, Microsoft Research A Special-Purpose Language for Picture-Drawing Samuel Kamin and David Hyatt, University of Illinois at Urbana-Champaign 11:00am - Noon Invited Talk: Aspect-Oriented Programming--Improved Support for Separation of Concerns in Design and Implementation Gregor Kiczales, Principal Scientist, Xerox Palo Alto Research Center A basic goal of software design is to be able to separate different kinds of design concerns into their own parts of the design. A basic goal of programming language development is to allow programmers to write programs that "look like the design" to as great a degree as possible. This talk explores the degree to which we have been successful at meeting these combined goals. How well have we managed to separate concerns in software design and implementation? The talk will show that current technology does a good job of separating different kinds of functionality (what this module does vs. what that module does), but has been less successful at separating concerns having to do with systemic properties such as synchronization, network usage, replication, and memory usage. The talk proposes the new concept of "aspect," and shows that by adding it to existing concepts like component, module and object, we can achieve better separation of such systemic issues. The talk will also show how aspect-oriented programming languages can be used to support designs based on aspects. Gregor Kiczales is a principal scientist at the Xerox Palo Alto Research Center. His research interests are in software architecture, programming languages, and software engineering. He was one of the designers of the Common Lisp Object System (CLOS), and was the implementor of PCL, a high-performance portable implementation of CLOS. He is a co-author of The Art of the Metaobject Protocol. Noon - 12:30pm Closing Remarks and Prizes Chris Ramming, Program Chair, AT&T Labs Research BIRDS-OF-A-FEATHER SESSIONS (BoFs) Wednesday and Thursday evenings Do you have a topic that you'd like to discuss with others? Our Birds-of-a-Feather Sessions may be perfect for you. BoFs are very interactive and informal gatherings for attendees interested in a particular topic. Schedule your BoF in advance by sending email to Chris Ramming, jcr@research.att.com. Visit the conference web site for the list of BoFs. URL: http://www.usenix.org/events/dsl97/. SOCIAL EVENTS Meet the conference speakers and connect with other members of the software community. There will be a Welcome Reception on Tuesday evening, a conference luncheon and reception on Wednesday, and a reception on Thursday evening. ============================ HOTEL AND TRAVEL INFORMATION ============================ HOTEL INFORMATION Hotel Discount Reservation Deadline: Monday, September 22, 1997 After the reservation deadline, hotel rates will be much higher! Make your reservation early and carefully read the hotel's cancellation policy shown below. USENIX has negotiated special rates for conference attendees at Fess Parker's Doubletree Resort. Contact the hotel directly to make your reservation. You must mention USENIX to get the special rate. The hotel will not hold any reservation request for arrival after 6:00 pm without a one-night room deposit guaranteed to a major credit card. HOTEL CANCELLATION POLICY Please note hotel's cancellation policy of 72 hours prior to your arrival date. Your guaranteed one night's room and tax deposit is non-refundable if you should fail to notify the hotel's reservation department at least 72 hours prior to your arrival. Fess Parker's Doubletree Resort 633 East Cabrillo Boulevard Santa Barbara, CA 93103 Toll Free: 800.879.2929 Phone: 805.564.4333 Fax: 805.564.4964 Single Occupancy $135.00 Double Occupancy $135.00 (plus state and local taxes, currently at 10%) Note: All requests for hotel reservations made after the Sept. 22 deadline will be handled on a space and rate available basis only. TRAVEL INFORMATION ================== DISCOUNT AIRFARES Special airline discounts will be available for USENIX attendees. Please call for details: JNR, Inc. Toll Free: 800.343.4546 (USA and Canada) Telephone: 714.476.2788 TRAVEL CONNECTIONS AMTRAK has rail connections to Santa Barbara from both San Francisco and Los Angeles. Santa Barbara is approximately 100 miles north of the Los Angeles International Airport and 350 miles south of San Francisco. SANTA BARBARA AIRPORT Fess Parker's Doubletree Resort is located about 15 minutes from the Santa Barbara Airport. The airport is served by several airlines including American, America West, Delta, United, and US Air. SANTA BARBARA AIRPORT SHUTTLE The hotel has complimentary shuttle service to and from the Santa Barbara Airport. Reservations are required. When you have confirmed your airline reservations, please contact the hotel's Bell Stand directly to make your shuttle reservation. Be prepared to provide the name of your airline, flight number, and arrival time. You can call for shuttle pick-up upon your arrival at the Santa Barbara Airport, but you may have a 25 minute wait for the shuttle's arrival. Taxi service is estimated to be $25 one way and takes about 15 minutes. WHAT TO SEE AND DO IN SANTA BARBARA * Santa Barbara Museum of Art, Historical Museum, and Museum of Natural History * Stearns Wharf--Restaurants, shops, fishing pier, and maritime-related businesses * Mission Santa Barbara--Called "Queen of the Missions" for its graceful beauty * El Paseo--"The Street in Spain," shopping arcade reminiscent of Old Spain * Zoological Gardens and Andree Clark Bird Refuge * Santa Barbara County Courthouse--Spanish-Moorish "palace" built in 1929 * 30 Santa Barbara County Wineries--Easily reached from Hwys 101, 154 or 246 For more conference information, contact: USENIX Conference Office 22672 Lambert St., Suite 613 Lake Forest, CA 92630 Phone: 714.588.8649 Fax: 714.588.9706 Email: conference@usenix.org Web: http://www.usenix.org Office Hours: 8:30am-5:00pm Pacific Time ============================cut here============================== ************************************************************************ R E G I S T R A T I O N F O R M Conference on Domain-Specific Languages, October 15-17, 1997 ************************************************************************ Please complete this registration form and return it along with full payment to: USENIX Conference Office Phone: 714.588.8649 22672 Lambert St., Suite 613 Fax: 714.588.9706 Lake Forest, CA USA 92630 You may fax your registration form if paying by credit card. To avoid duplicate billing, please do not mail an additional copy. ************************************************************************ NAME____________________________________________________________________ (first) (last) FIRST NAME FOR BADGE___________________________USENIX Member ID_________ COMPANY OR INSTITUTION______________________________________________ MAILING ADDRESS_____________________________________________________ (mail stop) _______________________________________________________________________ CITY___________________________STATE_____ZIP__________COUNTRY____________ TELEPHONE NO:____________________________FAX NO._________________________ EMAIL ADDRESS______________________________________________________ The address you provide will be used for all future USENIX mailings unless you notify us in writing. ************************************************************************ ATTENDEE PROFILE Please help us serve you better. By answering the following questions, you help us plan our activities to meet members' needs. All information is confidential. [ ] I do not want to be on the attendee list. [ ] I do not want my address made available for other than USENIX mailings. [ ] I do not want USENIX to email me notices of Association activities. What is your affiliation (check one): ( ) academic ( ) commercial ( ) gov't ( ) R&D What is your role in the purchase decision (check one): 1.( ) final 2.( ) specify 3.( ) recommend 4.( ) influence 5.( ) no role What is your primary job function (check one): 1.( ) system/network administrator 2.( ) consultant 3.( ) academic/research 4.( ) developer/programmer/architect 5.( ) system engineer 6.( ) technical manager 7.( ) student 8.( ) security 9.( ) webmaster How did you first hear about this meeting (check one): 1.( ) USENIX brochure 2.( ) newsgroup/bulletin board 3.( ) ;login: 4.( ) World Wide Web 5.( ) from a colleague 6.( ) magazine What publications or newsgroups do you read related to DSL? _______________________________________________________________________ ************************************************************************ REGISTRATION FEES (Wednesday-Friday, October 15-17) Current member fee $355.00 $ _________ (Applies to individual members of USENIX, EurOpen national groups, JUS, and AUUG) Non-member fee* $425.00 $ _________ *Join or renew your USENIX membership, AND attend the conference for the same low price. CHECK HERE [ ] Late fee if postmarked after Monday, September 29, 1997..Add $ 50.00 $ _________ Full-time student** fee, pre-registered or on-site $ 75.00 $ _________ Full-time student** fee including USENIX membership fee $100.00 $ _________ **Students: Attach a photocopy of current student ID TOTAL DUE $ _________ ================================================================= Payment (U.S. dollars only) must accompany this form. Purchase orders, vouchers, email, and telephone registrations cannot be accepted. [ ] Payment enclosed. Make check payable to USENIX Conference. Charge to my: ___VISA ___MasterCard ___American Express ___Discover Account No. ____________________________________ Exp. Date ___/___ ___________________________________/_________________________________ Print Cardholder's Name Cardholder's Signature ********************************************************************* REFUND/CANCELLATION POLICY If you must cancel, all refund requests must be in writing with your signature, and postmarked no later than October 6, 1997. Telephone and email cancellations cannot be accepted. You may substitute another in your place. Call the conference office for details: 714.588.8649. *********************************************************************