Sunday, October 3, 1999

8:30 am - 8:45 am Opening Remarks

Thomas Ball, Program Chair, Bell Laboratories, Lucent Technologies

8:45 am - 10:00 am Keynote Address

Towards More Natural Domain-Specific Languages

Brad A. Myers, Human-Computer Interaction Institute, Carnegie Mellon University


Most textual domain-specific languages were adapted from existing programming languages or were based on the intuition of the designer. The Natural Programming Project is developing general principles, methods, programming language designs, and environments that will provide a more scientific basis on which to base these designs, when the goal is a language that is easy to learn and effective for use by people who are not professional programmers. This talk will provide an overview of the Natural Programming approach and our results so far.

Brad A. Myers is a Senior Research Scientist in the Human-Computer Interaction Institute in the School of Computer Science at Carnegie Mellon University, where he is the principal investigator for various projects, including User Interface Software, Demonstrational Interfaces, Natural Programming, and the Pebbles PalmPilot Project. He is the author or editor of over 180 publications, including "Creating User Interfaces by Demonstration" and "Languages for Developing User Interfaces," and he is on the editorial board of five journals. His research interests include User Interface Development Systems, user interfaces, Programming by Example, programming languages for kids, Visual Programming, interaction techniques, window management, and programming environments. He belongs to SIGCHI, ACM, IEEE Computer Society, IEEE, and Computer Professionals for Social Responsibility.

10:00 am - 10:30 am Break

10:30 am - 12:00 pm Testing and Experience Reports

Session Chair: James R. Larus, Microsoft Research

Using Production Grammars in Software Testing
Emin Gün Sirer and Brian N. Bershad, University of Washington

Jargons for Domain Engineering
Lloyd H. Nakatani, Mark A. Ardis, Robert G. Olsen, and Paul M. Pontrelli, Bell Laboratories, Lucent Technologies

Slicing Spreadsheets: An Integrated Methodology for Spreadsheet Testing and Debugging
James Reichwein, Gregg Rothermel, and Margaret Burnett, Oregon State University

12:00 pm - 1:30 pm Conference Luncheon

1:30 pm - 3:00 pm Hot Research Review

Session Chair: Charles Consel, Irisa/University of Rennes

Domain-Specific Languages for Programming and Security in Active Networks

Carl A. Gunter, University of Pennsylvania

Active networks allow routing elements to be programmed by the packets passing through them., thereby enabling optimizations and extensions of current protocols as well as the development of fundamentally new protocols. To realize this flexibility, it is essential to provide models for programming and security that are easy to use while providing acceptable performance. In this lecture I will look at how domain-specific languages for programming active networks and describing security policies can be used to control global computation, avoid costly cryptographic operations, and enable formal specification and verification of essential properties.

Carl A. Gunter does research in the areas of programming languages and software engineering. He has contributed to foundations for the semantics of programming languages, type systems, and the design of programming languages. His research has also included contributions on computational logic, the representation of partial information, and mathematical models of software configuration dependencies. His current work focuses on active networks, security infrastructure systems, formal methods in software engineering, and liability analysis of software agreements and accidents.

3:00 pm - 3:30 pm Break

3:30 pm - 5:00 pm Optimization and Extensibility

Session Chair: Mary Fernández, AT&T Labs--Research

An Annotation Language for Optimizing Software Libraries
Samuel Z. Guyer and Calvin Lin, University of Texas at Austin

A Case for Source-Level Transformations in MATLAB
Vijay Menon and Keshav Pingali, Cornell University

Using Java Reflection to Automate Extension Language Parsing
Dale E. Parson, Bell Laboratories, Lucent Technologies

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

Monday Technical Sessions