Results from WG211 web retrieved at 08:00 (GMT)
Participant arriving or departing from Frankfurt Hahn Airport http://www.dagstuhl.de/TravelInfo/Hahn/ keep list ordered by date and time of arrival/departure ...
Accepted Papers Papers to be presented at the IFIP DSL'09 Working Conference at Oxford, July 15 17, 2009. Domain Speci #64257;c Language for HW/SW Co Design ...
IFIP TC2 Working Conference on Domain Specific Languages (DSL WC) July 15 17, 2009, Oxford All talks consist of 25 minutes of presentation, followed by 5 minute response ...
IFIP Working Conference on Domain Specific Languages (DSL WC) July 15 17, 2009, Oxford New! information, a blog, and a list of accepted papers are now available. Newer ...
Domain Specific Types. Oege de Moor. Abstract Little languages allow richer type systems. I'll illustrate this by considering type systems for Datalog, a query ...
Doctoral/Postdoc Position Available at the University of Passau, Germany Project: FeatureFoundation: Algebra Based Feature Oriented Program Synthesis Website: ...
Doctoral/Postdoc Position Available at the University of Passau, Germany Project: Programming Methods for Manycore Architectures Website: http://www.infosun.fim ...
IFIP Working Group 2.11, Ninth Meeting September 3 5, 2011, Bordeaux, France This meeting will be co located with the 2011 Working Conference on Domain specific Languages ...
Title: A Theory of Predicate Complete Test Coverage and Generation Thomas Ball Abstract: Consider a program with M statements and N predicates, where the predicates ...
Title: Improving Incremental Development in AspectJ by Bounding Quantification Don Batory Abstract: Incremental software development is a process of building complex ...
Title: Persistent Intermediate Representations for Adaptive Global Optimization Albert Cohen Abstract: I will survey the program optimization activities conducted ...
Title: A Domain Specific Language for Telephony Services A Progress Report Charles Consel Abstract: Modern telephony is increasingly relying on the IP network. As ...
Title: Feature Modeling in Generative Software Development Krzysztof Czarnecki Abstract: I'll give an overview of my recent and in progress work on feature modeling ...
Title: Adding tracecuts to AspectJ Oege de Moor Abstract: Conceptually, in AspectJ we transform computations rather than program texts: an aspect observes the execution ...
Title: Certifying Automatically Generated Code Bernd Fischer Abstract: Automatic code generation has the potential to increase both productivity and reliability of ...
Title: Hume: a Domain Specific Language for Real Time Embedded Systems Kevin Hammond Abstract: Hume is a domain specific language for resource constrained systems ...
Title: Combining Abstraction and Performance by Metaprogramming Christoph Herrmann Abstract: My aim is to initiate a discussion about the role of metaprogramming in ...
Title: Using Partial Evaluation to Optimize Run Time Program Generation Sam Kamin Abstract: We have been advocating an approach to run time program generation (RTPG ...
Title: Composition metaprogramming and component metadata Paul H J Kelly Abstract: Performance optimisations very commonly arise from adapting components to their ...
Title: Generation of High Performance Domain Specific Languages from Component Libraries Ken Kennedy Abstract: This talk will describe an emerging research theme, ...
Title: Tarantula: Killing Driver Bugs Before They Hatch Julia Lawall Abstract: The Linux operating system is undergoing continual evolution to improve performance ...
Title: The New EU Network of Excellence CoreGrid Christian Lengauer Abstract: I'll report on CoreGrid, Passau's activities in it, and its relevance to the WG 2.11 ...
Title: Aspect Specific Languages Cristina Videira Lopes Abstract: In the first part of the talk, I will describe JAML, an extensible XML based language framework supporting ...
Title: An Economics Based Model for Assessing Program Modularity Cristina Videira Lopes Abstract: In the second part of the talk, I will present a radically new approach ...
Title: Program generation by linking Eugenio Moggi Abstract: In AM04 we have introduced a monadic metalanguage with name generation and linking. I this presentation ...
Title: Concepts for Describing Composition of Software Artifacts Harold Ossher Abstract: A key element of aspect oriented software technology is composition (or weaving ...
Title: Synchronizing Periodic Clocks in Kahn Networks Marc Pouzet Abstract: This is a joint work with Albert Cohen, Christine Eisenbeis, Claire Pagetti (INRIA, Alchemy ...
Title: Generative Programming from a DSL Viewpoint Laurent Reveillere Abstract: From a DSL viewpoint, generative programming provides a variety of approaches and techniques ...
Title: Statically Safe Meta Programming Yannis Smaragdakis Abstract: Current meta programming systems either offer little guarantee of semantic well formedness of ...
Title: Policy Enforcement Doug Smith Abstract: I am currently working on ways to automate policy enforcement during system design by refinement. A policy can be thought ...
Title: Regenerative Programming: A New Approach to Data Mining for Software Design Walid Taha Abstract: While there are many concrete examples of how program generation ...
Title: A Game Theoretic Approach to Automated Program Generation Moshe Vardi Abstract: One of the most significant developments in the area of design verification ...
Title: Towards Extensible Program Transformation Systems Eelco Visser Abstract: The work on the Stratego program transformation language can be divided into two tracks ...
Albert Cohen Title: N Synchronous Kahn Networks Speaker: Albert Cohen The design of high performance stream processing systems is a fast growing domain, driven by ...
Albert Cohen Title: How can we make metaprogramming more predictable and enjoyable? Discussion Leader: Albert Cohen Proposed cheese wine discussion. Meta programming ...
Charles Consel Title: A proposal for Domain Specific Software Engineering Speaker: Charles Consel Slides: .ppt Abstract: Domain Specific Software Engineering Traditionally ...
Krzysztof Czarnecki Title: Verifying Model Templates Speaker: Krzysztof Czarnecki Abstract: TBA
Marco Danelutto Title: Generative aspects in skeletal systems Speaker: Marco Danelutto Abstract: Algorithmical skeleton based environments have been around since the ...
Robert Glueck Title: TBA Speaker: Robert Glueck Abstract: TBA
Title: The structure of a program inverter Speaker: Robert Glück Slides: .pdf ...
Edwin Brady Title: Proving Size Bounds with Dependent Types Speaker: Edwin Brady Slides: .pdf Abstract: None.
Christoph A. Herrmann Title: Generating Size Parameterized Functions for Circuit Simulation Using Template Haskell Speaker: Christoph A. Herrmann Slides: .pdf Abstract ...
Sam Kamin Title: Partial evaluation of static analyses for programs with holes Speaker: Sam Kamin Slides: .ppt Abstract: Suppose we are given a program with holes ...
Sam Kamin and Eelco Visser Title: Compelling examples of program generation Discussion Leader: Sam Kamin and Eelco Visser Sam's Perspective: Model Examples for Program ...
Paul Kelly Title: Domain specific interpreters Speaker: Paul Kelly Abstract: "Domain specific interpreter" is a name we have coined for a program generation trick ...
Ralf Lammel Title: Typed XML programming without serialization Speaker: Ralf Lammel Abstract: TBA
Julia Lawall and Christian Lengauer Title: The Future and Potential of Aspect Oriented Programming Discussions Leaders: Julia Lawall and Christian Lengauer Abstract ...
Anne Fran oise Le Meur Title: Integrating concerns into software architectures Speaker: Anne Fran oise Le Meur Slides: .pdf Abstract: TBA
Roberto Lopez Herrejon Title: Mapping Features to Aspects Speaker: Roberto Lopez Herrejon Slides: .pdf Abstract: Features are increments in program functionality and ...
Title: Program generation by linking Speaker: Eugenio Moggi Slides: .pdf Abstract. In joint work with Ancona we have introduced a monadic metalanguage with name generation ...
John O'Donnell Title: Equational Reasoning with Circuit Transformations in Hydra Speaker: John O'Donnell Abstract: TBA
Marc Pouzet Title: A Conservative Extension of Synchronous Data flow with State Machines Speaker: Marc Pouzet Slides: .pdf Abstract: In this talk, we present an extension ...
Lawrence Rauchwerger Title: STAPL: A High Productivity Parallel Programming Environment Speaker: Lawrence Rauchwerger Abstract: The Standard Template Adaptive Parallel ...
IFIP WG2.11, meeting schedule IFIP Working Group 2.11 Third Meeting Schedule January 25 28, 2006, Dagstuhl, Germany ArrivalDeparture and TaxiSharing Attendees Members ...
Yannis Smaragdakis Title: Easy Non Intrusive Java Language Extensions with MAJ Speaker: Yannis Smaragdakis Slides: .pdf Abstract: Domain specific languages hold the ...
J rg Striegnitz Title: Type Systems to Support Language Embeddings Speaker: J rg Striegnitz Slides: .pdf Abstract: None.
Doaitse Swierstra/title Title: Dynamically Extending Syntax and Semantics Speaker: Doaitse Swierstra Slides: .pdf Abstract: I give an overview of the issues involved ...
Doaitse Swierstra/title Title: Implicit Program Generation Speaker: Doaitse Swierstra Slides: .pdf Abstract: I show how by creating parsers on the fly we can create ...
Walid Taha Title: A monadic approach to avoiding code duplication Speaker: Walid Taha Slides: .pdf Abstract: Building program generators that do not duplicate generated ...
Todd Veldhuizen Title: Tradeoffs in Metaprogramming Speaker: Todd Veldhuizen Slides: .pdf Abstract: The design of metaprogramming languages requires appreciation of ...
Eelco Visser Title: A Framework for Transformation of Java Programs Speaker: Eelco Visser Slides: .pdf Abstract: Stratego/XT is a language independent framework for ...
Eelco Visser Title: Is program generation here to stay? Discussion Leader: Eelco Visser Abstract: Is program generation a fundamental tool for software engineering ...
Stephanie Weirich Title: Practical type inference for advanced type systems Speaker: Stephanie Weirich Slides: .ppt Abstract: None.
Arrivals Julia Lawall, arriving Wednesday, October 25 at 7:05pm Albert Cohen, arriving Friday, October 27 at 23:15pm Sam Kamin, arriving Monday, October 23 at 22:09pm ...
0) Please print the google map of the destination address: here 0) You can get automatically generated directions here: http://www.trimet.org/go/cgi bin/itin ...
IFIP WG2.11, meeting schedule IFIP Working Group 2.11 Fourth Meeting Schedule October 27 28, 2006, Portland, Oregon. Your Checklist: to University Place ...
Please add talk abstracts below: Synthesis of Hybrid Automata from Temporal Logic Specifications with Applications in Computer Animation Tom Ellman Department of ...
IFIP WG2.11, meeting schedule IFIP Working Group 2.11 Fifth Meeting August 20 22, 2007, Copenhagen, Denmark. Business meeting There will be a business meeting late ...
From the airport to the hotel: The hotel is quite near the airport. By taxi it costs around 150DKK and takes around 10 minutes. As you leave the baggage area, ...
Combining Attribution and Rewriting M Sloane Attribute grammars and term rewriting systems have proven to be useful high level specification paradigms for developing ...
You can throw a loop a curve Groesslinger Automatic, model based program transformation relies on the ability to generate code from a model description of the program ...
Pantaxou: a Domain Specific Language for Developing Safe Coordination Services Charles Consel Coordinating entities in a networked environment has always been a ...
Code Generation by Model Transformation The realization of model driven software development requires effective techniques for implementing code generators. In this ...
Sublanguages for generating digital circuits John O'Donnell Functional circuit specification constitutes a natural domain specific language: circuits are modelled ...
What are the important research issues in domain specific languages? Julia Lawall Many of us have developed, used, or desired domain specific languages (DSLs) in a ...
A model based framework for statically and dynamically checking component interactions Anne Francoise Le Meur Building applications by assembling software components ...
Strategic Programming by Model Interpretation and Partial Evaluation Cook Abstract: Strategic Programming is a programming paradigm based on factoring programs into ...
The Expression Lemma Ralf L mmel, joint work with Ondrej Rypacek Algebraic data types and catamorphisms (folds) play a central role in functional programming as they ...
The talk investigates conceptually the self generation of compiler generators and program specializers. The question whether the generation process stagnates or progresses ...
IFIP WG2.11, meeting schedule IFIP Working Group 2.11 Sixth Meeting June 19 21, 2008, Passau, DE. Registration Meeting Fee: EUR 160, payable by credit card or ...
Recent Developments in Feature Feature Oriented Software Development Sven Apel Feature oriented software development is an emerging paradigm that provides a multitude ...
Discussion: Whether or not to (and how to) set up a related teaching repository? Ralf Laemmel Many of us are giving courses at various levels with relevance for program ...
In earlier work (presented at the last WG 2.11 meeting), I presented an initial effort at facilitating software development for modular self reconfigurable robots ...
FeatureHouse: Language Independent, Automated Software Composition Sven Apel Superimposition is a composition technique that has been applied successfully in many ...
Program Synthesis by Sketching Rastislav Bodik Software synthesis automatically derives programs that are efficient, even surprising, but it requires a domain theory ...
Modern Mechanized Mathematics Jacques Carrette Doing mathematics by computer is divided into two camps: numerical analysis and symbolic computation, both with very ...
Slice, Partition, and Reforest for Data Access and Distribution William R. Cook One of the problems with Remote Procedure Calls (RPC) is that they are latency additive ...
Timing Verification of Hume Box Compositions via Abstractions in Agda2 Christoph Herrmann Hume is a language developed for functional programming of safety critical ...
Typing program generators using the record calculus Sam Kamin kamin wg09.pdf: Slides
SIMD and SIMT Code Generation for Visual Effects using indexed dependence metadata Paul H J Kelly Imperial College London, UK This talk is about a project to build ...
Enforcing the Use of API Functions in Linux Code Julia Lawall DIKU In the Linux kernel source tree, header files typically define many small functions that have a ...
Theory of mind and bounded rationality without interpretive overhead Oleg Kiselyov and Chung chieh Shan Computers and humans that work well together have beliefs about ...
Automatic Generation of Network Protocol Gateways Laurent Réveillère The emergence of networked devices in the home has made it possible to develop applications that ...
IFIP WG2.11, meeting schedule IFIP Working Group 2.11 Seventh Meeting April 15 17, 2009, Mountain View, California Registration Registration. The fee is $180. Please ...
Self applicable probabilistic inference without interpretive overhead Chung chieh Shan shan wg09.pdf: Slides
A Pure Object Oriented Embedding of Attribute Grammars Anthony Sloane Macquarie University (joint work with Lennart Kats and Eelco Visser, TU Delft) Attribute grammars ...
Expressive and Safe Static Reflection with MorphJ Yannis Smaragdakis Recently, language extensions have been proposed for Java and C# to support pattern based reflective ...
Calculating Refinements in Algorithm and System Design Doug Smith I've been working on a unified treatment of algorithm and system design. The key is to treat system ...
Automated Synthesis of Propositional Satisfiability Solvers Doug Smith Last year we carried out automated derivations of several SAT solvers using Kestrel's Specware ...
Purifying Natural Deduction Using Sequent Calculus Aaron Stump The Curry Howard isomorphism has proved a very fruitful connection between programming languages and ...
Java Mint Walid Taha taha wg09.ppt: Slides
Verifiable Composition of Grammars August Schwerdfeger and Eric Van Wyk Abstract: One challenge in extensible languages arises in the composition of the concrete syntax ...
Adventures in Dependently Typed Metatheory Stephanie Weirich with Limin Jia, Jianzhou Zhao, Vilhelm Sj"oberg Work in progress report Dependent type systems allow users ...
LNgen: Tool Support for Locally Nameless Representations Stephanie Weirich and Brian Aydemir Abstract: Given the complexity of the metatheoretic reasoning involved ...
Relating Staged Computation to the Record Calculus Baris Aktemur It has been previously shown that there is a close relation between record calculus and program generation ...
Safe Generation in Feature Oriented Software Development Sven Apel Feature oriented software development (FOSD) is an emerging paradigm that provides a multitude ...
Implementing Domain Specific Languages using Dependent Types and Partial Evaluation Ed Brady In this talk, I will describe the efficient implementation of domain ...
Online Partial Evaluation of Model Interpreters in Java William Cook I'll about my ongoing work to implement model compilers by partial evaluation of model interpreters ...
Discussion on teaching program generation and DSLs Ulrik Schultz The goal of this discussion is to share experience regarding teaching program generation and domain ...
Programming for adaptive sensor networks: back to the future Simon Dobson Programming for sensor networks sometimes seems to combine the entire history of computer ...
An experiment with the fourth Futamura projection Robert Glueck We have experimentally validated the theoretical insight, that a compiler generator is a generating ...
AnySL: Efficient and Portable Multi Language Shading Sebastian Hack In graphics, shaders have become a key part of 3D scene descriptions especially since programmable ...
An embedded DSL for the parameterised specification, resource analysis and scheduling of systems composed of functional building blocks Christoph Hermann
DoMinion : Generating Efficient Constraint Programming Solvers Christopher Jefferson Constraint Programming is a field where the efficiency of software tools is paramount ...
Virtual separation of concerns Toward preprocessors 2.0 Christian Kaestner Conditional compilation with preprocessors like cpp is a simple but effective means to ...
Recovering Grammar Relationships for the Java Language Specification Ralf Lämmel We describe a refined method for grammar convergence, and we use it in a major study ...
Generating optimised multiplatform finite element solvers from high level representations Graham Markall High performance implementations of finite element methods ...
Datapath and control correspond to language and program John O'Donnell Complex digital circuits are usually organised in two sections: datapath and control. Traditional ...
Software Product Lines Ina Schaeffer A software product line is a set of systems with well defined commonalities and variabilities. Because of the huge number of ...
IFIP Working Group 2.11, Eighth Meeting March 1 3, 2010, St. Andrews Scotland Organizers {kh,ch} at cs dot st hyphen andrews dot ac dot uk Registration here Meeting ...
Language Support for Robust and Reversible Self Reconfiguration Ulrik Schultz Modular, self reconfigurable robots are robots that can change their own shape by physically ...
Bidirectional Attribute Grammars and their use in Extensible Languages Eric Van Wyk We discuss how bidirectional transformations can be realized in higher order attribute ...
Building IDEs for Domain Specific Languages with Spoofax/IMP Eelco Visser Domain specific languages are a key component of program generation. While we have ample ...
Mint: Java Multi stage Programming Using Weak Separability Ed Westbrook Multi stage programming (MSP) provides a disciplined approach to run time code generation ...
Software product lines in Clafer Kacper Bak Clafer is a meta modeling language with first class support for feature modeling. It can model various aspects of software ...
Open Platforms: New Challenges for Software Engineering Emilie Balland Recently, platforms running third party applications have become very popular, in particular ...
Migration of Applications across Object Oriented APIs Thiago Tonelli Bartolomei Evolving requirements may necessitate API migration: re engineering an application ...
The structure of typed generic code generators Jacques Carette Now that the feasibility of writing complex typed code generators has been established, along with ...
Extending code generators by transforming generated code Bernd Fischer Code generated from high level specifications often requires modification before deployment ...
Variability Analysis of Legacy C Code: Parsing and Type Checking Millions of Product Line Variants Christian Kaestner Despite much research on sophisticated programming ...
Ask by need: generating multiple answer RPC/web requests Oleg Kiselyov At the 2009 meeting of WG2.11, William Cook presented a new remote procedure call (RPC) mechanism ...
The MetaOCaml files Oleg Kiselyov, Chung chieh Shan MetaOCaml, a dialect of OCaml, is the best developed way today to write custom code generators and assure them ...
Modeling Programming Technologies Ralf Lämmel I will present preliminary results of an effort on understanding programming technologies at an ontological and megamodeling ...
Synthesizing executable code from declarative abstraction functions Derek Rayside Data abstraction has been the dominant structuring paradigm for programs for decades ...
IFIP Working Group 2.11, Ninth Meeting December 1 3, 2010, Waterloo, Canada Venue The meeting will be held in the Davis Center (DC) Building on the campus of the ...
Profile based analysis of attribute evaluation patterns Anthony M. Sloane Attribute grammars enable complex algorithms to be defined on tree structures using simple ...
Globally Parallel, Locally Sequential Walid Taha A broad and important and resource intensive class of computations codes are simulators for physical (or "natural ...
Towards a Generalization of Specialization Edwin Westbrook Code specialization is a powerful technique for optimizing programs in general purpose languages. Unfortunately ...
Welcome to the home of TWiki.WG211. This is a web based collaboration area for ... Site Tools of the WG211 Web Notes:
IFIP Working Group 2.11 Kickoff Meeting Preliminary Schedule May 16 18, 2004, St. Emilion, France Sunday 10:00 Departure from Bordeaux. Departure from the bus ...
IFIP Working Group 2.11 Second Meeting Schedule March 6 9, 2005, Houston, Texas Talks will be 20 minutes in length, with 10 minutes for questions. There is information ...
Must read Papers Dear all, Please enter below titles of papers (and, ideally, links to their source) of papers that you view as seminal or highly influential in the ...
EmirPasalic 15 Jun 2008 CFP DSL.pdf: CFP DSL.pdf cfp.pdf: cfp.pdf
Mailing Lists mailto:prog lang #64;diku.dk caml list #64;yquem.inria.fr boost #64;lists.boost.org oon list #64;oonumerics.org planetmde #64 ...
Teaching Program Generation Getting program generation accepted and used starts with teaching our students. How should we incorporate program generation in the ...
Coming soon.
Welcome to the homepage of IFIP TC 2 working group on Program Generation (WG 2.11) Program generation has the potential to revolutionize software development in the ...
Welcome to the homepage of IFIP TC 2 working group on Program Generation (WG 2.11) The Meeting Schedule Generative approaches have the potential to revolutionize ...
See also the faster WebTopicList
Web Web Home Changes Index Search Webs
This is a subscription service to be automatically notified by e mail when topics change in this WG211 web. This is a convenient service, so you do not have to come ...
nop WG211 Web Preferences The following settings are web preferences of the WG211 web. These preferences overwrite the site level preferences in ., and can ...
TWiki's nop WG211 web /view/WG211 The nop WG211 web of TWiki. TWiki is a Web Based Collaboration Platform for the Corporate World.
Statistics for nop WG211 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save ...
See also the verbose WebIndex.
Number of topics: 158
See also the faster WebTopicList
Edit | Attach | Print version | History: r2 < r1 | Backlinks | Raw View | Raw edit | More topic actions
Topic revision: r2 - 24 Nov 2001 - 11:41:09 - PeterThoeny
 |
|
This work is licensed under a Creative Commons Attribution 2.5 License. Please follow our citation guidelines.Webs: Main | TWiki | Africa | CPSX | EmbeddedSystems | Forum | Glossary | Gpce | Houston | International | K12 | MainOld | MetaOCaml | MulticoreOCR | ProgrammingLanguages | RAP | RIDL | Sandbox | SpeechClub | Teaching | Texbot | WG211
Web Actions:
WG211 Web 
Create New Topic 
Index 
Search 
Changes 
Notifications 
Statistics 
PreferencesLog In or Register