http://mw.hh.se/wg211/index.php?action=history&feed=atom&title=WG211%2FM13Schedule 2026-04-05T20:56:55Z Revision history for this page on the wiki MediaWiki 1.43.5 http://mw.hh.se/wg211/index.php?title=WG211/M13Schedule&diff=1069&oldid=prev 2014-04-08T20:55:36Z

<p><span class="autocomment">Talks</span></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 22:55, 8 April 2014</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l75">Line 75:</td> <td colspan="2" class="diff-lineno">Line 75:</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>* [[WG211/M13Laemmel | Experiences with Software Language Engineering Classes]] Ralf Lämmel [http://userpages.uni-koblenz.de/~laemmel/140318-pittsburgh.pdf (slides)]</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>* [[WG211/M13Laemmel | Experiences with Software Language Engineering Classes]] Ralf Lämmel [http://userpages.uni-koblenz.de/~laemmel/140318-pittsburgh.pdf (slides)]</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>* [[WG211/M13Lengauer | News from Project ExaStencils]] Christian Lengauer [[Media:M13Lengauer.pdf | (slides)]]</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>* [[WG211/M13Lengauer | News from Project ExaStencils]] Christian Lengauer [[Media:M13Lengauer.pdf | (slides)]]</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>* [[WG211/M13Mousavi | Semantics, Validation and Verification of DSLs: An Experience Report]] Mohammadreza Mousavi</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>* [[WG211/M13Mousavi | Semantics, Validation and Verification of DSLs: An Experience Report]] Mohammadreza Mousavi <ins style="font-weight: bold; text-decoration: none;">[[ Media:M13Mousavi.pdf | (slides) ]]</ins></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>* [[WG211/M13Ostermann | From Object Algebras to Attribute Grammars]] Klaus Ostermann</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>* [[WG211/M13Ostermann | From Object Algebras to Attribute Grammars]] Klaus Ostermann</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>* [[WG211/M13Puschel | Spiral for Basic Linear Algebra ]] Markus Püschel [[ Media:M13Puschel.pdf | (slides) ]]</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>* [[WG211/M13Puschel | Spiral for Basic Linear Algebra ]] Markus Püschel [[ Media:M13Puschel.pdf | (slides) ]]</div></td></tr> </table>

Eric http://mw.hh.se/wg211/index.php?title=WG211/M13Schedule&diff=1067&oldid=prev 2014-03-31T17:53:23Z

<p><span class="autocomment">Talks</span></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 19:53, 31 March 2014</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l84">Line 84:</td> <td colspan="2" class="diff-lineno">Line 84:</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>* [[WG211/M13Schultz | Object-oriented multi-stage programming]] Ulrik Schultz (short talk)</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>* [[WG211/M13Schultz | Object-oriented multi-stage programming]] Ulrik Schultz (short talk)</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>* [[WG211/M13Shan | From lazy evaluation to Gibbs sampling]] Chung-chieh Shan  [[Media:Wg211-slides-ccshan.pdf | (slides)]]</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>* [[WG211/M13Shan | From lazy evaluation to Gibbs sampling]] Chung-chieh Shan  [[Media:Wg211-slides-ccshan.pdf | (slides)]]</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>* [[WG211/M13Solar | Generative Programming Meets Constraint Based Synthesis]] Armando Solar-Lezama</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>* [[WG211/M13Solar | Generative Programming Meets Constraint Based Synthesis]] Armando Solar-Lezama <ins style="font-weight: bold; text-decoration: none;">[[ Media:M13SolarLezama.pptx | (slides as pptx)]]</ins></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>* [[WG211/M13Taha | Binding Time Analysis in Acumen]] Walid Taha [[ Media:M13Taha.pdf | (slides) ]]</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>* [[WG211/M13Taha | Binding Time Analysis in Acumen]] Walid Taha [[ Media:M13Taha.pdf | (slides) ]]</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>* [[WG211/M13VanWyk | AbleC: Modular and Composable Language Extensions for C]] Eric Van Wyk  [[Media:M13VanWyk.pdf | (slides)]]</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>* [[WG211/M13VanWyk | AbleC: Modular and Composable Language Extensions for C]] Eric Van Wyk  [[Media:M13VanWyk.pdf | (slides)]]</div></td></tr> </table>

