Search results

Create the page "Nada" on this wiki! See also the search results found.

• Main Page
  |[https://namin.seas.harvard.edu/ Nada Amin] (US)
  6 KB (937 words) - 21:17, 30 December 2024
• WG211/M17Schedule
  Nada Amin (except 20/7), Jacques Carette, Bernd Fischer, Robert Glück, Atsushi * Nada Amin [[ WG211/M17Amin | Collapsing Towers of Interpreters ]]
  11 KB (1,617 words) - 20:14, 21 July 2017
• WG211/M17Amin
  Nada Amin
  1 KB (188 words) - 01:00, 18 June 2017
• WG211/M21Schedule
  Nada Amin, Sandrine Blazy, Edwin Brady, Miguel Campusano, Jacques Carette, Chari * Nada Amin [[WG211/M21Amin | Staged Relational Interpreters: Running with Holes,
  13 KB (2,072 words) - 23:19, 27 February 2023
• WG211/M21Amin
  We (Nada Amin, Michael Ballantyne and Will Byrd) present a novel framework for stagi
  388 bytes (55 words) - 11:20, 2 August 2022
• WG211/M23Schedule
  * Nada Amin * Nada Amin [[WG211/M23Amin | A Redesign for Staged Relational Programming ]]
  13 KB (1,830 words) - 13:12, 27 March 2024
• WG211/M23Amin
  ...constructs. Since then, we (Michael Ballantyne, Raffi Sanna, Will Byrd and Nada Amin) have added support for novel features to account for non-determinism
  663 bytes (91 words) - 01:55, 11 March 2024
• WG211/M24Schedule
  * Nada Amin * Nada Amin [[WG211/M24Amin | Experiments in verified program synthesis with LLMs
  17 KB (2,513 words) - 17:23, 5 December 2024