arXiv subjects

Wenqi Yan

Publications and source records attributed to Wenqi Yan.

6 recordsLinked to original sources

arXiv2025

DynamiQ: Unlocking the Potential of Dynamic Task Allocation in Parallel Fuzzing

We present DynamiQ, a full-fledged and optimized successor to AFLTeam that supports dynamic and adaptive parallel fuzzing. Unlike most existing approaches that treat individual seeds as tasks, DynamiQ leverages structural information from the program's call graph to define tasks and continuously refines task allocation using runtime feedback. This design significantly reduces redundant exploration and enhances fuzzing efficiency at scale. Built on top of the state-of-the-art LibAFL framework, DynamiQ incorporates several practical optimizations in both task allocation and task-aware fuzzing. Evaluated on 12 real-world targets from OSS-Fuzz and FuzzBench over 25,000 CPU hours, DynamiQ outperforms state-of-the-art parallel fuzzers in both code coverage and vulnerability discovery, uncovering 9 previously unknown bugs in widely used and extensively fuzzed open-source software.

cs.SE↗

arXiv2025

xbench: Tracking Agents Productivity Scaling with Profession-Aligned Real-World Evaluations

We introduce xbench, a dynamic, profession-aligned evaluation suite designed to bridge the gap between AI agent capabilities and real-world productivity. While existing benchmarks often focus on isolated technical skills, they may not accurately reflect the economic value agents deliver in professional settings. To address this, xbench targets commercially significant domains with evaluation tasks defined by industry professionals. Our framework creates metrics that strongly correlate with productivity value, enables prediction of Technology-Market Fit (TMF), and facilitates tracking of product capabilities over time. As our initial implementations, we present two benchmarks: Recruitment and Marketing. For Recruitment, we collect 50 tasks from real-world headhunting business scenarios to evaluate agents' abilities in company mapping, information retrieval, and talent sourcing. For Marketing, we assess agents' ability to match influencers with advertiser needs, evaluating their performance across 50 advertiser requirements using a curated pool of 836 candidate influencers. We present initial evaluation results for leading contemporary agents, establishing a baseline for these professional domains. Our continuously updated evalsets and evaluations are available at https://xbench.org.

cs.LG↗

arXiv2025

GraphFuzz: Automated Testing of Graph Algorithm Implementations with Differential Fuzzing and Lightweight Feedback

Graph algorithms, such as shortest path finding, play a crucial role in enabling essential applications and services like infrastructure planning and navigation, making their correctness important. However, thoroughly testing graph algorithm implementations poses several challenges, including their vast input space (i.e., arbitrary graphs). Moreover, through our preliminary study, we find that just a few automatically generated graphs (less than 10) could be enough to cover the code of many graph algorithm implementations, rendering the code coverage-guided fuzzing approach -- one of the state-of-the-art search algorithms -- less efficient than expected. To tackle these challenges, we introduce GraphFuzz, the first automated feedback-guided fuzzing framework for graph algorithm implementations. Our key innovation lies in identifying lightweight and algorithm-specific feedback signals to combine with or completely replace the code coverage feedback to enhance the diversity of the test corpus, thereby speeding up the bug-finding process. This novel idea also allows GraphFuzz to effectively work in both black-box (i.e., no code coverage instrumentation/collection is required) and grey-box setups. GraphFuzz applies differential testing to detect both crash-triggering bugs and logic bugs. Our evaluation demonstrates the effectiveness of GraphFuzz. The tool has successfully discovered 12 previously unknown bugs, including 6 logic bugs, in 9 graph algorithm implementations in two popular graph libraries, NetworkX and iGraph. All of them have been confirmed and and 11 bugs have been rectified by the libraries' maintainers.

cs.SE↗

arXiv2022

Calibration Strategy of the JUNO-TAO Experiment

The Taishan Antineutrino Observatory (JUNO-TAO, or TAO) is a satellite detector for the Jiangmen Underground Neutrino Observatory (JUNO). Located near the Taishan reactor, TAO independently measures the reactor's antineutrino energy spectrum with unprecedented energy resolution. To achieve this goal, energy response must be well calibrated. Using the Automated Calibration Unit (ACU) and the Cable Loop System (CLS) of TAO, multiple radioactive sources are deployed to various positions in the detector to perform a precise calibration of energy response. The non-linear energy response can be controlled within 0.6% with different energy points of these radioactive sources. It can be further improved by using $^{12}\rm B$ decay signals produced by cosmic muons. Through the energy non-uniformity calibration, residual non-uniformity is less than 0.2%. The energy resolution degradation and energy bias caused by the residual non-uniformity can be controlled within 0.05% and 0.3%, respectively. In addition, the stability of other detector parameters, such as the gain of each silicon photo-multiplier, can be monitored with a special ultraviolet LED calibration system.

physics.ins-det↗

arXiv2020

The replacement system of the JUNO liquid scintillator pilot experiment at Daya Bay

The Jiangmen Underground Neutrino Observatory (JUNO), a multi-purpose neutrino experiment, will use 20 kt liquid scintillator (LS). To achieve the physics goal of determining the neutrino mass ordering, 3$\%$ energy resolution at 1 MeV is required. This puts strict requirements on the LS light yield and the transparency. Four LS purification steps have been designed and mid-scale plants have been built at Daya Bay. To examine the performance of the purified LS and find the optimized LS composition, the purified LS was injected to the antineutrino detector 1 in the experimental hall 1 (EH1-AD1) of the Daya Bay neutrino experiment. To pump out the original gadolinium loaded LS and fill the new LS, a LS replacement system has been built in EH1 in 2017. By replacing the Gd-LS with purified water, then replacing the water with purified LS, the replacement system successfully achieved the designed goal. Subsequently, the fluorescence and the wavelength shifter were added to higher concentrations via the replacement system. The data taken at various LS compositions helped JUNO determine the final LS cocktail. Details of the design, the construction, and the operation of the replacement system are reported in this paper.

physics.ins-det↗

arXiv2020

Evaluation of the KLauS ASIC at low temperature

The Taishan Antineutrino Observatory (TAO) is proposed to first use a cold liquid scintillator detector (-50~$^\circ$C) equipped with large-area silicon photomultipliers (SiPMs) ($\sim$10~m$^2$) to precisely measure the reactor antineutrino spectrum with a record energy resolution of < 2\% at 1 MeV. The KLauS ASIC shows excellent performance at room temperature and is a potential readout solution for TAO. In this work, we report evaluations of the fifth version of the KLauS ASIC (KLauS5) from room temperature to -50~$^\circ$C with inputs of injected charge or SiPMs. Our results show that KLauS5 has good performance at the tested temperatures with no significant degradation of the charge noise, charge linearity, gain uniformity or recovery time. Meanwhile, we also observe that several key parameters degrade when the chip operates in cold conditions, including the dynamic range and power consumption. However, even with this degradation, a good signal-to-noise ratio and good resolution of a single photoelectron can still be achieved for the tested SiPM with a gain of greater than 1.5$\times$10$^6$ and even an area of SiPM up to 1~cm$^2$ in one channel, corresponding to an input capacitance of approximately 5~nF. Thus, we conclude that KLauS5 can fulfill the TAO requirements for precise charge measurement.

physics.ins-det↗