3 papers
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.CR2025
Lexo: Eliminating Stealthy Supply-Chain Attacks via LLM-Assisted Program Regeneration
Evangelos Lamprou, Julian Dai, Grigoris Ntousakis +2
Software supply-chain attacks are an important and ongoing concern in the open source software ecosystem. These attacks maintain the standard functionality that a component impleme…
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…