99 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Hong Kong University of Science and TechnologyHK12 papers
- University of Hong KongHK11 papers
- Hunan UniversityCN2 papers
- Imperial College LondonGB2 papers
- Shanghai Jiao Tong UniversityCN2 papers
- Tianjin UniversityCN2 papers
- Tongji UniversityCN2 papers
- University of AucklandNZ2 papers
- Xi'an Jiaotong UniversityCN2 papers
- Aalto UniversityFI1 paper
- Argonne National LaboratoryUS1 paper
- Beihang UniversityCN1 paper
18 papers
MemNovo: Look Back at the Spectrum for Balanced De Novo Peptide Sequencing from Mass Spectrometry
Dongxin Lyu, Jingbo Zhou, Hongxin Xiang +2
De novo peptide sequencing from tandem mass spectrometry is pivotal in proteomics, enabling identification of novel peptides without reference databases. While recent Transformer-b…
MR-Coupler: Automated Metamorphic Test Generation via Functional Coupling Analysis
Congying Xu, Hengcheng Zhu, Songqiang Chen +3
Metamorphic testing (MT) is a widely recognized technique for alleviating the oracle problem in software testing. However, its adoption is hindered by the difficulty of constructin…
DeInfer: Efficient Parallel Inferencing for Decomposed Large Language Models
You-Liang Huang, Xinhao Huang, Chengxi Liao +1
Existing works on large language model (LLM) decomposition mainly focus on improving performance on downstream tasks, but they ignore the poor parallel inference performance when t…
FGIM: a Fast Graph-based Indexes Merging Framework for Approximate Nearest Neighbor Search
Zekai Wu, Jiabao Jin, Peng Cheng +7
As the state-of-the-art methods for high-dimensional data retrieval, Approximate Nearest Neighbor Search (ANNS) approaches with graph-based indexes have attracted increasing attent…
Thermal conductivities of monolayer graphene oxide from machine learning molecular dynamics simulations
Bohan Zhang, Biyuan Liu, Penghua Ying +6
Graphene oxide (GO) exhibits rich chemical heterogeneity that strongly influences its structural, thermal, and mechanical properties, yet quantitatively linking reduction chemistry…
Can Emulating Semantic Translation Help LLMs with Code Translation? A Study Based on Pseudocode
Songqiang Chen, Congying Xu, Jingyi Chen +3
Although large language models (LLMs) show promising potential in code translation, they still struggle to generate accurate translations using the commonly adopted direct code-to-…
Infinite Stream Estimation under Personalized -Event Privacy
Leilei Du, Peng Cheng, Lei Chen +3
Streaming data collection is indispensable for stream data analysis, such as event monitoring. However, publishing these data directly leads to privacy leaks. -event privacy is…
Bounded Exhaustive Random Program Generation for Testing Solidity Compilers
Haoyang Ma, Alastair F. Donaldson, Qingchao Shen +3
By July 2025, smart contracts collectively manage roughly $120 billion in assets. With Solidity remaining the dominant language for smart contract development, the correctness of S…
PEPL: Precision-Enhanced Pseudo-Labeling for Fine-Grained Image Classification in Semi-Supervised Learning
Bowen Tian, Songning Lai, Lujundong Li +4
Fine-grained image classification has witnessed significant advancements with the advent of deep learning and computer vision technologies. However, the scarcity of detailed annota…
Towards Understanding the Bugs in Solidity Compiler
Haoyang Ma, Wuqi Zhang, Qingchao Shen +3
Solidity compiler plays a key role in enabling the development of smart contract applications on Ethereum by governing the syntax of a domain-specific language called Solidity and…
MR-Adopt: Automatic Deduction of Input Transformation Function for Metamorphic Testing
Congying Xu, Songqiang Chen, Jiarong Wu +4
While a recent study reveals that many developer-written test cases can encode a reusable Metamorphic Relation (MR), over 70% of them directly hard-code the source input and follow…
MARS: An Instance-aware, Modular and Realistic Simulator for Autonomous Driving
Zirui Wu, Tianyu Liu, Liyi Luo +13
Nowadays, autonomous cars can drive smoothly in ordinary cases, and it is widely recognized that realistic sensor simulation will play a critical role in solving remaining corner c…
COMET: Coverage-guided Model Generation For Deep Learning Library Testing
Meiziniu Li, Jialun Cao, Yongqiang Tian +3
Recent deep learning (DL) applications are mostly built on top of DL libraries. The quality assurance of these libraries is critical to the dependable deployment of DL applications…
Dielectric constant of supercritical water in a large pressure-temperature range
Rui Hou, Yuhui Quan, Ding Pan
A huge amount of water at supercritical conditions exists in Earth's interior, where its dielectric properties play a critical role in determining how it stores and transports mate…
Large presence of carbonic acid in CO-rich aqueous fluids under Earth's mantle conditions
Nore Stolte, Ding Pan
The chemistry of carbon in aqueous fluids at extreme pressure and temperature conditions is of great importance to Earth's deep carbon cycle, which substantially affects the carbon…
Dielectric properties of condensed systems composed of fragments
Ding Pan, Marco Govoni, Giulia Galli
The dielectric properties of molecules or nanostructures are usually modified in a complex manner, when assembled into a condensed phase. We propose a first-principles method to co…
Iterative Learning and Extremum Seeking for Repetitive Time-Varying Mappings
Zhixing Cao, Hans-Bernd Dürr, Christian Ebenbauer +2
In this paper, we develop an extremum seeking control method integrated with iterative learning control to track a time-varying optimizer within finite time. The behavior of the ex…
A Hybrid Pricing Framework for TV White Space Database
Xiaojun Feng, Qian Zhang, Jin Zhang
According to the recent rulings of the Federal Communications Commission (FCC), TV white spaces (TVWS) can now be accessed by secondary users (SUs) after a list of vacant TV channe…