Media Summary: This presentation was recorded at YOW! Australia 2025. I will illustrate the promise of generative programming — writing expressive high-level programs that generate fast low-level code ... OPLSS 2025 – Nada Amin – Metaprogramming – Lecture 2: Part 3
Metaprogramming Synthesis Verification Nada Amin - Detailed Analysis & Overview
This presentation was recorded at YOW! Australia 2025. I will illustrate the promise of generative programming — writing expressive high-level programs that generate fast low-level code ... OPLSS 2025 – Nada Amin – Metaprogramming – Lecture 2: Part 3 Upcoming young academic researchers Ross Tate and Workshop on Dependable and Secure Software Systems 2018 For program The National Microbiome Data Collaborative (NMDC) team hosted a webinar to showcase the features of the Submission and ...
