VLDB 2026 Research / reviewers in the wild / expert
Mohammad Rifat Arefin
dblp:354/8777
· DBLP profile ↗
1ranked-venue papers
1as first author
1since 2021 · last 2024
0009-0007-8357-928XORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 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 |
Program analysis · 100% |
Topics — the 1 heaviest of 1, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Program analysis › model inference
grammar inference |
0.8 | 1 | 2024 | Fast Deterministic Black-box Context-free Grammar Inference · ICSE 2024 |
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Fast Deterministic Black-box Context-free Grammar InferenceabstractBlack-box context-free grammar inference is a hard problem as in many practical settings it only has access to a limited number of example programs. The state-of-the-art approach Arvada heuristically generalizes grammar rules starting from flat parse trees and is non-deterministic to explore different generalization sequences. We observe that many of Arvada's generalization steps violate common language concept nesting rules. We thus propose to pre-structure input programs along these nesting rules, apply learnt rules recursively, and make black-box context-free grammar inference deterministic. The resulting TreeVada yielded faster runtime and higher-quality grammars in an empirical comparison. The TreeVada source code, scripts, evaluation parameters, and training data are open-source and publicly available (https://doi.org/10.6084/m9.figshare.23907738). Mohammad Rifat Arefin, Suraj Shetiya, Zili Wang 0004, Christoph Csallner |
ICSE | 1 |