Check out the new USENIX Web site.

Home About USENIX Events Membership Publications Students
Conference on Domain-Specific Languages, 1997

Conference on Domain-Specific Languages (DSL), 1997
October 15-17, 1997
Santa Barbara, California, USA

Wednesday, October 15, 1997

Opening Remarks
Chris Ramming, AT&T Labs Research

Keynote Address - The Promise of Domain-Specific Languages
Paul Hudak, Yale University

Domain-Specific Language Design

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

Experience Reports

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, Madison; Michael Dahlin, University of Texas, Austin; Bradley Richards, Vassar College; 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

Compiler Infrastructure for Domain-Specific Languages

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, M.I.T. Laboratory for Computer Science

Code Composition as an Implementation Language for Compilers
James M. Stichnoth and Thomas Gross, Carnegie Mellon University

Thursday, October 16

Logic and Semantics for Domain-Specific Languages

BDL: A Language to Control the Behavior of Concurrent Objects
Frédéric Bertrand and Michel Augeraud, Université 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

Case Studies and Frameworks

SHIFT and SMART-AHS: A Language for Hybrid System Engineering Modeling and Simulation
Marco Antoniotti and Aleks Göllü, University of California, Berkeley

Design and Semantics of Quantum: a Language to Control Resource Consumption in Distributed Computing
Luc Moreau, University of Southampton, and Christian Queinnec, Université de Paris

Domains of Concern in Software Architectures and Architecture Description Languages
Nenad Medvidovic and David S. Rosenblum, University of California, Irvine

Abstract Syntax Trees

The Zephyr Abstract Syntax Description Language
Daniel C. Wang, Andrew W. Appel, Jeff L. Korn, and Christopher 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, Chapel Hill

Friday, October 17

Embedded Languages and Abstract Data Types

DiSTiL: A Transformation Library for Data Structures
Yannis Smaragdakis and Don Batory, University of Texas, 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, Urbana-Champaign

?Need help? Use our Contacts page.

Last changed: 15 April 2002 aw
Workshop Index
Proceedings Index
USENIX home