Trials and Tribulations in Synthesizing Operating Systems
Published in the 10th Workshop on Programming Languages and Operating Systems (PLOS'19), 2019
Download paper here
Recommended Citation Jingmei Hu, Eric Lu, David A. Holland, Ming Kawaguchi, Stephen Chong, and Margo I. Seltzer. 2019. Trials and Tribulations in Synthesizing Operating Systems. In Proceedings of the 10th Workshop on Programming Languages and Operating Systems (PLOS'19). Association for Computing Machinery, New York, NY, USA, 67–73. DOI:https://doi.org/10.1145/3365137.3365401.
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.