Synthesizing Efficient Hardware from High-Level Functional Hardware Description Languages. - Mahshid Shahmohammadian; Geoffrey Mainland (ICECS, 2019)

Metaprogramming with combinators. - Mahshid Shahmohammadian; Geoffrey Mainland (GPCE, 2021)