David Bieber
8 papers
· 2019–2023
· 3 conferences
· across top CS/AI conferences
Achievements
πΊοΈ
Taxonomy Completionist
(15)
π
Cross-Pollinator
(11)
π
Renaissance Researcher
(7)
π
Interdisciplinary Bridge
π§
Keyword Pioneer
π£
Hot Topic Early Bird
π
Conference Polyglot
(3)
π
Triple Crown
β
The Questioner
Conferences
ICLR (4)
ICML (2)
NIPS (2)
Top co-authors
Keywords
program synthesis
(2)
graph neural network
(2)
semantic representation
(1)
static analysis
(1)
program analysis
(1)
software engineering
(1)
sequential sampling
(1)
randomized algorithm
(1)
systematic generalization
(1)
test generation
(1)
sampling without replacement
(1)
code understanding
(1)
incremental sampling
(1)
generative neural model
(1)
program execution
(1)
control flow graph
(1)
hardware verification
(1)
large language model
(1)
program invariant
(1)
register transfer level
(1)
Papers
Global Relational Models of Source Code
ICLR 2020