Demo Data from SIGIR 2026 / reviewers in the wild / expert
Can Cebeci
dblp:390/0776
· DBLP profile ↗
1ranked-venue papers
1as first author
1since 2021 · last 2024
0009-0007-8923-2666ORCID · 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 verification · 100% |
Topics — the 2 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Program verification › code-level verification
c program verification |
0.8 | 1 | 2024 | Practical Verification of System-Software Components Written in Standard C · SOSP 2024 |
Program verification › system verification
system software verification |
0.8 | 1 | 2024 | Practical Verification of System-Software Components Written in Standard C · SOSP 2024 |
Methods — techniques the papers use, named apart from their topics
interactive proof assistant · 0.8automated verification · 0.8
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Practical Verification of System-Software Components Written in Standard CabstractSystems code is challenging to verify, because it uses constructs (like raw pointers, pointer arithmetic, and bit twiddling) that are hard for tools to reason about. Existing approaches either sacrifice programmer friendliness, by demanding significant manual effort and verification expertise, or generality, by restricting the programming language or requiring that the code adapt to the verification tool. Can Cebeci, Yonghao Zou, Diyu Zhou, George Candea, Clément Pit-Claudel |
SOSP | 1 |