Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Changjiang Wang

dblp:66/8386 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Program verification
automated verification
0.812024
Lexicographic Ranking Supermartingales with Lazy Lower Bounds · CAV (3) 2024
Program verification › termination analysis
probabilistic termination
0.812024
Lexicographic Ranking Supermartingales with Lazy Lower Bounds · CAV (3) 2024
Program verification › termination analysis
ranking function synthesis
0.812024
Lexicographic Ranking Supermartingales with Lazy Lower Bounds · CAV (3) 2024
Program verification
termination analysis
0.812024
Lexicographic Ranking Supermartingales with Lazy Lower Bounds · CAV (3) 2024
Logic in computer science › semantics
probabilistic semantics
0.212024
Lexicographic Ranking Supermartingales with Lazy Lower Bounds · CAV (3) 2024
Information theory › probability theory
stochastic processes
0.212024
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
YearPublicationVenuePosition
2024 Lexicographic Ranking Supermartingales with Lazy Lower Bounds
abstract
Abstract 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