Showing cs.PLShow all
2 papers · 1 filter
cs.PL2026
CNnotator: LLM-Guided Memory Safety Annotation Synthesis
Twain Byrnes, Mike Dodds
Memory safety errors account for a large proportion of security bugs in systems written in C; modern languages such as Java and Rust prevent such bugs because they are memory-safe…
cs.PL2025
The CoCompiler: DSL Lifting via Relational Compilation
Naomi Spargo, Santiago Cuéllar, Jonathan Daugherty +2
Lifting low-level or legacy code into a domain-specific language (DSL) improves our ability to understand it, enables deeper formal reasoning, and facilitates safe modification. We…