%STARTINCLUDE%

body {
  background-color : lightgray;
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: 12px ;
}

a:link    { text-decoration : none ; color : darkblue ; }
a:visited { text-decoration : none ; color : darkblue ; }
a:hover   { text-decoration : none ; color : darkred ; }
a:active  { text-decoration : none ; color : darkred ; }

div.WebLeftBar a:link    { text-decoration : none ; color : white ; }
div.WebLeftBar a:visited { text-decoration : none ; color : lightgrey ; }
div.WebLeftBar a:hover   { text-decoration : none ; color : white ; }
div.WebLeftBar a:active  { text-decoration : none ; color : lightgrey ; }

hr { color : black ; border : solid 0 ; padding : 0 ; background-color : darkgray; height : 1px}

div.WebTopBar {
  background : white ;
  border : solid ;  
  border-width : 1px ;
  border-color : darkgray; 
  font-size : 200% ;
  font-style : italic ;
  margin: 0em ;
  padding : 0.5em ;
}

.WebTopMenuBar {
  background : %WEBBGCOLOR%;
  border: solid; 
  border-left-width: 1px;  
  border-right-width: 1px;  
  border-top-width: 0em;  
  border-bottom-width: 0em;  
  border-color: darkgray; 
/*  width : 100% ; */
  margin: 0em ;
  padding : 0.5em ;
}

.WebContentCanvas {
  background : %WEBBGCOLOR% ;
  border: solid ;
  border-right-width : 1px;  
  border-left-width : 1px;  
  border-bottom-width : 1px;  
  border-top-width : 0em;  
  border-color: darkgray; 
  margin: 0em ;
  padding : 0em ;
}

.ContentTopicTitle {
  font-size : 150% ;
}

H1, H2, H3, H4, H5, H6 { 
  display: block 
}

H1 { margin-top: 0em; margin-bottom: 0em }
H2, H3, H4 { margin-top: 0em; margin-bottom: 0em }
H5, H6 { margin-top: 1em }
//H1 { text-align: center }
H1, H2, H3, H4, H6 { font-weight: bold }
H3, H5 { font-style: italic }

H1 { font-size: x-large }
H2 { font-size: large }
H3 { font-size: medium }

.WebLeftBar {
  vertical-align : top ;
  background : %WEBBGCOLOR% ;
  border: solid; 
  border-left-width: 1px;  
  border-right-width: 0em;  
  border-top-width: 0em;  
  border-bottom-width: 1px;  
  border-color: darkgray; 
  width : 120px ; 
  font-size : 90% ;
  color : #444444 ;
  float : left; 
  margin: 0em ;
  padding-left : 10px ;
  padding-top : 10px ;
  padding-right : 10px ;
  padding-bottom : 10px ;
}

.WebLeftBarInactive {
  .twikiLink {
a:link    { text-decoration : none ; color : darkblue ; } ;
a:visited { text-decoration : none ; color : darkblue ; };
a:hover   { text-decoration : none ; color : darkred ; };
a:active  { text-decoration : none ; color : darkred ; };
  };
  vertical-align : top ;
  background : %WEBBGCOLOR% ;
  border: solid; 
  border-left-width: 1px;  
  border-right-width: 0em;  
  border-top-width: 0em;  
  border-bottom-width: 1px;  
  border-color: darkgray; 
  widthh : 120px ; 
  font-size : 90% ;
  float : left; 
  margin: 0em ;
  padding-left : 10px ;
  padding-top : 10px ;
  padding-right : 10px ;
  padding-bottom : 10px ;
}

.newsbar {
  font-size : 85% ;
}

.WebContent {
  position : scroll ;
  vertical-align : top ;
  background : white ;
  border: solid; 
  border-left-width: 1px;  
  border-right-width: 1px;  
  border-top-width: 1px;  
  border-bottom-width: 1px;  
  border-color: darkgray; 
  padding-top : 20px ;
  padding-left : 20px ;
  padding-right : 20px ;
  padding-bottom : 10px ;
  margin-top: 0em ;
  margin-left: 140px ;;
}

