2 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.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…