Software Engineering Empirical Research Radar
Research Direction Watch
A source-verified reading layer across fault localization, production software boundaries, latency evidence, shared-memory polling, event-time trading, and concurrent protocol verification.
This page separates a focused research watch from the broad paper index. Entries are selected after searches across major software-engineering, systems, formal-methods, and finance venues; each paper page preserves its official source or DOI.
Last verification: 2026-08-25. Conference-program records without a publisher DOI remain explicitly identified through their official program source.
Structured Fault Localization
9 verified papers · official publisher, conference, or proceedings sources
| Paper | Venue | Year | Topics |
|---|---|---|---|
| Efficient Black-Box Fault Localization for System-Level Test Code Using Large Language Models Ahmadreza Saboor Yaraghi, Golnaz Gharachorlu, Sakina Fatima, Lionel Briand, Ruiyuan Wan | TSE / ASE Journal First | 2026 | Debugging / Fault Localization / Diagnosis / Repair; AI / LLM for SE; Testing / QA |
| Measure Twice, Locate Once: Mitigating Hallucinations in LLM-based Agents for Repository-Scale Fault Localization Feiyue Chen, Guowei Yang, Cheryl Lee, Zhanming Jie, Yuqi Chen | TOSEM | 2026 | Debugging / Fault Localization / Diagnosis / Repair; AI / LLM for SE; Software Agents |
| GVFL: Variable Level Fault Localization Using Graph Representation Learning Xia Song, Xiaojie Fan, Ruishi Huang, Hengyuan Liu, Zheng Li | COMPSAC-SETA | 2026 | Debugging / Fault Localization / Diagnosis / Repair; AI / LLM for SE; Program Analysis / Verification / Formal Methods |
| GraphLocator: Graph-guided Causal Reasoning for Issue Localization Wei Liu, Chao Peng, Pengfei Gao, Aofan Liu, Wei Zhang | FSE | 2026 | Debugging / Fault Localization / Diagnosis / Repair; AI / LLM for SE; Program Analysis / Verification / Formal Methods |
| Iterative self-organizing clustering for software multiple-fault localisation Heling Cao, Ruidong Jia, Fangchao Tian, Yue Xie, Yonghe Chu | Journal of King Saud University - Computer and Information Sciences | 2026 | Debugging / Fault Localization / Diagnosis / Repair; Testing / QA |
| Assessing the Impact of Code Changes on the Fault Localizability of Large Language Models Sabaat Haroon, Ahmand Faraz Khan, Ahmad Humayun, Waris Gill, Abdul Haddi Amjad | ICST | 2026 | Debugging / Fault Localization / Diagnosis / Repair; AI / LLM for SE; Testing / QA |
| ARISE: A Repository-level Graph Representation and Toolset for Agentic Fault Localization and Program Repair Shahd Seddik, Fatemeh Fard | arXiv | 2026 | Debugging / Fault Localization / Diagnosis / Repair; Program Analysis / Verification / Formal Methods; AI / LLM for SE |
| Finding the Needle in the Crash Stack: Industrial-Scale Crash Root Cause Localization with AutoCrashFL Sungmin Kang, Sumi Yun, Jingun Hong, Shin Yoo, Gabin An | ICSE-SEIP | 2026 | Debugging / Fault Localization / Diagnosis / Repair; AI / LLM for SE; Industrial Software Engineering |
| GraMuS: Boosting statement-level fault localization via graph representation and multimodal information Ruishi Huang, Binbin Yang, Shumei Wu, Zheng Li, Doyle Paul | JSS | 2026 | Debugging / Fault Localization / Diagnosis / Repair; Program Analysis / Verification / Formal Methods; Testing / QA |
Explainable Debugging Chains
5 verified papers · official publisher, conference, or proceedings sources
| Paper | Venue | Year | Topics |
|---|---|---|---|
| Measure Twice, Locate Once: Mitigating Hallucinations in LLM-based Agents for Repository-Scale Fault Localization Feiyue Chen, Guowei Yang, Cheryl Lee, Zhanming Jie, Yuqi Chen | TOSEM | 2026 | Debugging / Fault Localization / Diagnosis / Repair; AI / LLM for SE; Software Agents |
| GraphLocator: Graph-guided Causal Reasoning for Issue Localization Wei Liu, Chao Peng, Pengfei Gao, Aofan Liu, Wei Zhang | FSE | 2026 | Debugging / Fault Localization / Diagnosis / Repair; AI / LLM for SE; Program Analysis / Verification / Formal Methods |
| ARISE: A Repository-level Graph Representation and Toolset for Agentic Fault Localization and Program Repair Shahd Seddik, Fatemeh Fard | arXiv | 2026 | Debugging / Fault Localization / Diagnosis / Repair; Program Analysis / Verification / Formal Methods; AI / LLM for SE |
| CoReX: Context-Aware Refinement-Based Slicing for Debugging Regression Failures Sahar Badihi, Julia Rubin | ICSE | 2026 | Debugging / Fault Localization / Diagnosis / Repair; Program Analysis / Verification / Formal Methods; Program Comprehension |
| GraMuS: Boosting statement-level fault localization via graph representation and multimodal information Ruishi Huang, Binbin Yang, Shumei Wu, Zheng Li, Doyle Paul | JSS | 2026 | Debugging / Fault Localization / Diagnosis / Repair; Program Analysis / Verification / Formal Methods; Testing / QA |
Production Contracts & Process Boundaries
2 verified papers · official publisher, conference, or proceedings sources
| Paper | Venue | Year | Topics |
|---|---|---|---|
| Fast ACS: Low-Latency File-Based Ordered Message Delivery at Scale Sushant Kumar Gupta, Anil Raghunath Iyer, Chang Yu, Neel Bagora, Olivier Pomerleau | USENIX ATC | 2025 | Industrial Software Engineering; Cloud / Distributed / Service Computing; Program Analysis / Verification / Formal Methods |
| Endokernel: A Thread Safe Monitor for Lightweight Subprocess Isolation Fangfei Yang, Bumjin Im, Weijie Huang, Kelly Kaoudis, Anjo Vahldiek-Oberwagner | USENIX Security | 2024 | Industrial Software Engineering; Program Analysis / Verification / Formal Methods; Software Security |
Latency Diagnosis & Evidence
4 verified papers · official publisher, conference, or proceedings sources
| Paper | Venue | Year | Topics |
|---|---|---|---|
| Revealing Regressions: A Comparative Study of State-Capture Strategies in Validating Program Behavior Hang Du, Vijay Krishna Palepu, James Jones | FSE | 2026 | Testing / QA; Program Analysis / Verification / Formal Methods; Debugging / Fault Localization / Diagnosis / Repair |
| Rethinking Performance Debugging: From Optimization to Collaborative Reasoning Mahsa Panahandeh, Naser Ezzati-Jivan, Abdelwahab Hamou-Lhadj | FSE-IVR | 2026 | Debugging / Fault Localization / Diagnosis / Repair; Industrial Software Engineering; Program Comprehension |
| Towards the Localization of Multi-Root-Cause Failures in Microservice Systems: An Active Intervention Framework Yazhuo Gao, Lin Yang, Lianxiao Meng, Ran Zhu, Yining Cao | FSE | 2026 | Debugging / Fault Localization / Diagnosis / Repair; Cloud / Distributed / Service Computing; AI / LLM for SE |
| Rajomon: Decentralized and Coordinated Overload Control for Latency-Sensitive Microservices Jiali Xing, Akis Giannoukos, Paul Loh, Shuyue Wang, Justin Qiu | NSDI | 2025 | Cloud / Distributed / Service Computing; Industrial Software Engineering |
SHM Polling, Freshness & CPU Trade-offs
3 verified papers · official publisher, conference, or proceedings sources
| Paper | Venue | Year | Topics |
|---|---|---|---|
| Reasoning over Relaxed Shared Memory Models: A Tutorial Brijesh Dongol | FM | 2026 | Program Analysis / Verification / Formal Methods |
| Analyzing the age of information in prioritized status update systems under an interruption-based hybrid discipline Tamer E. Fahim, Sherif I. Rabia, Ahmed H. Abd El-Malek, Waheed K. Zahra | Performance Evaluation | 2024 | Cloud / Distributed / Service Computing |
| Shenango: Achieving High CPU Efficiency for Latency-sensitive Datacenter Workloads Amy Ousterhout, Joshua Fried, Jonathan Behrens, Adam Belay, Hari Balakrishnan | NSDI | 2019 | Cloud / Distributed / Service Computing; Industrial Software Engineering |
Event-Time & Latency-Sensitive Trading
3 verified papers · official publisher, conference, or proceedings sources
| Paper | Venue | Year | Topics |
|---|---|---|---|
| The effect of NYSE American's latency delay on informed trading Jeremy Morris, Ke Xu | International Review of Financial Analysis | 2025 | AI / LLM for SE; Industrial Software Engineering |
| Explainable machine learning for high frequency trading dynamics discovery Henry Han, Jeffrey Yi-Lin Forrest, Jiacun Wang, Shuining Yuan, Fei Han | Information Sciences | 2024 | AI / LLM for SE; Industrial Software Engineering |
| The optimal strategies of competitive high-frequency traders and effects on market liquidity Hengshun Ge, Haijun Yang, John A. Doukas | International Review of Economics & Finance | 2024 | Industrial Software Engineering |
Concurrent Protocol Verification
3 verified papers · official publisher, conference, or proceedings sources
| Paper | Venue | Year | Topics |
|---|---|---|---|
| Reasoning over Relaxed Shared Memory Models: A Tutorial Brijesh Dongol | FM | 2026 | Program Analysis / Verification / Formal Methods |
| GPUMC: A Stateless Model Checker for GPU Weak Memory Concurrency Soham Chakraborty, S. Krishna, Andreas Pavlogiannis, Omkar Tuppe | CAV | 2025 | Program Analysis / Verification / Formal Methods; Cloud / Distributed / Service Computing |
| Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts Julian Erhard, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Simmo Saan | VMCAI | 2025 | Program Analysis / Verification / Formal Methods |