.WebContentSolo {
  position : scroll ;
  vertical-align : top ;
  background : white ;
  border: solid; 
  border-left-width: 1px;  
  border-right-width: 0em;  
  border-top-width: 0em;  
  border-bottom-width: 0em;  
  border-color: darkgray; 
  padding-top : 20px ;
  padding-left : 20px ;
  padding-right : 20px ;
  padding-bottom : 10px ;
  margin-top: 0em ;
  margin-left: 0px ;;
}

/* Show the "PREVIEW" word in the background when previewing a topic: */
.WebPreview {
  background: url('%PUBURL%/TWiki/PreviewBackground/previewbg.gif');
  vertical-align : top ;
  border: solid; 
  border-left-width: 1px;  
  border-right-width: 1px;  
  border-top-width: 1px;  
  border-bottom-width: 1px;  
  border-color: darkgray; 
  padding-top : 20px ;
  padding-left : 20px ;
  padding-right : 20px ;
  padding-bottom : 10px ;
  margin-top: 0em ;
  margin-left: 140px ;;

}



/* Make warnings appear in red, bold text: */
font.warn
{
  color: red;
  font-weight: bold;
}

%STOPINCLUDE%

{ Edit | Attach | Printable | Diffs | More... }

Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.

Photos

If you have a flickr account please use the GTTSE2007 tag so that we can easily find each other photos. If you store them somewhere else send us the url.

• Photos by Yingfei Xiong.

Others

• Overview of GTTSE 2007 by Clémentine Nemo:

Public Relations Material

Feel free to download and print some of our publicity material:

• To stick on the wall: Poster (pdf, landscape, best on A3 or larger)

• Tutorials
• Technology Presentations

List of Technology Presentations

The purpose of the technology presentations is to supplement the theoretical knowledge acquired in the regular tutorials with practical knowledge of how generative and transformational techniques can be instrumental in solving software engineering problems. These presentations may include a mix of problem statement, foundations, running example, fundamental concepts, tool support, and software engineering issues. Compared to the regular tutorial lectures, these presentations are typically shorter, slightly more informal and interactive, and more focused on automated software engineering.

Scott Blum, Google, USA: Optimizing Monolithic Compilation in the Google Web Toolkit

Abstract: Google Web Toolkit's Java-to-JavaScript compiler begins with the premise that all source code is monolithically compiled into a single hermetic executable. This premise, it turns out, unlocks a slew of optimizations that would be impossible in a traditional compilation model. This session is not a presentation of GWT itself, but rather a high level exploration of the optimization techniques already implemented as well as future optimizations made possible by a monolithic compile.

Bio: Scott Blum has been a software engineer on the Google Web Toolkit team since 2005. He focuses on the Java-to-JavaScript compiler and hosted mode browser integration. He's also a big fan of Java and a bigger fan of Eclipse, the leading cause of dust gathering on his C++ books. Before coming to Google, Scott worked for several years on mobile software development tools. His work has included compilers, virtual machines, OO frameworks, and all manner of hackery.

Slides: pdf.

Robert M Fuhrer, IBM T.J. Watson Research, USA: SAFARI: Meta-Tooling for Language-Specific IDE's in Eclipse

Abstract: Building a state-of-the-art IDE for a new programming language is a difficult undertaking. Although much of this work is inevitable and requires an in-depth understanding of the language structure and semantics, a significant portion embodies common themes and code structures, and requires extensive knowledge of framework API's, which represent a great opportunity for code and knowledge reuse in the form of a meta-tooling framework for IDE development. In this talk, we will describe SAFARI, an ongoing project at IBM Watson Research to develop such meta-tooling for Eclipse.

Bio: Robert has spent the last several years developing static analyses and advanced refactorings for Java in Eclipse, some of which are now part of the Eclipse JDT, including generics-related refactorings for Java 5, type-related refactorings, and others. Robert also developed a smell detection framework for Java in Eclipse, which includes a code duplication detector. Prior to that, Robert worked on a diverse set of projects, including two visual programming languages, a film scoring system, manufacturing optimization algorithms, and hardware synthesis and verification for asynchronous circuits.

Slides: pdf.

Dragan Gasevic, Athabasca University, Canada: Model-Driven Engineering of Rules for Web Services