Eric http://mw.hh.se/wg211/index.php?title=WG211/M13Schedule&diff=1065&oldid=prev 2014-03-26T15:21:01Z

<p><span class="autocomment">Talks</span></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 17:21, 26 March 2014</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l85">Line 85:</td> <td colspan="2" class="diff-lineno">Line 85:</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>* [[WG211/M13Shan | From lazy evaluation to Gibbs sampling]] Chung-chieh Shan  [[Media:Wg211-slides-ccshan.pdf | (slides)]]</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>* [[WG211/M13Shan | From lazy evaluation to Gibbs sampling]] Chung-chieh Shan  [[Media:Wg211-slides-ccshan.pdf | (slides)]]</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>* [[WG211/M13Solar | Generative Programming Meets Constraint Based Synthesis]] Armando Solar-Lezama</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>* [[WG211/M13Solar | Generative Programming Meets Constraint Based Synthesis]] Armando Solar-Lezama</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>* [[WG211/M13Taha | Binding Time Analysis in Acumen]] Walid Taha</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>* [[WG211/M13Taha | Binding Time Analysis in Acumen]] Walid Taha <ins style="font-weight: bold; text-decoration: none;">[[ Media:M13Taha.pdf | (slides) ]]</ins></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>* [[WG211/M13VanWyk | AbleC: Modular and Composable Language Extensions for C]] Eric Van Wyk  [[Media:M13VanWyk.pdf | (slides)]]</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>* [[WG211/M13VanWyk | AbleC: Modular and Composable Language Extensions for C]] Eric Van Wyk  [[Media:M13VanWyk.pdf | (slides)]]</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>

Eric http://mw.hh.se/wg211/index.php?title=WG211/M13Schedule&diff=1063&oldid=prev 2014-03-26T14:13:38Z

<p><span class="autocomment">Talks</span></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:13, 26 March 2014</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l69">Line 69:</td> <td colspan="2" class="diff-lineno">Line 69:</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>* [[WG211/M13LeGoues | Automatic program repair using genetic programming]] Claire Le Goues</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>* [[WG211/M13LeGoues | Automatic program repair using genetic programming]] Claire Le Goues</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>* [[WG211/M13Hammond | Using Dependent Types for Parallel Programming]] Kevin Hammond</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>* [[WG211/M13Hammond | Using Dependent Types for Parallel Programming]] Kevin Hammond</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>* [[WG211/M13Igarashi | An E-learning System for the Formal Semantics of Computer Programs and Its Implementation by Program Generation]] Atsushi Igarashi</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>* [[WG211/M13Igarashi | An E-learning System for the Formal Semantics of Computer Programs and Its Implementation by Program Generation]] Atsushi Igarashi <ins style="font-weight: bold; text-decoration: none;">[[ Media:M13Igarashi.pdf | (slides) ]]</ins></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>* [[WG211/M13Kaestner | An Update on Variability-Aware Execution]] Christian Kaestner</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>* [[WG211/M13Kaestner | An Update on Variability-Aware Execution]] Christian Kaestner</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>* [[WG211/M13Kamin | Progress on run-time specialization for matrix-vector multiplication]] Samuel Kamin [[Media:WG2.11-March20-2014.pdf | (slides)]]</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>* [[WG211/M13Kamin | Progress on run-time specialization for matrix-vector multiplication]] Samuel Kamin [[Media:WG2.11-March20-2014.pdf | (slides)]]</div></td></tr> </table>

Eric http://mw.hh.se/wg211/index.php?title=WG211/M13Schedule&diff=1061&oldid=prev 2014-03-25T12:52:55Z

