David Bieber
8 papers · 2019–2023 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
πΊοΈ 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
Can Large Language Models Reason about Program Invariants?
ICML 2023
Static Prediction of Runtime Errors by Learning to Execute Programs with External Resource Descriptions
ICLR 2023
BUSTLE: Bottom-Up Program Synthesis Through Learning-Guided Exploration
ICLR 2021
Learning Semantic Representations to Verify Hardware Designs
NIPS 2021
Learning to Execute Programs with Instruction Pointer Attention Graph Neural Networks
NIPS 2020
Global Relational Models of Source Code
ICLR 2020
Incremental Sampling Without Replacement for Sequence Models
ICML 2020
Neural Program Repair by Jointly Learning to Localize and Repair
ICLR 2019