4 papers
Addressable Recall Compaction for Long Context-Window Control in AI Agents
Thang Dang, Yuma Ichikawa, Sakina Fatima +1
Long-horizon LLM agents accumulate reasoning traces, actions, and tool observations that can eventually exceed a model's fixed context window. Existing compaction methods address t…
Efficient Black-Box Fault Localization for System-Level Test Code Using Large Language Models
Ahmadreza Saboor Yaraghi, Golnaz Gharachorlu, Sakina Fatima +3
Fault localization (FL) is a critical step in debugging, which typically relies on repeated executions to pinpoint faulty code regions. However, repeated executions can be impracti…
Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming
Saikat Chakraborty, Gabriel Ebner, Siddharth Bhat +4
Proof-oriented programs mix computational content with proofs of program correctness. However, the human effort involved in programming and proving is still substantial, despite th…
FlakyFix: Using Large Language Models for Predicting Flaky Test Fix Categories and Test Code Repair
Sakina Fatima, Hadi Hemmati, Lionel Briand
Flaky tests are problematic because they non-deterministically pass or fail for the same software version under test, causing confusion and wasting development effort. While machin…