From the 1 of 74 papers with an AI index.
31 citations
- Massachusetts Institute of TechnologyUS11 papers
- Fermi National Accelerator LaboratoryUS7 papers
- University of ChicagoUS7 papers
- University of MichiganUS7 papers
- University of OxfordGB7 papers
- Argonne National LaboratoryUS6 papers
- Columbia UniversityUS6 papers
- Imperial College LondonGB6 papers
- Lancaster UniversityGB6 papers
- University of EdinburghGB6 papers
- University of ManchesterGB6 papers
- University of PittsburghUS6 papers
3 papers · 1 filter
From Papers to Progress: Rethinking Knowledge Accumulation in Software Engineering
Jason Cusati, Chris Brown
Software engineering research has experienced rapid growth in both output and participation over the past decades. Yet concerns persist about the field's ability to accumulate, int…
Beyond Code Snippets: Benchmarking LLMs on Repository-Level Question Answering
Yoseph Berhanu Alebachew, Hunter Leary, Swanand Vaishampayan +1
Large Language Models (LLMs) have shown impressive capabilities across software engineering tasks, including question answering (QA). However, most studies and benchmarks focus on…
Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution
Charitha Saumya, Muhammad Hassan, Rohan Gangaraju +2
Dynamic Symbolic Execution (DSE) suffers from the path explosion problem when the target program has many conditional branches. The classical approach for managing the path explosi…