Demo Data from VLDB 2026 / reviewers in the wild / expert
Jiafu Xu
dblp:80/5079
· DBLP profile ↗
10ranked-venue papers
4as first author
1since 2021 · last 2026
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Applied, interdisciplinary, general and emerging computing · 5 · 2 first-authorSoftware engineering, systems software and programming languages · 3 · 2 first-author · 1 since 2021Theory of computation · 3Artificial intelligence and machine learning · 1 · 1 first-authorSystems, architecture and hardware · 1 · 1 first-author · 1 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Software engineering, system software, and programming languages
1 paper |
Programming languages and type systems · 100% | |
| Theoretical computer science
1 paper |
Quantum computing and quantum information · 100% |
Topics — the 2 heaviest of 2, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Programming languages and type systems › domain-specific languages
quantum programming languages |
0.1 | 1 | 2008 | Quantum programming languages: A tentative study · Sci. China Ser. F Inf. Sci. 2008 |
Quantum computing and quantum information
quantum programming |
0.1 | 1 | 2008 | Quantum programming languages: A tentative study · Sci. China Ser. F Inf. Sci. 2008 |
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Abusing DDS Discovery: Denial-of-Service Attacks Against ROS 2abstractThe Data Distribution Service (DDS) provides data-centric publish-subscribe messaging with a mandatory discovery protocol, enabling distributed applications to automatically locate and communicate with each other. ROS 2, the de facto middleware for robotic systems, adopts DDS as its communication backbone. In this paper, we demonstrate that the DDS discovery mechanism can be exploited to mount Denial-of-Service attacks against ROS 2 applications. By repeatedly triggering discovery traffic, an adversary can significantly inflate pipeline latency during runtime. We validate the attack on ROS 2 Humble with two widely used DDS implementations and a real UAV case study, confirming its effectiveness across different configurations. Jiafu Xu, Songran Liu, Zilong Wang 0018, Minghe Yu 0001, Yue Tang 0001, Yang Wang 0082, Weiguang Pang, Wang Yi 0001 |
DATE | 1 |
| 2008 | Quantum programming languages: A tentative study
Jiafu Xu, Fangmin Song |
Sci. China Ser. F Inf. Sci. | 1 |
| 2008 | Quantum programming languages
Jiafu Xu, Fanming Song |
Frontiers Comput. Sci. China | 1 |
| 1997 | Formal semantics of some functional constructs of the software requirements definition language NDRDLabstractNDRDL is a software requirements definition language (SRDL), designed as the source language of the software requirements analysis support system NDRASS. It considers both functional and nonfunctional requirements. To avoid the impreciseness and inconsistency of its informal semantics, this paper presents formal semantics of some functional constructs of NDRDL. Different ways and means are adopted according to the inherent characteristics of different constructs. Lijun Dong, Jiafu Xu |
COMPSAC | 2 |
| 1996 | Requirements Analysis and Specification as a Problem of Software Automation
Jiafu Xu, Hong Zhu 0002 |
SEKE | 1 |
| 1995 | Denotational semantics of a simple model of Eiffel
Yuzhong Qu, Jiafu Xu |
J. Comput. Sci. Technol. | 3 |
| 1995 | Analogical Type Theory
Jiafu Xu |
J. Symb. Comput. | 2 |
| 1993 | Design rationale for a wide spectrum specification language FGSPEC
Lu Jian, Jiafu Xu |
J. Comput. Sci. Technol. | 2 |
| 1993 | Analogical Program Derivation Based on Type Theory
Jianguo Lu, Jiafu Xu |
Theor. Comput. Sci. | 2 |
| 1993 | Analogy Calculus
Jiafu Xu |
Theor. Comput. Sci. | 2 |