Showing cs.SEShow all
2 papers · 1 filter
cs.SE2025
Caruca: Effective and Efficient Specification Mining for Opaque Software Components
Evangelos Lamprou, Seong-Heon Jung, Mayank Keoliya +4
A wealth of state-of-the-art systems demonstrate impressive improvements in performance, security, and reliability on programs composed of opaque components, such as Unix shell com…
cs.SE2025
Evaluating the Generalization Capabilities of Large Language Models on Code Reasoning
Rem Yang, Julian Dai, Nikos Vasilakis +1
We assess how the code reasoning abilities of large language models (LLMs) generalize to different kinds of programs. We present techniques for obtaining in- and out-of-distributio…