Mingzhe Xing

Mingzhe Xing

Auto-generated profile, based on publicly available information

Mingzhe Xing

Zhongguancun Laboratory, Beijing, China

Research Focus & Metrics

Academic Career Length

4Years (2023-Present)

(Calculated once Scilit publication data is synced: current year − year of first publication + 1)

Representative Publications

View All Publications
24 August 2024
Verified
Conference Paper
Open access
MXMingzhe Xing
Mingzhe Xing
RZRongkai Zhang
Rongkai Zhang
HXHui Xue
Hui Xue
QCQi Chen
Qi Chen
FYFan Yang
Fan Yang
ZXZhen Xiao
Zhen Xiao
Large language models (LLMs) have empowered intelligent agents to execute intricate tasks within domain-specific software such as browsers and games. However, when applied to general-purpose software systems like operating systems, LLM agents face three primary challenges. Firstly, the action space is vast and dynamic, posing difficulties for LLM agents to maintain an up-to-date understanding and deliver accurate responses. Secondly, real-world tasks often require inter-application cooperation, demanding farsighted planning from LLM agents. Thirdly, agents need to identify optimal solutions aligning with user constraints, such as security concerns and preferences. These challenges motivate AndroidArena, an environment and benchmark designed to evaluate LLM agents on a modern operating system. To address high-cost of manpower, we design a scalable and semi-automated method to construct the benchmark. In the task evaluation, AndroidArena incorporates accurate and adaptive metrics to address the issue of non-unique solutions. Our findings reveal that even state-of-the-art LLM agents struggle in cross-APP scenarios and adhering to specific constraints. Additionally, we identify a lack of four key capabilities, i.e. understanding, reasoning, exploration, and reflection, as primary reasons for the failure of LLM agents. Furthermore, we provide empirical analysis on the failure of reflection, and improve the success rate by 27% with our proposed exploration strategy. This work is the first to present valuable insights in understanding fine-grained weakness of LLM agents, and offers a path forward for future research in this area. Environment, benchmark, prompt, and evaluation code for AndroidArena are released at https://github.com/AndroidArenaAgent/AndroidArena.


4 August 2023
Verified
Conference Paper
Open access
MXMingzhe Xing
Mingzhe Xing
HMHangyu Mao
Hangyu Mao
SYShenglin Yin
Shenglin Yin
LPLichen Pan
Lichen Pan
ZZZhengchao Zhang
Zhengchao Zhang
JLJieyi Long
Jieyi Long
Public cloud GPU clusters are becoming emerging platforms for training distributed deep learning jobs. Under this training paradigm, the job scheduler is a crucial component to improve user experiences, i.e., reducing training fees and job completion time, which can also save power costs for service providers. However, the scheduling problem is known to be NP-hard. Most existing work divides it into two easier sub-tasks, i.e., ordering task and placement task, which are responsible for deciding the scheduling orders of jobs and placement orders of GPU machines, respectively. Due to the superior adaptation ability, learning-based policies can generally perform better than traditional heuristic-based methods. Nevertheless, there are still two main challenges that have not been well-solved. First, most learning-based methods only focus on ordering or placement policy independently, while ignoring their cooperation. Second, the unbalanced machine performances and resource contention impose huge overhead and uncertainty on job duration, but rarely be considered in existing work. To tackle these issues, this paper presents a dual-agent scheduler framework abstracted from the two sub-tasks to jointly learn the ordering and placement policies and make better-informed scheduling decisions. Specifically, we design an ordering agent with a scalable squeeze-and-communicate strategy for better cooperation; for the placement agent, we propose a novel Random Walk Gaussian Process to learn the performance similarities of GPU machines while being aware of the uncertain performance fluctuation. Finally, the dual-agent is jointly optimized with multi-agent reinforcement learning. Extensive experiments conducted on the real-world production cluster trace demonstrate the superiority of our model.

