research
∙
04/15/2022
Towards Porting Operating Systems with Program Synthesis
The end of Moore's Law has ushered in a diversity of hardware not seen i...
share
research
∙
07/31/2019
Aquarium: Cassiopea and Alewife Languages
This technical report describes two of the domain specific languages use...
research
∙
07/31/2019
