Towards Porting Operating Systems with Program Synthesis.

Jingmei Hu Eric Lu David A. Holland Ming Kawaguchi Stephen Chong Margo I. Seltzer

Published in: CoRR (2022)

Keyphrases

operating system
program synthesis
computer systems
virtual machine
microsoft windows
memory management
linux kernel
distributed systems
inductive logic programming
application programs
operating environment
recursive programs
relational learning
massively parallel
windows xp