http://mw.hh.se/wg211/index.php?action=history&feed=atom&title=WG211%2FMeetingOne WG211/MeetingOne - Revision history 2026-04-05T19:29:47Z Revision history for this page on the wiki MediaWiki 1.43.5 http://mw.hh.se/wg211/index.php?title=WG211/MeetingOne&diff=529&oldid=prev Walid at 14:44, 16 December 2011 2011-12-16T14:44:07Z <p></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 16:44, 16 December 2011</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l2">Line 2:</td> <td colspan="2" class="diff-lineno">Line 2:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">&lt;center&gt;</del></div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>=IFIP Working Group 2.11 Kickoff Meeting=</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>=IFIP <del style="font-weight: bold; text-decoration: none;">[[http://www.smart-generators.org/ </del>Working Group 2.11<del style="font-weight: bold; text-decoration: none;">]] </del>Kickoff Meeting=</div></td><td colspan="2" class="diff-side-added"></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>==Preliminary Schedule==</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>==Preliminary Schedule==</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>May 16-18, 2004, St. Emilion, France</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>May 16-18, 2004, St. Emilion, France</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">&lt;/center&gt;</del></div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>====Sunday 10:00====</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>====Sunday 10:00====</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> </table> Walid http://mw.hh.se/wg211/index.php?title=WG211/MeetingOne&diff=331&oldid=prev Admin: 1 revision 2011-12-12T10:06:29Z <p>1 revision</p> <p><b>New page</b></p><div>[[Category:WG211]]<br /> <br /> <br /> &lt;center&gt;<br /> =IFIP [[http://www.smart-generators.org/ Working Group 2.11]] Kickoff Meeting=<br /> <br /> ==Preliminary Schedule==<br /> <br /> May 16-18, 2004, St. Emilion, France<br /> &lt;/center&gt;<br /> ====Sunday 10:00====<br /> <br /> Departure from Bordeaux. Departure from the bus stop on allees de Munich aux Quinconces (2 minutes walk from the hotel). Bus company &quot;VOYAGES ARRIVE&quot;.<br /> <br /> ====Sunday 1:30-3:45====<br /> <br /> Feature interactions in feature oriented programming <br /> ----<br /> Don Batory<br /> <br /> [[http://www.cs.rice.edu/%7Etaha/wg2.11/m-1/schedule/cohen.html Revisiting optimization for compute-intensive codes in the context of program generation and adaptive libraries.]]<br /> ----<br /> Albert Cohen, INRIA Futurs<br /> <br /> [[http://www.cs.rice.edu/%7Etaha/wg2.11/m-1/schedule/consel.html A DSL for telephony services ]]<br /> ----<br /> Charles Consel, INRIA Futurs<br /> <br /> [[http://www.cs.rice.edu/~taha/wg2.11/m-1/schedule/hammond.html Analyzing Stack and Heap Bounds for Primitive Recursive Programs in PR-Hume ]]<br /> ----<br /> Kevin Hammond, University of St Andrews<br /> <br /> ====Sunday 4:15-6:45====<br /> <br /> [[http://www.cs.rice.edu/%7Etaha/wg2.11/m-1/schedule/beckmann.html TaskGraph Library: A Metaprogramming Tool for Specifying Optimisation as a Separate Concern]]<br /> ----<br /> Olav Beckmann, Imperial College of Science<br /> <br /> [[http://www.cs.rice.edu/~taha/wg2.11/m-1/schedule/kamin.html Jumbo: Run-time Program Generation for Java]]<br /> ----<br /> Samuel Kamin, University of Illinois<br /> <br /> [[http://www.cs.rice.edu/%7Etaha/wg2.11/m-1/schedule/kelly.html Veneer: a dynamic domain-specific optimisation framework for Java ]]<br /> ----<br /> Paul H J Kelly, Imperial College London<br /> <br /> [[http://www.cs.rice.edu/~taha/wg2.11/m-1/schedule/lawall.html A language-based approach to the development of safe operating system extensions ]]<br /> ----<br /> Julia Lawall, University of Copenhagen (demo)<br /> <br /> ====Sunday 8:00====<br /> <br /> Dinner.<br /> <br /> ====Monday 8:45-10:30====<br /> <br /> [[http://www.cs.rice.edu/%7Etaha/wg2.11/m-1/schedule/lengauer.html WG 2.11 Activities at the University of Passau]]<br /> ----<br /> Christian Lengauer, Universit&#039;t of Passau<br /> <br /> [[http://www.cs.rice.edu/%7Etaha/wg2.11/m-1/schedule/lopes.html Aspects and Beyond]]<br /> ----<br /> Cristina Lopes, University of California<br /> <br /> [[http://www.cs.rice.edu/%7Etaha/wg2.11/m-1/schedule/moggi.html Monadic Metalanguages for Staging and Name Management]]<br /> ----<br /> Eugenio Moggi, DISI, Univ. di Genova<br /> <br /> ====Monday 11-12:15====<br /> <br /> [[http://www.cs.rice.edu/%7Etaha/wg2.11/m-1/schedule/odonnell.html Tools for Equational Reasoning in Haskell]]<br /> ----<br /> John O&#039;Donnell, University of Glasgow<br /> <br /> [[http://www.cs.rice.edu/%7Etaha/wg2.11/m-1/schedule/ossher.html The Concern Manipulation Environment]]<br /> ----<br /> Harold Ossher, IBM T.J. Watson Research Center (demo)<br /> <br /> ====Monday 1:45-3:45====<br /> <br /> [[http://www.cs.rice.edu/~taha/wg2.11/m-1/schedule/paulin.html Generation of programs with proofs]]<br /> ----<br /> Christine Paulin, Universit&#039; Paris Sud<br /> <br /> TBA <br /> ----<br /> Marc Pouzet<br /> <br /> [[http://www.cs.rice.edu/%7Etaha/wg2.11/m-1/schedule/sheard.html Towards combining Programming Languages and Logics ]]<br /> ----<br /> Tim Sheard, OGI /OHSU (demo)<br /> <br /> ====Monday 4:15-6:00====<br /> <br /> [[http://www.cs.rice.edu/%7Etaha/wg2.11/m-1/schedule/smaragdakis.html Generating AspectJ Programs with Meta-AspectJ]]<br /> ----<br /> Yannis Smaragdakis, Georgia Tech<br /> <br /> [[http://www.cs.rice.edu/~taha/wg2.11/m-1/schedule/taha.html MetaOCaml: Putting multi-stage annotations to work]]<br /> ----<br /> Walid Taha, Rice University<br /> <br /> Compilers for active libraries <br /> ----<br /> Todd Veldhuizen, Chalmers University<br /> <br /> ====Monday 6:30====<br /> <br /> Tour of St. Emilion.<br /> <br /> ====Monday 8:00====<br /> <br /> Dinner.<br /> <br /> ====Tuesday 9-11:30====<br /> <br /> Discussion<br /> <br /> ====Tuesday 12:00====<br /> <br /> Lunch will begin at 12:00 sharp.</div> Admin