Scholar
Xiaoxing Ma
Google Scholar ID: 44WpWR4AAAAJ
Professor of Computer Science and Technology, Nanjing University
software engineering
self-adaptive systems
reliability of machine learning
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
2,089
H-index
20
i10-index
55
Publications
20
Co-authors
19
list available
Publications
24 items
NosRacer: Dynamic Detection of Race Conditions in On-Device Network Operating Systems
2026
Cited
0
We Must Have Missed This Comment: Detecting and Repairing Stale Function References in Linux Kernel Comments
2026
Cited
0
Beyond Fail-to-Pass: Iterative Hardening of Co-Generated Bug Reproduction Tests and Fixes
2026
Cited
0
InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs
2026
Cited
0
Planning to Hammer: Difficulty-Aware Decomposition for Automating Rocq Proofs
2026
Cited
0
Improving LLM-Based Go Code Review through Issue-List Generation and Context Augmentation
2026
Cited
0
Synthesizing Inductive Invariants for Distributed Protocols via IC3 and Large Language Models
2026
Cited
0
Task Abstention for Large Language Models in Code Generation
2026
Cited
0
Load more
Co-authors
15 total
Chang Xu
Professor of Computer Science and Technology, Nanjing University
Chun Cao
Nanjing University
Xianping Tao
Professor of Computer Science, Nanjing University
Zenan Li
ETH Zurich
Wei Song
Nanjing University of Science and Technology
Yuan Yao
Associate Professor, Nanjing University
Jiannong Cao
IEEE Fellow; Chair Professor, Hong Kong Polytechnic University
Shing-Chi Cheung
Chair Professor of Computer Science and Engineering, HKUST