Abstract: Web services are proposed as a way that should enable for loosely-coupled integration of business processes of different stakeholders. This requires effective development mechanisms that focus on the modeling of business processes rather than on low-level implementation details of Web services, and yet to support frequent business changes especially in policy-driven systems. This talk presents the UML-based Rule Language that uses reaction rules (aka Event-Condition-Action, ECA, rules) for modeling business processes in terms of message exchange patterns. The approach is supported by a Fujaba plug-in and a number of model transformations for round-trip engineering of Web services.

Bio: Dragan Gasevic is an Assistant Professor in the School of Computing and Information Systems at Athabasca University and is an Adjunct Professor at Simon Fraser University in Canada. His research interests include the Semantic Web, model-driven software engineering, knowledge management, service-oriented architectures, and learning technologies. So far, he has authored/co-authored around 150 research papers and book chapters, and 2 books. He is the lead author of the book Model Driven Architecture and Ontology Development. He has been severing on the editorial/reviewing boards and organizing/program committees of many international journals, conferences, and workshops.

Slides: pdf.

Pierre-Etienne Moreau, INRIA/LORIA Nancy, France: Implementing Program Transformations with Tom and Java

Abstract: Tom is an extension of Java designed to easily implement program transformations, using the notions of rules and strategies. In this presentation we will show how this approach can be applied to the analysis and transformation of Java bytecode programs.

Bio: Pierre-Etienne Moreau is researcher at LORIA/INRIA Lorraine in the Protheo team. His main research activity consists in conceiving tools and languages that help to write complex applications, by decreasing the development time and increasing the confidence. In this direction, he has developed during his thesis a compiler for the ELAN language. Since 2001, he is managing the development of the Tom system, which allows to integrate the notions of equational matching, rule based programming, and strategic programming in languages like Java. The main applications of Tom are the implementation of compilers, program analysis and transformation tools, as well as automatic provers.

Slides: pdf.

Eric Van Wyk, University of Minnesota, USA: Building composable domain-specific language extensions for Java

Abstract: Extensible languages allow programmers to import new language features that provide new syntax, semantic analysis, and optimizations into their programming language. For example, a programmer may import into an extensible implementation of Java an extension that embeds SQL for type-safe data-base queries. Language extensions that define these features should be composable so that programmers can import multiple extensions that address different aspects of their programming problem. We show how such extensible languages and extensions have been created using Silver, an attribute grammar specification language, and AbleJ, an extensible specification of Java written in Silver.

Bio: Eric Van Wyk is an Assistant Professor in the Computer Science and Engineering department at the University of Minnesota. He received his Ph.D. from the University of Iowa in 1998 and was a post-doctoral researcher in the Computing Laboratory at the University of Oxford before joining the University of Minnesota in 2002. He is a 2005-2007 McKnight Land-Grant Professor and the recipient of an NSF CAREER Award. His research interests include extensible programming and specification languages as well as techniques for their declarative specification and implementation.

Slides: pdf.

Perdita Stevens, University of Edinburgh, UK: Bidirectional model transformations

Abstract: Tool support for model transformations is key to the success of model driven development. The OMG standard on Queries, Views and Transformations (QVT) specifies how to write transformations. Practitioners often genuinely need to be able to edit the models at either end of the transformation, while "keeping the models in sync": that is, they need bidirectional transformations. Supporting this fully goes beyond the state of the art of both tools and theory. I will introduce QVT and model transformation tools, before discussing current work building on that of the Harmony team led by Benjamin Pierce at the University of Pennsylvania.

Bio: Perdita Stevens is a Reader in Software Engineering at the University of Edinburgh's School of Informatics. She has been interested in modelling for many years, writing the first student textbook on UML (Using UML) and later writing on the implications of the XMI standard for developer-written model transformations. She is particularly interested in how tools and technologies can support the process of software design. She has recently finished a term as Steering Committee Chair of ETAPS, the European Joint Conferences on Theory and Practice of Software, and has also chaired the UML (now MODELS) conference.

Slides: pdf.

Laurence Tratt, King's College, UK: Techniques for lightweight DSL development in Converge