<p><span class="autocomment">Talks</span></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 14:52, 25 March 2014</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l77">Line 77:</td> <td colspan="2" class="diff-lineno">Line 77:</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>* [[WG211/M13Mousavi | Semantics, Validation and Verification of DSLs: An Experience Report]] Mohammadreza Mousavi</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>* [[WG211/M13Mousavi | Semantics, Validation and Verification of DSLs: An Experience Report]] Mohammadreza Mousavi</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>* [[WG211/M13Ostermann | From Object Algebras to Attribute Grammars]] Klaus Ostermann</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>* [[WG211/M13Ostermann | From Object Algebras to Attribute Grammars]] Klaus Ostermann</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>* [[WG211/M13Puschel | Spiral for Basic Linear Algebra ]] Markus Püschel [[M13Puschel.pdf | (slides) ]]</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>* [[WG211/M13Puschel | Spiral for Basic Linear Algebra ]] Markus Püschel [[ <ins style="font-weight: bold; text-decoration: none;">Media:</ins>M13Puschel.pdf | (slides) ]]</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>* [[WG211/M13Rayside | Synthesis of Microfluidics Chips using SMT Solvers]] Derek Rayside  [[Media:M13Rayside.pdf | (slides)]]</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>* [[WG211/M13Rayside | Synthesis of Microfluidics Chips using SMT Solvers]] Derek Rayside  [[Media:M13Rayside.pdf | (slides)]]</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>* [[WG211/M13Reichenbach | PQL: A Purely-Declarative Java Extension for Parallel Programming]]  Christoph Reichenbach  [[Media:M13Reichenbach.pdf | (slides)]]</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>* [[WG211/M13Reichenbach | PQL: A Purely-Declarative Java Extension for Parallel Programming]]  Christoph Reichenbach  [[Media:M13Reichenbach.pdf | (slides)]]</div></td></tr> </table>

Eric http://mw.hh.se/wg211/index.php?title=WG211/M13Schedule&diff=1060&oldid=prev 2014-03-25T12:52:23Z

<p><span class="autocomment">Talks</span></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 14:52, 25 March 2014</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l77">Line 77:</td> <td colspan="2" class="diff-lineno">Line 77:</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>* [[WG211/M13Mousavi | Semantics, Validation and Verification of DSLs: An Experience Report]] Mohammadreza Mousavi</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>* [[WG211/M13Mousavi | Semantics, Validation and Verification of DSLs: An Experience Report]] Mohammadreza Mousavi</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>* [[WG211/M13Ostermann | From Object Algebras to Attribute Grammars]] Klaus Ostermann</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>* [[WG211/M13Ostermann | From Object Algebras to Attribute Grammars]] Klaus Ostermann</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>* [[WG211/M13Puschel | Spiral for Basic Linear Algebra ]] Markus Püschel (<del style="font-weight: bold; text-decoration: none;">Monday or Tuesday</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>* [[WG211/M13Puschel | Spiral for Basic Linear Algebra ]] Markus Püschel <ins style="font-weight: bold; text-decoration: none;">[[M13Puschel.pdf | </ins>(<ins style="font-weight: bold; text-decoration: none;">slides</ins>) <ins style="font-weight: bold; text-decoration: none;">]]</ins></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>* [[WG211/M13Rayside | Synthesis of Microfluidics Chips using SMT Solvers]] Derek Rayside  [[Media:M13Rayside.pdf | (slides)]]</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>* [[WG211/M13Rayside | Synthesis of Microfluidics Chips using SMT Solvers]] Derek Rayside  [[Media:M13Rayside.pdf | (slides)]]</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>* [[WG211/M13Reichenbach | PQL: A Purely-Declarative Java Extension for Parallel Programming]]  Christoph Reichenbach  [[Media:M13Reichenbach.pdf | (slides)]]</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>* [[WG211/M13Reichenbach | PQL: A Purely-Declarative Java Extension for Parallel Programming]]  Christoph Reichenbach  [[Media:M13Reichenbach.pdf | (slides)]]</div></td></tr> </table>

Eric http://mw.hh.se/wg211/index.php?title=WG211/M13Schedule&diff=1058&oldid=prev 2014-03-23T20:47:38Z

