Trials and Tribulations in Synthesizing Operating Systems
Jingmei Hu, Eric Jui‐Lin Lu, David A. Holland, Ming Kawaguchi, Stephen Chong, Margo Seltzer · 2019
Recent advances in program synthesis convinced us that it was the right time to transform the process of porting an operating system into a program synthesis problem. We set out to synthesize the needed machine dependent code for an existing operating system. This undertaking proved far more challenging than we anticipated. We summarize our experience and lessons learned and propose next steps in realizing such an undertaking.