BODHI: Precise OS Kernel Specification Inference

This paper proposes BODHI, a domain knowledge prompting method for OS kernel specification inference, aiming to overcome current LLM limitations. It augments the standard few-shot prompt with a structured C-to-Python translation guide, improving automation and specification precision.