Abstract: While the concept of domain specific languages continues to gain in popularity and importance, the means we have at our disposal to create them often don't reflect the way we wish to use them. DSLs tend to start small, yet the tools we use to implement them often lead to surprisingly large and cumbersome implementations. DSLs tend to evolve in unforeseen ways, yet our implementations often have a "hackish" feel that makes change difficult.

In this talk I will introduce the Converge programming language, which has a simple facility which allows arbitrary syntaxes to be embedded in normal Converge code. This allows DSLs to be quickly implemented and experimented with. I will show how Converge facilitates a process for creating DSLs, and discuss some of our experiences with creating Converge DSLs.

Bio: Laurence Tratt is a researcher in the Department of Computer Science at King's College London, where he is co-leader of the Software and Systems Modelling Team. He is also the chief designer and maintainer of the Converge programming language, and has been a major contributor to several international standards related to modelling. He is a member of the IEEE Software Advisory Board.

Slides: pdf.

Robert Hirschfeld, HPI, Germany: Modularizing Context-dependent Behavioral Variations with Context-oriented Programming

Abstract: Context-oriented Programming, or COP, provides programmers with dedicated abstractions and mechanisms to concisely represent behavioral variations that depend on execution context. By treating context explicitly, and by directly supporting dynamic composition, COP allows programmers to better express software entities that adapt their behavior late-bound at runtime. Our presentation will illustrate COP constructs, their application, and their implementation, as well the relationship of COP to other approaches such as feature-oriented and aspect-oriented programming. We use Squeak as a programming environment to demonstrate sample scenarios.

Bio: Robert Hirschfeld is a Professor of Computer Science at the Hasso-Plattner-Institut in Potsdam. There he leads the Software Architecture Group that is concerned with fundamental elements and structures of software, developing methods and tools for improving the comprehension and design of complex systems. Robert Hirschfeld was a senior researcher with DoCoMo Euro-Labs, the European research facility of NTT DoCoMo Japan, where he worked on infrastructure components for next generation mobile systems with a focus on dynamic service adaptation and aspect-oriented programming. Prior to joining Euro-Labs, he was a principal engineer at Windward Solutions in Sunnyvale, California. Robert Hirschfeld received a Ph.D. in Computer Science form the Technical University of Ilmenau, Germany.

Slides: pdf.

List of Tutorials

Krzysztof Czarnecki: Model-Based Evolution

Abstract: Any new software engineering method usually works perfectly the first time it is applied. The method guides the developers in producing multiple artifacts such as documentation and code. The real trouble starts when any of the artifacts need to be evolved. As a consequence, other artifacts need to be co-evolved in order to reestablish consistency. The evolution challenge applies to model-driven development, too. However, models can help to make it less painful. In this tutorial, I will analyze evolution in model-driven development and present several techniques to address the challenge, such as guided model editing, multi-level customization, reverse engineering, and round-trip engineering.

Bio: Krzysztof Czarnecki is an Assistant Professor at the University of Waterloo, Canada. Before coming to Waterloo, he spent eight years at DaimlerChrysler Research working on the practical applications of generative programming. He is co-author of the book "Generative Programming" (Addison-Wesley, 2000), which is regarded as founding work of the area and is used as a graduate text at universities around the world. He was a keynote speaker the 2006 International Conference on Generative Programming and Component Engineering (GPCE) and will be the program chair for MoDELS 2008. His current work focuses on realizing the synergies between generative and model-driven software development..

Jean-Marie Favre: Software Linguistics and Language Engineering

Abstract: The notion of language is central to transformational technics, MDE and informatics. Language descriptions includes grammars, but also metamodels, schemas, ontologies, DSL, etc. The many stakeholders dealing with large software systems have different needs in terms of languages, leading to a software tower of babel. "Software languages" are languages too and should be studied as such. This tutorial revisit what linguistics could bring to informatics, and this is much more than the theory of formal languages. We coin Software Linguistics the scientific study of "software languages", and Language Engineering, the engineering discipline aiming at designing, compositing and evolving these languages over time.

