http://www.resource-aware.org/twiki/bin/view/WG211 The WG211 web of TWiki. TWiki is a Web-Based Collaboration Platform for the Corporate World. en-us Copyright 2009 by contributing authors Walid Taha [maroneal@gmail.com] Walid Taha [maroneal@gmail.com] TWiki http://www.resource-aware.org/twiki/bin/view/WG211 http://www.resource-aware.org/twiki/pub/TWiki/TWikiLogos/T-logo-140x40-t.gif http://www.resource-aware.org/twiki/bin/view/WG211/DSLSchedule?t=2009-06-29T13:19:32Z IFIP 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 ... (last changed by WalidTaha) 2009-06-29T13:19:32Z WalidTaha http://www.resource-aware.org/twiki/bin/view/WG211/DSLAcceptedPapers?t=2009-05-11T14:26:10Z 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 ... (last changed by EmirPasalic) 2009-05-11T14:26:10Z EmirPasalic http://www.resource-aware.org/twiki/bin/view/WG211/DSLWC?t=2009-04-30T16:51:41Z IFIP Working Conference on Domain Specific Languages (DSL WC) July 15 17, 2009, Oxford New! Registration information and a list of accepted papers are now available ... (last changed by JeremyGibbons) 2009-04-30T16:51:41Z JeremyGibbons http://www.resource-aware.org/twiki/bin/view/WG211/WebHome?t=2009-04-29T15:10:58Z 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 JuliaLawall) 2009-04-29T15:10:58Z JuliaLawall http://www.resource-aware.org/twiki/bin/view/WG211/M7Taha?t=2009-04-24T15:06:50Z Java Mint Walid Taha taha wg09.ppt: Slides (last changed by JuliaLawall) 2009-04-24T15:06:50Z JuliaLawall http://www.resource-aware.org/twiki/bin/view/WG211/M7Schedule?t=2009-04-24T15:05:21Z 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 ... (last changed by JuliaLawall) 2009-04-24T15:05:21Z JuliaLawall http://www.resource-aware.org/twiki/bin/view/WG211/M7Sloane?t=2009-04-22T19:02:41Z A Pure Object Oriented Embedding of Attribute Grammars Anthony Sloane Macquarie University (joint work with Lennart Kats and Eelco Visser, TU Delft) Attribute grammars ... (last changed by JuliaLawall) 2009-04-22T19:02:41Z JuliaLawall http://www.resource-aware.org/twiki/bin/view/WG211/M7VanWyk?t=2009-04-22T18:56:33Z Verifiable Composition of Grammars August Schwerdfeger and Eric Van Wyk Abstract: One challenge in extensible languages arises in the composition of the concrete syntax ... (last changed by JuliaLawall) 2009-04-22T18:56:33Z JuliaLawall http://www.resource-aware.org/twiki/bin/view/WG211/M7Shan?t=2009-04-21T10:26:37Z Self applicable probabilistic inference without interpretive overhead Chung chieh Shan shan wg09.pdf: Slides (last changed by JuliaLawall) 2009-04-21T10:26:37Z JuliaLawall http://www.resource-aware.org/twiki/bin/view/WG211/M7Kamin?t=2009-04-21T10:22:50Z Typing program generators using the record calculus Sam Kamin kamin wg09.pdf: Slides (last changed by JuliaLawall) 2009-04-21T10:22:50Z JuliaLawall http://www.resource-aware.org/twiki/bin/view/WG211/M7Smaragdakis?t=2009-04-21T10:18:32Z Expressive and Safe Static Reflection with MorphJ Yannis Smaragdakis Recently, language extensions have been proposed for Java and C# to support pattern based reflective ... (last changed by JuliaLawall) 2009-04-21T10:18:32Z JuliaLawall http://www.resource-aware.org/twiki/bin/view/WG211/M7Bodik?t=2009-04-21T08:00:52Z Program Synthesis by Sketching Rastislav Bodik Software synthesis automatically derives programs that are efficient, even surprising, but it requires a domain theory ... (last changed by JuliaLawall) 2009-04-21T08:00:52Z JuliaLawall http://www.resource-aware.org/twiki/bin/view/WG211/M7Kelly?t=2009-04-20T15:28:03Z 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 ... (last changed by JuliaLawall) 2009-04-20T15:28:03Z JuliaLawall http://www.resource-aware.org/twiki/bin/view/WG211/M7Apel?t=2009-04-20T15:20:04Z FeatureHouse: Language Independent, Automated Software Composition Sven Apel Superimposition is a composition technique that has been applied successfully in many ... (last changed by JuliaLawall) 2009-04-20T15:20:04Z JuliaLawall http://www.resource-aware.org/twiki/bin/view/WG211/M7Stump?t=2009-04-20T15:01:02Z Purifying Natural Deduction Using Sequent Calculus Aaron Stump The Curry Howard isomorphism has proved a very fruitful connection between programming languages and ... (last changed by JuliaLawall) 2009-04-20T15:01:02Z JuliaLawall http://www.resource-aware.org/twiki/bin/view/WG211/M7Weirich1?t=2009-04-20T14:52:01Z Adventures in Dependently Typed Metatheory Stephanie Weirich with Limin Jia, Jianzhou Zhao, Vilhelm Sj"oberg Work in progress report Dependent type systems allow users ... (last changed by JuliaLawall) 2009-04-20T14:52:01Z JuliaLawall