Source author record

Jianjun Huang

Jianjun Huang appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math-ph math.AP math.MP Software Engineering

Catalog footprint

What is connected

2works

4topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2026arXiv

Feature Slice Matching for Precise Bug Detection

Measuring the function similarity to detect bugs is effective, but the statements unrelated to the bugs can impede the performance due to the noise interference. Suppressing the noise interference in existing works does not manage the tough job, i.e., eliminating the noise in the targets. In this paper, we propose MATUS to mitigate the target noise for precise bug detection based on similarity measurement. Feature slices are extracted from both the buggy query and the targets to represent the semantic feature of (potential) bug logics. In particular, MATUS guides the target slicing with the prior knowledge from the buggy code, in an end-to-end way to pinpoint the slicing criterion in the targets. All feature slices are embedded and compared based on the vector similarity. Buggy candidates are audited to confirm unknown bugs in the targets. Experiments show that MATUS holds advantages in bug detection for real-world projects with acceptable efficiency. In total, MATUS has spotted 31 unknown bugs in the Linux kernel. All of them have been confirmed by the kernel developers, and 11 have been assigned CVEs.

preprint2016arXiv

Average Regularity of the Solution to an Equation with the Relativistic-free Transport Operator

Let $u=u(t,{\bf x},{\bf p})$ satisfy the transport equation $\frac {\partial u}{\partial t}+\frac {\bf p}{p_0}\frac{\partial u}{\partial{\bf x}}=f$, where $f=f(t,\bf x,\bf p)$ belongs to $ L^{p}((0,T)\times {\bf R}^{3}\times {\bf R}^{3})$ for $1<p<\infty$ and $\frac {\partial}{\partial t}+\frac {\bf p}{p_0}\frac{\partial}{\partial{\bf x}}$ is the relativistic-free transport operator. We show the regularity of $\int_{{\bf R}^{3}}u(t, {\bf x}, {\bf p})d{\bf p}$ using the same method as given by Golse, Lions, Perthame and Sentis. This average regularity is considered in terms of fractional Sobolev spaces and it is very useful for the study of the existence of the solution to the Cauchy problem on the relativistic Boltzmann equation.