Xiaoxing Ma
Scholar

Xiaoxing Ma

Google Scholar ID: 44WpWR4AAAAJ
Professor of Computer Science and Technology, Nanjing University
software engineeringself-adaptive systemsreliability of machine learning
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
2,089
 
H-index
20
 
i10-index
55
 
Publications
20
 
Co-authors
19
list available
Contact
No contact links provided.
Publications
21 items
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
Full Attention Strikes Back: Transferring Full Attention into Sparse within Hundred Training Steps
2026
Cited
0
Fair Conformal Classification via Learning Representation-Based Groups
2026
Cited
0
Uncertainty Quantification for LLM-based Code Generation
2026
Cited
0
Resume (English only)
Co-authors
19 total
Chang Xu
Chang Xu
Professor of Computer Science and Technology, Nanjing University
Chun Cao
Chun Cao
Nanjing University
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Xianping Tao
Xianping Tao
Professor of Computer Science, Nanjing University
Zenan Li
Zenan Li
ETH Zurich
Wei Song
Wei Song
Nanjing University of Science and Technology
Yuan Yao
Yuan Yao
Associate Professor, Nanjing University