Towards Porting Operating Systems with Program Synthesis
Jingmei Hu, Eric Lu, David A. Holland, Ming Kawaguchi, Stephen Chong, and Margo I. Seltzer. 2022. Towards Porting Operating Systems with Program Synthesis. ACM Transactions on Programming Languages and Systems. Just Accepted (August 2022). DOI:https://doi.org/10.1145/3563943.