TWiki's WG211 web
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-usCopyright 2009 by contributing authorsWalid Taha [maroneal@gmail.com]Walid Taha [maroneal@gmail.com]TWikiPowered by TWiki.WG211
http://www.resource-aware.org/twiki/bin/view/WG211
http://www.resource-aware.org/twiki/pub/TWiki/TWikiLogos/T-logo-140x40-t.gifDSLSchedule
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:32ZWalidTahaDSLAcceptedPapers
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:10ZEmirPasalicDSLWC
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:41ZJeremyGibbonsWebHome
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:58ZJuliaLawallM7Taha
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:50ZJuliaLawallM7Schedule
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:21ZJuliaLawallM7Sloane
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:41ZJuliaLawallM7VanWyk
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:33ZJuliaLawallM7Shan
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:37ZJuliaLawallM7Kamin
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:50ZJuliaLawallM7Smaragdakis
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:32ZJuliaLawallM7Bodik
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:52ZJuliaLawallM7Kelly
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:03ZJuliaLawallM7Apel
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:04ZJuliaLawallM7Stump
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:02ZJuliaLawallM7Weirich1
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:01ZJuliaLawall