308 citations · 818 across the 33 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
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.…