Trials and Tribulations in Synthesizing Operating Systems
Trials and Tribulations in Synthesizing Operating Systems
复制标题
综合操作系统的考验和磨难
DOI：
--
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
M. Seltzer
中科院分区：
文献类型：
--
作者：
Jingmei Hu;Eric Lu;David A. Holland;Ming Kawaguchi;Stephen Chong;M. Seltzer
程序综合的最新进展使我们相信，现在是将移植操作系统的过程转化为程序综合问题的正确时机。我们着手为现有的操作系统合成所需的机器相关代码。事实证明，这项工作比我们预期的更具挑战性。我们总结了我们的经验教训，并提出了实现这一目标的今后步骤。
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.
影响因子：
--
作者：
Yu Feng;R. Martins;O. Bastani;Işıl Dillig
通讯作者：
Yu Feng;R. Martins;O. Bastani;Işıl Dillig