Thanks for sharing these links. Very interesting to explore this topic further.

I came across Satnam Singh's work first while learning about the Lava language/framework for FPGAs, glad to discover his more recent work.