6 citations · 8 across the 2 of their papers we have counts for
2 papers
cs.PL2022★ 6 cited
Towards Porting Operating Systems with Program Synthesis
Jingmei Hu, Eric Lu, David A. Holland +3
The end of Moore's Law has ushered in a diversity of hardware not seen in decades. Operating system (and system software) portability is accordingly becoming increasingly critical.…
cs.PL2019★ 2 cited
Aquarium: Cassiopea and Alewife Languages
David A. Holland, Jingmei Hu, Ming Kawaguchi +3
This technical report describes two of the domain specific languages used in the Aquarium kernel code synthesis project. It presents the language cores in terms of abstract syntax.…