<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 22:47, 23 March 2014</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l71">Line 71:</td> <td colspan="2" class="diff-lineno">Line 71:</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>* [[WG211/M13Igarashi | An E-learning System for the Formal Semantics of Computer Programs and Its Implementation by Program Generation]] Atsushi Igarashi</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>* [[WG211/M13Igarashi | An E-learning System for the Formal Semantics of Computer Programs and Its Implementation by Program Generation]] Atsushi Igarashi</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>* [[WG211/M13Kaestner | An Update on Variability-Aware Execution]] Christian Kaestner</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>* [[WG211/M13Kaestner | An Update on Variability-Aware Execution]] Christian Kaestner</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>* [[WG211/M13Kamin | Progress on run-time specialization for matrix-vector multiplication]] Samuel Kamin [[Media:WG2.11-March20-2014.pdf | (slides)]</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>* [[WG211/M13Kamin | Progress on run-time specialization for matrix-vector multiplication]] Samuel Kamin [[Media:WG2.11-March20-2014.pdf | (slides)<ins style="font-weight: bold; text-decoration: none;">]</ins>]</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>* [[WG211/M13Lawall | Understanding the Genetic Makeup of Linux Device Drivers]] Julia Lawall  [[Media:M13Lawall.pdf | (slides)]]</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>* [[WG211/M13Lawall | Understanding the Genetic Makeup of Linux Device Drivers]] Julia Lawall  [[Media:M13Lawall.pdf | (slides)]]</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>* [[WG211/M13Laemmel | Experiences with Software Language Engineering Classes]] Ralf Lämmel [http://userpages.uni-koblenz.de/~laemmel/140318-pittsburgh.pdf (slides)]</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>* [[WG211/M13Laemmel | Experiences with Software Language Engineering Classes]] Ralf Lämmel [http://userpages.uni-koblenz.de/~laemmel/140318-pittsburgh.pdf (slides)]</div></td></tr> </table>

Sam http://mw.hh.se/wg211/index.php?title=WG211/M13Schedule&diff=1057&oldid=prev 2014-03-23T20:47: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 22:47, 23 March 2014</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l71">Line 71:</td> <td colspan="2" class="diff-lineno">Line 71:</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>* [[WG211/M13Igarashi | An E-learning System for the Formal Semantics of Computer Programs and Its Implementation by Program Generation]] Atsushi Igarashi</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>* [[WG211/M13Igarashi | An E-learning System for the Formal Semantics of Computer Programs and Its Implementation by Program Generation]] Atsushi Igarashi</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>* [[WG211/M13Kaestner | An Update on Variability-Aware Execution]] Christian Kaestner</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>* [[WG211/M13Kaestner | An Update on Variability-Aware Execution]] Christian Kaestner</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>* [[WG211/M13Kamin | Progress on run-time specialization for matrix-vector multiplication]] Samuel Kamin <del style="font-weight: bold; text-decoration: none;">[[</del>[[Media:WG2.11-March20-2014.pdf<del style="font-weight: bold; text-decoration: none;">]] </del>| (slides)]</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>* [[WG211/M13Kamin | Progress on run-time specialization for matrix-vector multiplication]] Samuel Kamin [[Media:WG2.11-March20-2014.pdf | (slides)]</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>* [[WG211/M13Lawall | Understanding the Genetic Makeup of Linux Device Drivers]] Julia Lawall  [[Media:M13Lawall.pdf | (slides)]]</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>* [[WG211/M13Lawall | Understanding the Genetic Makeup of Linux Device Drivers]] Julia Lawall  [[Media:M13Lawall.pdf | (slides)]]</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>* [[WG211/M13Laemmel | Experiences with Software Language Engineering Classes]] Ralf Lämmel [http://userpages.uni-koblenz.de/~laemmel/140318-pittsburgh.pdf (slides)]</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>* [[WG211/M13Laemmel | Experiences with Software Language Engineering Classes]] Ralf Lämmel [http://userpages.uni-koblenz.de/~laemmel/140318-pittsburgh.pdf (slides)]</div></td></tr> </table>

Sam http://mw.hh.se/wg211/index.php?title=WG211/M13Schedule&diff=1056&oldid=prev 2014-03-23T19:21:52Z