Bio: Jean-Marie Favre is Assistant Professor at the University of Grenoble, France. His research work aims at integrating reverse engineering and model driven engineering applied to large scale software products. His experience in language (reverse) engineering and evolution comes both from academia and collaborations with very large software companies. He is member of various networks on software evolution, reverse engineering and MDE. He co-organized various international events and workshops in particular the ATEM series. He served as PC of several international conferences. He is co-author of a book in french "Beyond MDA : Model Driven Engineering".

Stan Jarzabek: Software Reuse Beyond Components with XVCL

Abstract: The main challenge in reuse is handling variability - similarities and differences across software systems (e.g., Product Line members). The reuse objective is to exploit similarities to avoid repetitive development work. Software architecture and component-based approaches are important means to address reuse goal and they are covered in the course. At the same time, we point to limitations of these approaches and show a pragmatic way to better exploit similarity patterns in software, considerably raising reuse benefit: We do initial design using conventional programming methods, and then apply generative technique of XVCL to build generic structures to unify similarity patterns for which conventional techniques fail to provide effective generic solutions. By applying such mixed-strategy approach, on average, we reduce conceptual complexity (and maintenance effort) of a program solution by 60%, raising the levels of reuse by similar rates.

Bio: Stan Jarzabek is an Associate Professor at the Department of Computer Science, School of Computing, National University of Singapore (NUS). He spent 12 years of his professional career in industry and 20 years in academia. Stan is interested in all aspects of software design, in particular techniques for design of adaptable, easy to change (high-variability) software. He gave 2-day courses on product line approach for industries and at major international conferences. Stan was a General Chair for GPCE'06, 5th Int. Conf. on Generative Programming and Component Engineering, October 2006, Portland, Oregon. He published over 100 papers at international conferences and journals (recent paper won ACM Distinguished Paper Award and two others were selected as best papers). In May 2007, CRC will publish Stan's book: Effective Software Maintenance and Evolution: Reuse-based Approach. He was a Principal Investigator in a multi-national collaborative project involving universities (NUS and the University of Waterloo), and companies in Singapore and Toronto.

Oege de Moor: OO queries over OO programs with .QL

Abstract: Programs are relations: inheritance between classes, the called-by relation between methods, and so on. Many tasks in software engineering benefit by exposing those relations via queries, e.g. finding common bugs, computing metrics, and identifying all locations impacted by a proposed change. We introduce the .QL query language for expressing such queries. Next, participants will be guided through the use of .QL on a substantial project, writing queries of their own in a hands-on session. Finally we outline how .QL capitalises on 30+ years of theoretical work by others in the databases community, and some more recent research in programming tools. A preview of the tools used in these lectures can be found at http://semmle.com.

Bio: Oege de Moor is the CEO of Semmle Ltd, the company that develops .QL and SemmleCode. He started his career in programming in 1982 with the development of a word processor for Arabic and Hebrew. After an undergraduate degree in computer Science at Utrecht (the Netherlands), he did his graduate work at Oxford. At present he is a professor of computer science there, and a fellow of Magdalen College. He has held visiting appointments at Chalmers University (Sweden), the University of Tokyo (Japan), and Microsoft Research (Redmond and Cambridge).

José Nuno Oliveira: Data Transformation by Calculation

Abstract: This tutorial addresses the foundations of data-model transformation. A catalog of transformations is presented which includes abstraction and representation relations and associated constraints, all expressed in an algebraic style via the pointfree-transform, a technique resembling the Laplace transform in mathematics: predicates are converted to binary relation terms (of the algebra of programming) in a 2-level style encompassing both data and operations. Data-calculation, which also includes transformation of recursive data models into "flat" database schemas, has been in use at Minho as alternative to standard database design and is the foundation of the "2LT bundle" of tools available from the UMinho Haskell libraries.

Bio: José Nuno Oliveira is associate professor at the Theory and Formal Methods Group of Minho University. He graduated from the U.Porto and received his PhD in Computer Science from the U.Manchester, where he became interested in formal methods and transformational techniques. He is a member of the Formal Methods Europe (FME) association, where he convenes a subgroup on education. Since his PhD work on data-flow program transformation, he became interested in data refinement techniques and calculational database design. His research is currently focussed on the application of the algebra of programming to abstract modelling and model-driven software design.

