David Bieber
8 papers · 2019–2023 · 3 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
π£ Hot Topic Early Bird π Interdisciplinary Bridge Β· Gold πΊοΈ Taxonomy Completionist (24) π Conference Polyglot Β· Bronze π Triple Crown
π
Trend Setter
β
The Questioner
π
Renaissance Researcher
(5)
Venues
Top co-authors
Research topics
Artificial Intelligence
(8)
Core AI
(7)
Deep Learning
(5)
Computer Science
(4)
Architectures
(4)
Machine Learning
(3)
Applications
(3)
Core Methods
(3)
Knowledge & Reasoning
(1)
Mathematics & Optimization
(1)
Natural Language Processing
(1)
Foundations
(1)
Learning Paradigms
(1)
Learning Types
(1)
Models
(1)
Keywords
program synthesis
(3)
graph neural network
(3)
program execution
(2)
semantic representation
(1)
message passing
(1)
bug localization
(1)
static analysis
(1)
program analysis
(1)
software engineering
(1)
sequential sampling
(1)
randomized algorithm
(1)
systematic generalization
(1)
test generation
(1)
program representation
(1)
input-output example
(1)
sampling without replacement
(1)
pointer network
(1)
code understanding
(1)
incremental sampling
(1)
generative neural model
(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
NeurIPS 2021
Global Relational Models of Source Code
ICLR 2020
Incremental Sampling Without Replacement for Sequence Models
ICML 2020
Learning to Execute Programs with Instruction Pointer Attention Graph Neural Networks
NeurIPS 2020
Neural Program Repair by Jointly Learning to Localize and Repair
ICLR 2019