Technical Program Wednesday-Friday, October 15-17, 1997

Conference on Domain-Specific Languages (DSL)

Technical Program Wednesday, October 15, 1997

Wednesday, October 15 - Thursday, October 16 - Friday, October 17

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.

9:30am - 10:00am	Break

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--Université de Rennes 1 *Domain-Specific Languages for ad hoc* Distributed Applications** Matthew Fuchs, Walt Disney Imagineering

11:30am - 1:00pm	Conference Luncheon

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

2:30pm - 3:00pm	Break

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

5:00pm - 6:00pm	Reception (Dinner on your own)

8:30pm - 11:00pm	Birds-of-a-Feather Sessions

Wednesday, October 15 - Thursday, October 16 - Friday, October 17


Conference Index Events Calendar USENIX home