VLDB 2026 Research / reviewers in the wild / expert
Yang Meng Tan
dblp:78/6729
· DBLP profile ↗
1ranked-venue papers
0as first author
0since 2021 · last 1994
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 1
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 |
Requirements engineering and software design · 44% Program analysis · 22% Program verification · 22% |
Topics — the 6 heaviest of 6, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Requirements engineering and software design › inconsistency management
consistency checking |
0.0 | 1 | 1994 | LCLint: A Tool for Using Specifications to Check Code · SIGSOFT FSE 1994 |
Requirements engineering and software design
formal specification |
0.0 | 1 | 1994 | LCLint: A Tool for Using Specifications to Check Code · SIGSOFT FSE 1994 |
Program verification
specification verification |
0.0 | 1 | 1994 | LCLint: A Tool for Using Specifications to Check Code · SIGSOFT FSE 1994 |
Program analysis
static analysis |
0.0 | 1 | 1994 | LCLint: A Tool for Using Specifications to Check Code · SIGSOFT FSE 1994 |
Software maintenance and evolution › software maintenance
legacy code |
0.0 | 1 | 1994 | LCLint: A Tool for Using Specifications to Check Code · SIGSOFT FSE 1994 |
Software maintenance and evolution
software reengineering |
0.0 | 1 | 1994 | LCLint: A Tool for Using Specifications to Check Code · SIGSOFT FSE 1994 |
Methods — techniques the papers use, named apart from their topics
static analysis · 0.0formal specification · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 1994 | LCLint: A Tool for Using Specifications to Check CodeabstractThis paper describes LCLint, an efficient and flexible tool that accepts as input programs (written in ANSI C) and various levels of formal specification. Using this information, LCLint reports inconsistencies between a program and its specification. We also describe our experience using LCLint to help understand, document, and re-engineer legacy code. David Evans 0001, John V. Guttag, James J. Horning, Yang Meng Tan |
SIGSOFT FSE | 4 |