Demo Data from EDBT 2026 / reviewers in the wild / expert
Changjiang Wang
dblp:66/8386
· DBLP profile ↗
2ranked-venue papers
0as first author
2since 2021 · last 2024
—ORCID · conflict
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 1 · 1 since 2021Software engineering, systems software and programming languages · 1 · 1 since 2021Theory of computation · 1 · 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 |
Program verification · 100% | |
| Theoretical computer science
1 paper |
Logic in computer science · 50% Information theory · 50% |
Topics — the 6 heaviest of 6, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Program verification
automated verification |
0.8 | 1 | 2024 | Lexicographic Ranking Supermartingales with Lazy Lower Bounds · CAV (3) 2024 |
Program verification › termination analysis
probabilistic termination |
0.8 | 1 | 2024 | Lexicographic Ranking Supermartingales with Lazy Lower Bounds · CAV (3) 2024 |
Program verification › termination analysis
ranking function synthesis |
0.8 | 1 | 2024 | Lexicographic Ranking Supermartingales with Lazy Lower Bounds · CAV (3) 2024 |
Program verification
termination analysis |
0.8 | 1 | 2024 | Lexicographic Ranking Supermartingales with Lazy Lower Bounds · CAV (3) 2024 |
Logic in computer science › semantics
probabilistic semantics |
0.2 | 1 | 2024 | Lexicographic Ranking Supermartingales with Lazy Lower Bounds · CAV (3) 2024 |
Information theory › probability theory
stochastic processes |
0.2 | 1 | 2024 | Lexicographic Ranking Supermartingales with Lazy Lower Bounds · CAV (3) 2024 |
Methods — techniques the papers use, named apart from their topics
martingale theory · 1.5linear programming · 1.5
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Lexicographic Ranking Supermartingales with Lazy Lower BoundsabstractAbstract Lexicographic Ranking SuperMartingale (LexRSM) is a probabilistic extension of Lexicographic Ranking Function (LexRF), which is a widely accepted technique for verifying program termination. In this paper, we are the first to propose sound probabilistic extensions of LexRF with a weaker non-negativity condition, called single-component (SC) non-negativity. It is known that such an extension, if it exists, will be nontrivial due to the intricacies of the probabilistic circumstances. Toward the goal, we first devise the notion of fixability, which offers a systematic approach for analyzing the soundness of possibly negative LexRSM. This notion yields a desired extension of LexRF that is sound for general stochastic processes. We next propose another extension, called Lazy LexRSM, toward the application to automated verification; it is sound over probabilistic programs with linear arithmetics, while its subclass is amenable to automated synthesis via linear programming. We finally propose a LexRSM synthesis algorithm for this subclass, and perform experiments. Toru Takisaka, Libo Zhang 0006, Changjiang Wang, Jiamou Liu |
CAV (3) | 3 |
| 2024 | Chain of Stance: Stance Detection with Large Language Models
Junxia Ma, Changjiang Wang, Hanwen Xing, Yazhou Zhang 0001 |
NLPCC (5) | 2 |