Markus Pueschel: How to Write Fast Numerical Code

Abstract: The complexity of modern microarchitectures poses a major challenge for developers of high performance numerical software. To run fast, it is not sufficient that a program is based on an algorithm with minimal operations count. Various other optimizations need to be performed including loop unrolling, adaptation to the memory hierarchy, and the use of special instruction sets. We introduce these and other techniques using the discrete Fourier transform and matrix-matrix multiplication as examples. Further, we overview Spiral, a program generation system for transforms, which performs these optimizations automatically to produce code that rivals the best human-tuned code in performance.

Bio: Markus Pueschel is an Associate Research Professor of Electrical and Computer Engineering at Carnegie Mellon University. He received his Diploma (M.Sc.) in Mathematics and his Doctorate (Ph.D.) in Computer Science, in 1995 and 1998, respectively, both from the University of Karlsruhe, Germany. His research interests include computing, algorithms, applied mathematics, and signal processing theory/software/hardware.

Walid Taha: A Practical Guide to Building Staged Interpreters

Abstract: Writing a staged interpreter is a strikingly direct way to build compilers. After a brief introduction to staging, we consider how to apply this technique to a series interpreters for increasingly more sophisticated languages. We see how popular language features can be modeled in an interpreter, and how this affects the staging process. The tutorial does train you in an immediately applicable skill. But more importantly, it aims to bring to light a number of profound insights on the utility and synergy of a range of ideas from programming languages theory.

Bio: Walid Taha lead the development of the semantics of staged computation, type systems for multi-stage languages, and implementing multi-stage languages like MetaOCaml and MetaOCaml Concoqtion. Currently, he leads the Resource-aware Programming (RAP) research group at Rice University, Houston, TX. He is the principal investigator on a number of NSF, Texas ATP, and SRC research grants and contracts on various aspects of resource aware programming. Taha is actively involved in development of both the embedded software and generative programming research communities.

Eelco Visser: Domain-Specific Language Engineering

Abstract: The goal of domain-specific languages (DSLs) is to increase the productivity of software engineers by abstracting from low-level boilerplate code. Introduction of DSLs in the software development process requires a smooth workflow for the production of DSLs themselves. This tutorial gives an overview of all aspects of DSL engineering: domain analysis, language design, syntax definition, code generation, deployment, and evolution, discussing research challenges on the way. The concepts are illustrated with DSLs for web applications built using several DSLs for DSL engineering: SDF for syntax definition, Stratego/XT for code generation, and Nix for software deployment.

Bio: Eelco Visser is Associate Professor at Delft University of Technology. His research is motivated by improving the productivity of software engineers through tool support and better programming abstractions, and has centered around tools for language engineering, with contributions in syntax definition, program transformation, domain-specific languages, and software deployment. His contributions include scannerless generalized LR parsing, generic traversal strategies, and dynamic rewrite rules. With his students he has designed and built a number of language engineering and software deployment tools, including the syntax definition formalism SDF, the Stratego/XT language and toolset for program transformation, and the Nix software deployment system.

Slides: pdf.

.natRevision { width:0px; height:0px; overflow:hidden; }

.natBreadCrumbs { width:0px; height:0px; overflow:hidden; }

.twikiToc { padding-top:0px; padding-bottom:0px; background: white; border-top:0px; border-bottom:0px; }

See also the faster WebTopicList

• TWikiGuest - example@your.company
• JoostVisser

Format: <space><space><space>, followed by:
* Main.yourWikiName (if you want that the e-mail address in your home page is used)
* Main.yourWikiName - yourEmailAddress (if you want to specify a different e-mail address)
* Main.anyTWikiGroup (if you want to notify all members of a particular TWikiGroup)

Related topics: TWikiUsers, TWikiRegistration

Warning

Can't INCLUDE TWiki.WebSearchAdvanced repeatedly, topic is already included.

Statistics for Events/GTTSE2007 Web

Notes:

• Do not edit this topic, it is updated automatically. (You can also force an update)
• TWikiDocumentation tells you how to enable the automatic updates of the statistics.
• Suggestion: You could archive this topic once a year and delete the previous year's statistics from the table.