From the 1 of 2 linked papers with an AI index.
2 papers
cs.PL2026
When is LLM-Based Program Reasoning Correct? A Completion Semantics for LLM-Based Code Inference
Zhiyuan Liu, Yihe Li, Trevor E. Carlson +3
The paper defines a completion semantics for reasoning about incomplete code fragments generated by large language models, and introduces a witness-generation workflow to validate…
cs.CR2025
Fully Randomized Pointers
Sai Dhawal Phaye, Gregory J. Duck, Roland H. C. Yap +1
Memory errors continue to be a critical concern for programs written in low-level programming languages such as C and C++. Many different memory error defenses have been proposed,…