http://mw.hh.se/wg211/index.php?action=history&feed=atom&title=WG211%2FM23Amin 2026-04-05T19:38:46Z Revision history for this page on the wiki MediaWiki 1.43.5 http://mw.hh.se/wg211/index.php?title=WG211/M23Amin&diff=2546&oldid=prev 2024-03-10T23:55:54Z

<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 01:55, 11 March 2024</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1">Line 1:</td> <td colspan="2" class="diff-lineno">Line 1:</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>In Odense, I (Nada Amin) presented staged-miniKanren, which augments miniKanren (a relational programming language) with staging constructs. Since then, we (Michael Ballantyne, Raffi Sanna, Will Byrd and Nada Amin) have added support for novel features to account for non-determinism and stage polymorphism. We use staged-miniKanren to stage interpreters written as relations, in which the programs under interpretation are allowed to contain holes representing unknown values. We apply this staging framework to a relational interpreter for a subset of Racket, and demonstrate significant performance gains across multiple synthesis problems.</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>In <ins style="font-weight: bold; text-decoration: none;">[[WG211/M21Amin | </ins>Odense<ins style="font-weight: bold; text-decoration: none;">]]</ins>, I (Nada Amin) presented staged-miniKanren, which augments miniKanren (a relational programming language) with staging constructs. Since then, we (Michael Ballantyne, Raffi Sanna, Will Byrd and Nada Amin) have added support for novel features to account for non-determinism and stage polymorphism. We use staged-miniKanren to stage interpreters written as relations, in which the programs under interpretation are allowed to contain holes representing unknown values. We apply this staging framework to a relational interpreter for a subset of Racket, and demonstrate significant performance gains across multiple synthesis problems.</div></td></tr> </table>

Nada http://mw.hh.se/wg211/index.php?title=WG211/M23Amin&diff=2545&oldid=prev 2024-03-10T23:53:35Z

<p>Created page with &quot;In Odense, I (Nada Amin) presented staged-miniKanren, which augments miniKanren (a relational programming language) with staging constructs. Since then, we (Michael Ballantyne...&quot;</p> <p><b>New page</b></p><div>In Odense, I (Nada Amin) presented staged-miniKanren, which augments miniKanren (a relational programming language) with staging constructs. Since then, we (Michael Ballantyne, Raffi Sanna, Will Byrd and Nada Amin) have added support for novel features to account for non-determinism and stage polymorphism. We use staged-miniKanren to stage interpreters written as relations, in which the programs under interpretation are allowed to contain holes representing unknown values. We apply this staging framework to a relational interpreter for a subset of Racket, and demonstrate significant performance gains across multiple synthesis problems.</div>

Nada