<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 21:21, 23 March 2014</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l71">Line 71:</td> <td colspan="2" class="diff-lineno">Line 71:</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>* [[WG211/M13Igarashi | An E-learning System for the Formal Semantics of Computer Programs and Its Implementation by Program Generation]] Atsushi Igarashi</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>* [[WG211/M13Igarashi | An E-learning System for the Formal Semantics of Computer Programs and Its Implementation by Program Generation]] Atsushi Igarashi</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>* [[WG211/M13Kaestner | An Update on Variability-Aware Execution]] Christian Kaestner</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>* [[WG211/M13Kaestner | An Update on Variability-Aware Execution]] Christian Kaestner</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>* [[WG211/M13Kamin | <del style="font-weight: bold; text-decoration: none;">TBD</del>]] Samuel Kamin (<del style="font-weight: bold; text-decoration: none;">short talk, Thursday</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>* [[WG211/M13Kamin | <ins style="font-weight: bold; text-decoration: none;">Progress on run-time specialization for matrix-vector multiplication</ins>]] Samuel Kamin <ins style="font-weight: bold; text-decoration: none;">[[[[Media:WG2.11-March20-2014.pdf]] | </ins>(<ins style="font-weight: bold; text-decoration: none;">slides</ins>)<ins style="font-weight: bold; text-decoration: none;">]</ins></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>* [[WG211/M13Lawall | Understanding the Genetic Makeup of Linux Device Drivers]] Julia Lawall  [[Media:M13Lawall.pdf | (slides)]]</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>* [[WG211/M13Lawall | Understanding the Genetic Makeup of Linux Device Drivers]] Julia Lawall  [[Media:M13Lawall.pdf | (slides)]]</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>* [[WG211/M13Laemmel | Experiences with Software Language Engineering Classes]] Ralf Lämmel [http://userpages.uni-koblenz.de/~laemmel/140318-pittsburgh.pdf (slides)]</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>* [[WG211/M13Laemmel | Experiences with Software Language Engineering Classes]] Ralf Lämmel [http://userpages.uni-koblenz.de/~laemmel/140318-pittsburgh.pdf (slides)]</div></td></tr> </table>

Sam http://mw.hh.se/wg211/index.php?title=WG211/M13Schedule&diff=1053&oldid=prev 2014-03-22T22:02:19Z

<p><span class="autocomment">Talks</span></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 00:02, 23 March 2014</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l66">Line 66:</td> <td colspan="2" class="diff-lineno">Line 66:</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>* [[WG211/M13Carette | What have I been up to?]] Jacques Carette [[Media:M13Carette.pdf | (slides)]]</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>* [[WG211/M13Carette | What have I been up to?]] Jacques Carette [[Media:M13Carette.pdf | (slides)]]</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>* [[WG211/M13Consel | Orchestrating Masses of Sensors: A Design-Driven Development Approach ]] Charles Consel</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>* [[WG211/M13Consel | Orchestrating Masses of Sensors: A Design-Driven Development Approach ]] Charles Consel</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>* [[WG211/M13Franchetti | High Assurance Spiral: Co-Synthesizing Proof and Implementation From High-Level Specification]] Franz Franchetti (<del style="font-weight: bold; text-decoration: none;">not Tuesday</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>* [[WG211/M13Franchetti | High Assurance Spiral: Co-Synthesizing Proof and Implementation From High-Level Specification]] Franz Franchetti <ins style="font-weight: bold; text-decoration: none;"> [[Media:M13Franchetti.pdf | </ins>(<ins style="font-weight: bold; text-decoration: none;">slides</ins>)<ins style="font-weight: bold; text-decoration: none;">]]</ins></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>* [[WG211/M13LeGoues | Automatic program repair using genetic programming]] Claire Le Goues</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>* [[WG211/M13LeGoues | Automatic program repair using genetic programming]] Claire Le Goues</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>* [[WG211/M13Hammond | Using Dependent Types for Parallel Programming]] Kevin Hammond</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>* [[WG211/M13Hammond | Using Dependent Types for Parallel Programming]] Kevin Hammond</div></td></tr> </table>

Eric