Citation:
Jingmei Hu, Eric Lu, David A. Holland, Ming Kawaguchi, Stephen Chong, and Margo I. Seltzer. 10/27/2019. “Trials and Tribulations in Synthesizing Operating Systems.” The 10th Workshop on Programming Languages and Operating Systems (PLOS'19). Huntsville, Ontario, Canada. Publisher's Version
 | plos19.pdf | 458 KB |
Abstract:
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.