3 papers
cs.SE2026
ForTress: Bringing Assurance and Determinism for LLM-Driven Fortran-to-Python Translation
Qinrun Dai, Ruitong Liu, Chien-Wei Huang +3
Modernizing mature scientific software from Fortran to Python can improve accessibility and integration with modern computing tools, but manual rewriting is expensive. Large langua…
cs.AI2026
OpenSage: Self-programming Agent Generation Engine
Hongwei Li, Zhun Wang, Qinrun Dai +11
Agent development kits (ADKs) provide effective platforms and tooling for constructing agents, and their designs are critical to the constructed agents' performance, especially the…
cs.OS2024
When eBPF Meets Machine Learning: On-the-fly OS Kernel Compartmentalization
Zicheng Wang, Tiejin Chen, Qinrun Dai +3
Compartmentalization effectively prevents initial corruption from turning into a successful attack. This paper presents O2C, a pioneering system designed to enforce OS kernel compa…