3 papers
cs.PF2026
Solving Subgraph Extraction Problems Using Search
Rebin Silva Valan Arasu, Rajiv Gupta
Many NP-hard graph problems can be modeled as optimal subgraph extraction problems with feasibility constraints. From Network Design to Facility Location, from Robotics to Graph Dr…
cs.SE2026
AI-PROPELLER: Warehouse-Scale Interprocedural Code Layout Optimization with AlphaEvolve
Chaitanya Mamatha Ananda, Rajiv Gupta, Mircea Trofin +4
Post-link optimizers (PLOs) such as Propeller and BOLT have demonstrated that precise, profile-guided code layout can extract significant performance gains from heavily optimized b…
cs.SE2026
SemLoc: Structured Grounding of Free-Form LLM Reasoning for Fault Localization
Zhaorui Yang, Haichao Zhu, Qian Zhang +2
Fault localization identifies program locations responsible for observed failures. Existing techniques rank suspicious code using syntactic spectra--signals derived from execution…