22 June 2025 in Proceedings of the ACM on Software Engineering
Verified
Journal Article
Open access
JMJie Ma
Jie Ma
NHNingyu He
Ningyu He
JXJinwen Xi
Jinwen Xi
MXMingzhe Xing
Mingzhe Xing
HWHaoyu Wang
Haoyu Wang
YYYinliang Yue
Yinliang Yue
As Ethereum continues to thrive, the Ethereum Virtual Machine (EVM) has become the cornerstone powering tens of millions of active smart contracts. Intuitively, security issues in EVMs could lead to inconsistent behaviors among smart contracts or even denial-of-service of the entire blockchain network. However, to the best of our knowledge, only a limited number of studies focus on the security of EVMs. Moreover, they suffer from 1) insufficient test input diversity and invalid semantics; and 2) the inability to automatically identify bugs and locate root causes. To bridge this gap, we propose OpDiffer, a differential testing framework for EVM, which takes advantage of LLMs and static analysis methods to address the above two limitations. We conducted the largest-scale evaluation, covering nine EVMs and uncovering 26 previously unknown bugs, 22 of which have been confirmed by developers and three have been assigned CNVD IDs. Compared to state-of-the-art baselines, OpDiffer can improve code coverage by at most 71.06%, 148.40% and 655.56%, respectively. Through an analysis of real-world deployed Ethereum contracts, we estimate that 7.21% of the contracts could trigger our identified EVM bugs under certain environmental settings, potentially resulting in severe negative impact on the Ethereum ecosystem.

5 May 2026 in SSRN Electronic Journal
Verified
Preprint
Open access
JYJinhao You
Jinhao You
MXMingzhe Xing
Mingzhe Xing
LZLei Zhang
Lei Zhang
ZZZan Zhou
Zan Zhou
SYShujie Yang
Shujie Yang
CXChangqiao Xu
Changqiao Xu
With the development of artificial intelligence (AI) technology, technologies based on machine learning (ML), deep learning (DL), and transformer architecture have been widely applied to distributed denial of service (DDoS) attack detection. However, they are still difficult to apply to a wide range of diverse business scenarios. The reason is that existing technologies still rely on learning the behavioral patterns of attack traffic for matching, rather than relying on scenario-based business thinking and judgment like human experts. Fortunately, large language model (LLM) have shown amazing performance in simulating human thinking to solve problems due to their excellent reasoning capabilities. Therefore, using LLM to mimic the thinking of human experts to analyze DDoS attack seems feasible. However, applying LLM to this field still faces three specific challenges: complicated input information, unreliable output, and complex analysis tasks. To address these challenges, this paper proposes ScoutLLM, which re-encodes and maps the input information, scores the output based on the Inner activation heads of the model output, and constructs a tree of thought analysis for complex tasks, thereby overcoming the above three challenges. It is worth noting that, compared to other DDoS attack detection schemes, our ScoutLLM only requires initial projection layer training. When switching DDoS scenarios, it does not need to undergo pre-training and fine-tuning to adapt to the new DDoS attack scenario. We conducted experiments on three datasets, and the accuracy was above 98.1% in all cases. It is worth noting that, compared to other DDoS attack detection schemes, our ScoutLLM does not require pre-training and fine-tuning based on DDoS attack traffic to achieve DDoS attack detection in different scenarios.

10 April 2026 in Proceedings of the ACM on Programming Languages
Verified
Journal Article
Open access
JMJie Ma
Jie Ma
NHNingyu He
Ningyu He
JXJinwen Xi
Jinwen Xi
MXMingzhe Xing
Mingzhe Xing
LLLiangxin Liu
Liangxin Liu
YYYinliang Yue
Yinliang Yue
The Ethereum ecosystem, which secures over $381 billion in assets, fundamentally relies on client APIs as the sole interface between users and the blockchain. However, these critical APIs suffer from widespread implementation inconsistencies, which can lead to financial discrepancies, degraded user experiences, and threats to network reliability. Despite this criticality, existing testing approaches remain manual and incomplete: they require extensive domain expertise, struggle to keep pace with Ethereum's rapid evolution, and fail to distinguish genuine bugs from acceptable implementation variations. We present APIDiffer, the first specification-guided differential testing framework designed to automatically detect API inconsistencies across Ethereum's diverse client ecosystem. APIDiffer transforms API specifications into comprehensive test suites through two key innovations: (1) specification-guided test input generation that creates both syntactically valid and invalid requests enriched with real-time blockchain data, and (2) specification-aware false positive filtering that leverages large language models to distinguish genuine bugs from acceptable variations. Our evaluation across all 11 major Ethereum clients reveals the pervasiveness of API bugs in production systems. APIDiffer uncovered 72 bugs, with 90.28% already confirmed or fixed by developers, including one critical error in the official specifications themselves. Beyond these raw numbers, APIDiffer achieves up to 89.67% higher code coverage than existing tools and reduces false positive rates by 37.38%. The Ethereum community's response validates our impact: developers have integrated our test cases, expressed interest in adopting our methodology, and escalated one bug to the official Ethereum Project Management meeting. By making APIDiffer open-source, we enable continuous validation of Ethereum client API implementations, thereby strengthening the foundational integrity of the entire Ethereum ecosystem.