Towards Porting Operating Systems with Program Synthesis.
Jingmei HuEric LuDavid A. HollandMing KawaguchiStephen ChongMargo I. SeltzerPublished in: ACM Trans. Program. Lang. Syst. (2023)
Keyphrases
- program synthesis
- operating system
- computer systems
- distributed systems
- virtual machine
- massively parallel
- windows xp
- microsoft windows
- recursive programs
- memory management
- inductive logic programming
- linux kernel
- general purpose
- virtual memory
- address space
- information systems
- databases
- data processing
- software engineering
- data analysis
- windows nt