2 papers
cs.SE2026
From Completion to Editing: Unlocking Context-Aware Code Infilling via Search-and-Replace Instruction Tuning
Jiajun Zhang, Zeyu Cui, Jiaxi Yang +9
The dominant Fill-in-the-Middle (FIM) paradigm for code completion is constrained by its rigid inability to correct contextual errors and reliance on unaligned, insecure Base model…
cs.OS2025
Fast, Secure, Adaptable: LionsOS Design, Implementation and Performance
Gernot Heiser, Ivan Velickovic, Peter Chubb +12
We present LionsOS, an operating system for security- and safety-critical embedded systems. LionsOS is based on the formally verified seL4 microkernel and designed with verificatio…