3 papers
cs.SE2026
Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart
Brent Pappas, Joseph Zalusky, Zachary Burkett +1
Modern critical software infrastructure is largely written in C. Since C lacks memory safety, researchers are investigating automatic translation of C to safer languages like Rust.…
cs.CR2026
From High-Level Types to Low-Level Monitors: Synthesizing Verified Runtime Checkers for MAVLink
Arthur Amorim, Paul Gazzillo, Max Taylor +1
Standard communication protocols for Unmanned Aerial Vehicles (UAVs), such as MAVLink, lack the capability to enforce the contextual validity of message sequences. Autopilots there…
cs.SE2026
Build Code is Still Code: Finding the Antidote for Pipeline Poisoning
Brent Pappas, Paul Gazzillo
Open source C code underpins society's computing infrastructure. Decades of work has helped harden C code against attackers, but C projects do not consist of only C code. C project…