Demo Data from VLDB 2026 / reviewers in the wild / expert
Christopher Grant Jones
dblp:14/6672
· DBLP profile ↗
1ranked-venue papers
0as first author
0since 2021 · last 2008
—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 |
Program synthesis and code generation · 77% Concurrent programming · 23% |
Topics — the 2 heaviest of 2, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Program synthesis and code generation › syntax-guided synthesis
sketch-based synthesis |
0.1 | 1 | 2008 | Sketching concurrent data structures · PLDI 2008 |
Concurrent programming
concurrent data structures |
0.0 | 1 | 2008 | Sketching concurrent data structures · PLDI 2008 |
Methods — techniques the papers use, named apart from their topics
sketching · 0.1program synthesis · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2008 | Sketching concurrent data structuresabstractWe describe PSketch, a program synthesizer that helps programmers implement concurrent data structures. The system is based on the concept of sketching, a form of synthesis that allows programmers to express their insight about an implementation as a partial program: a sketch. The synthesizer automatically completes the sketch to produce an implementation that matches a given correctness criteria. Armando Solar-Lezama, Christopher Grant Jones, Rastislav Bodík |
PLDI | 2 |