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
Due to token and cognitive limits, Large Language Models (LLMs) typically perform program reasoning over incomplete code fragments/prompts rather than complete programs. Such reaso…
cs.CR2024
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,…