Xiaoxing Ma
Nanjing University
H-index: 28
Asia-China
Top articles of Xiaoxing Ma
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
SandTable: Scalable Distributed System Model Checking with Specification-Level State Exploration | Ruize Tang Xudong Sun Yu Huang Yuyang Wei Lingzhi Ouyang | 2024/4/22 | |
TRIAD: Automated Traceability Recovery based on Biterm-enhanced Deduction of Transitive Links among Artifacts | Hui Gao Hongyu Kuang Wesley KG Assunção Christoph Mayr-Dorn Guoping Rong | 2024/4/12 | |
Learning with logical constraints but without shortcut satisfaction | arXiv preprint arXiv:2403.00329 | Zenan Li Zehua Liu Yuan Yao Jingwei Xu Taolue Chen | 2024/3/1 |
Neuro-symbolic Learning Yielding Logical Constraints | Advances in Neural Information Processing Systems | Zenan Li Yunpeng Huang Zhaoyu Li Yuan Yao Jingwei Xu | 2024/2/13 |
Revisiting Knowledge-Based Inference of Python Runtime Environments: A Realistic and Adaptive Approach | IEEE Transactions on Software Engineering | Wei Cheng Wei Hu Xiaoxing Ma | 2023/12/25 |
Model‐checking‐driven explorative testing of CRDT designs and implementations | Journal of Software: Evolution and Process | Yuqi Zhang Yu Huang Hengfeng Wei Xiaoxing Ma | 2023/3/15 |
Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis | Wenjie Ma Shengyuan Yang Tian Tan Xiaoxing Ma Chang Xu | 2023/6 | |
Leveraging TLA Specifications to Improve the Reliability of the ZooKeeperCoordination Service | Lingzhi Ouyang Yu Huang Binyu Huang Xiaoxing Ma | 2023/11/27 | |
Growing Software: Objective, Methodology, and Technology | IEEE Transactions on Computational Social Systems | Jian Lu Chang Xu Xiaoxing Ma Bin Hu | 2023/5/24 |
Advancing transformer architecture in long-context large language models: A comprehensive survey | Yunpeng Huang Jingwei Xu Zixu Jiang Junyu Lai Zenan Li | 2023/11/21 | |
Lightweight Approaches to DNN Regression Error Reduction: An Uncertainty Alignment Perspective | Zenan Li Maorun Zhang Jingwei Xu Yuan Yao Chun Cao | 2023/5/14 | |
The essence of Verilog: A tractable and tested operational semantics for Verilog | Qinlin Chen Nairen Zhang Jinpeng Wang Tian Tan Chang Xu | 2023/10 | |
Data quality matters: A case study of obsolete comment detection | Shengbin Xu Yuan Yao Feng Xu Tianxiao Gu Jingwei Xu | 2023/5/14 | |
Hybrid API migration: A marriage of small API mapping models and large language models | Bingzhe Zhou Xinying Wang Shengbin Xu Yuan Yao Minxue Pan | 2023/8/4 | |
The Right Prompts for the Job: Repair Code-Review Defects with Large Language Model | Zelin Zhao Zhaogui Xu Jialong Zhu Peng Di Yuan Yao | 2023/12/29 | |
Softened Symbol Grounding for Neuro-symbolic Systems | arXiv preprint arXiv:2403.00323 | Zenan Li Yuan Yao Taolue Chen Jingwei Xu Chun Cao | 2024/3/1 |
Conflict-free Replicated Priority Queue: Design, Verification and Evaluation | Yuqi Zhang Lingzhi Ouyang Yu Huang Xiaoxing Ma | 2023/8/4 | |
Incorporating pre-trained transformer models into TextCNN for sentiment analysis on software engineering texts | Kexin Sun Xiaobo Shi Hui Gao Hongyu Kuang Xiaoxing Ma | 2022/6/11 | |
ViSearch: Weak Consistency Measurement for Replicated Data Types | arXiv preprint arXiv:2205.03160 | Lintian Shi Yuqi Zhang Yu Huang Hengfeng Wei Xiaoxing Ma | 2022/5/6 |
ADEPT: A testing platform for simulated autonomous driving | Sen Wang Zhuheng Sheng Jingwei Xu Taolue Chen Junjun Zhu | 2022/10/10 |