|
|
||
|
|
Start of topic | Skip to actions
Results from WG211 webretrieved at 17:07 (Local)
Participant arriving or departing from Frankfurt Hahn Airport http://www.dagstuhl.de/TravelInfo/Hahn/ keep list ordered by date and time of arrival/departure ...
IFIP Working Conference on Domain Specific Languages (DSL WC) July 15 17, 2009, Oxford Call for Papers Domain specific languages are emerging as a fundamental component ...
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 ...
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: Directions to University ...
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 Anthony M Sloane Attribute grammars and term rewriting systems have proven to be useful high level specification paradigms for ...
You can throw a loop a curve Armin Groesslinger Automatic, model based program transformation relies on the ability to generate code from a model description of the ...
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 William Cook Abstract: Strategic Programming is a programming paradigm based on factoring programs ...
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 ...
IFIP WG2.11, meeting schedule IFIP Working Group 2.11 Seventh Meeting April 15 17, 2009, Mountain View, California
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 [email protected] caml [email protected] [email protected] oon [email protected] [email protected] haskell ...
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 ...
WG211 Web Preferences The following settings are web preferences of the WG211 web. These preferences overwrite the site level preferences in ., and can be ...
TWiki's WG211 web /view/WG211 The WG211 web of TWiki. TWiki is a Web Based Collaboration Platform for the Corporate World.
Statistics for WG211 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads ...
See also the verbose WebIndex.
Number of topics: 100
Topic Actions: Edit | Attach | Printable | Raw View | Backlinks: Web, All Webs | History: r2 < r1 | More topic actions
Webs: Main | TWiki | Africa | EmbeddedSystems | Gpce | Houston | International | K12 | MetaOCaml | MulticoreOCR | ProgrammingLanguages | RAP | RIDL | Sandbox | SpeechClub | Teaching | Texbot | WG211 Web Actions:  WG211 Web  Create New Topic  Index  Search  Changes  Notifications  Statistics  Preferences
|
|
Log In
This work is licensed under a Creative Commons Attribution 2.5 License. Please follow our citation guidelines.