Demo Data from EDBT 2026 / reviewers in the wild / expert
Cordell Green
dblp:69/2492 · also C. Cordell Green
· DBLP profile ↗
10ranked-venue papers
8as first author
0since 2021 · last 2010
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 7 · 6 first-authorGraphics, computer vision, multimedia, augmented reality and games · 5 · 4 first-authorSoftware engineering, systems software and programming languages · 2 · 2 first-authorDatabases, data management, data science and information retrieval · 1Theory of computation · 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
6 papers |
Program synthesis and code generation · 96% Programming languages and type systems · 4% | |
| Artificial intelligence
1 paper |
Knowledge representation and reasoning · 100% | |
| Theoretical computer science
1 paper |
Automated reasoning and model checking · 100% |
Topics — the 6 heaviest of 7, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Program synthesis and code generation
knowledge-based program synthesis |
0.0 | 1 | 1979 | Results in Knowledge-Based Program Synthesis · IJCAI 1979 |
Program synthesis and code generation
programming by example |
0.0 | 1 | 1975 | Inferring LISP Programs From Examples · IJCAI 1975 |
Knowledge, reasoning and agents › Knowledge representation and reasoning › automated reasoning
knowledge base reasoning |
0.0 | 1 | 1979 | Results in Knowledge-Based Program Synthesis · IJCAI 1979 |
Automated reasoning and model checking
theorem proving |
0.0 | 1 | 1969 | Application of Theorem Proving to Problem Solving · IJCAI 1969 |
Program synthesis and code generation
deductive program synthesis |
0.0 | 1 | 1977 | A Summary of the PSI Program Synthesis System · IJCAI 1977 |
Programming languages and type systems › functional programming
lisp |
0.0 | 1 | 1975 | Inferring LISP Programs From Examples · IJCAI 1975 |
Methods — techniques the papers use, named apart from their topics
program synthesis · 0.0knowledge-based synthesis · 0.0theorem proving · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2010 | Keynote address: the actual implementation will be derived from the formal specification -- KBSA, 1983abstractThe 1983 KBSA (Knowledge-Based Software Assistant) report led to the founding of the KBSE (Knowledge-Based Software Engineering conference series. The KBSE conference then changed into the ASE conference in 1997. And this year marks the 25th anniversary of the conference series. Cordell Green |
ASE | 1 |
| 1985 | What Is Program Synthesis?
Cordell Green |
J. Autom. Reason. | 1 |
| 1979 | Results in Knowledge-Based Program Synthesis
Cordell Green, Richard P. Gabriel, Elaine Kant, Beverly I. Kedzierski, Brian P. McCune, Jorge V. Phillips, Steve Tappel, Stephen J. Westfold |
IJCAI | 1 |
| 1978 | On Program Synthesis Knowledge
Cordell Green, David R. Barstow |
Artif. Intell. | 1 |
| 1978 | A Note on Shared List Structure in LISP
Douglas W. Clark, Cordell Green |
Inf. Process. Lett. | 2 |
| 1977 | A Summary of the PSI Program Synthesis System
Cordell Green |
IJCAI | 1 |
| 1976 | The Design of the PSI Program Synthesis System
Cordell Green |
ICSE | 1 |
| 1975 | Some Rules For The Automatic Synthesis Of Programs
Cordell Green, David R. Barstow |
IJCAI | 1 |
| 1975 | Inferring LISP Programs From Examples
David E. Shaw, William R. Swartout, Cordell Green |
IJCAI | 3 |
| 1969 | Application of Theorem Proving to Problem Solving
Cordell Green |
IJCAI | 1 |