https://resource-aware.org/do/view/WG211 The WG211 web of TWiki. TWiki is a Web-Based Collaboration Platform for the Corporate World. en-us Copyright 2011 by contributing authors Walid Taha [[email protected]] The contributing authors of TWiki TWiki https://resource-aware.org/do/view/WG211 /twiki/pub/TWiki/TWikiIncGraphics/twiki-logo-116x58-t.gif https://resource-aware.org/do/view/WG211/M10Schedule IFIP Working Group 2.11, Tenth Meeting September 3 5, 2011, Bordeaux, France This meeting will be co located with the 2011 Working Conference on Domain specific Languages ... (last changed by UlrikSchultz) 2011-08-23T16:20:35Z UlrikSchultz https://resource-aware.org/do/view/WG211/M10Lawall Finding Resource Release Omission Faults in Linux by Julia Lawall (Joint work with Suman Saha and Gilles Muller, accepted at PLOS 2011) The management of the releasing ... (last changed by UlrikSchultz) 2011-08-23T16:18:57Z UlrikSchultz https://resource-aware.org/do/view/WG211/M10Kaestner A Variability Aware Module System by Christian Kaestner Variability in software systems makes it challenging to develop andanalyze these systems. Especially in software ... (last changed by UlrikSchultz) 2011-08-17T17:54:45Z UlrikSchultz https://resource-aware.org/do/view/WG211/M10Rayside Synthesizing Imperative Code from Relational Specifications by Derek Rayside We are exploring techniques to synthesize imperative (Java) code from specifications ... (last changed by UlrikSchultz) 2011-08-17T17:53:15Z UlrikSchultz https://resource-aware.org/do/view/WG211/M10Visser Declaratively Programming the Mobile Web with Mobl by Eelco Visser Abstract: A new generation of mobile touch devices, such as theiPhone, Android and iPad, are equipped ... (last changed by UlrikSchultz) 2011-08-17T17:50:29Z UlrikSchultz https://resource-aware.org/do/view/WG211/M10Shan Computational Effects across Generated Binders, Part 2: Enforcing lexical scope by Chung chieh Shan (presenter) with Yukiyoshi Kameyama and Oleg Kiselyov If left unchecked ... (last changed by UlrikSchultz) 2011-08-17T17:47:30Z UlrikSchultz https://resource-aware.org/do/view/WG211/M10Kiselyov Computational Effects across Generated Binders, Part 1: Problems and solutions by Oleg Kiselyov (presenter) with Yukiyoshi Kameyama and Chung chieh Shan Code generation ... (last changed by UlrikSchultz) 2011-08-17T17:46:27Z UlrikSchultz https://resource-aware.org/do/view/WG211/M10Hermann Multi Level DSLs with a co design of code generation and analysis/verification by Christoph Herrmann The aim of this approach is to obtain precise information about ... (last changed by UlrikSchultz) 2011-08-17T14:06:22Z UlrikSchultz https://resource-aware.org/do/view/WG211/M10Siek Composing DSLs by Jeremy Siek Domain specific languages offer domain appropriate syntax that lowersthe learning curve for domain experts. However, large softwareapplications ... (last changed by UlrikSchultz) 2011-08-12T12:11:30Z UlrikSchultz https://resource-aware.org/do/view/WG211/M10Mosses PLanCompS: Programming Language Components and Specifications by Peter Mosses The PLanCompS project aims to establish and test the practicality of a component based ... (last changed by UlrikSchultz) 2011-07-17T19:04:50Z UlrikSchultz https://resource-aware.org/do/view/WG211/M10Schaefer Deductive Verification of Software Product Lines by Ina Schaefer A software product line consists is a family of program variants that are developed from a common ... (last changed by UlrikSchultz) 2011-07-17T19:03:37Z UlrikSchultz https://resource-aware.org/do/view/WG211/M10Doerre Typing MapReduce by Jens Doerre MapReduce is a framework for processing large distributed data sets. It is based on the combinators map and reduce as used in functional ... (last changed by UlrikSchultz) 2011-07-17T19:01:40Z UlrikSchultz https://resource-aware.org/do/view/WG211/WebHome 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 ... (last changed by UlrikSchultz) 2011-07-17T18:50:57Z UlrikSchultz https://resource-aware.org/do/view/WG211/M10Apel Semistructured Merge: Rethinking Merge in Revision Control Systems by Sven Apel An ongoing problem in revision control systems is how to resolve conflicts in a merge ... (last changed by UlrikSchultz) 2011-06-27T08:07:45Z UlrikSchultz https://resource-aware.org/do/view/WG211/M10Kelly Using DSLs to open expand the parallel code synthesis design space by Paul Kelly What is the right code to generate, for a given hardware platform? How does this ... (last changed by UlrikSchultz) 2011-06-26T14:37:27Z UlrikSchultz https://resource-aware.org/do/view/WG211/M10Hammond ParaForming: Forming Parallel Haskell Programs using Novel Refactoring Technique Kevin Hammond Enabling programmers to "think parallel'' is critical if we are to ... (last changed by UlrikSchultz) 2011-06-25T19:31:55Z UlrikSchultz