David Bieber

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 21

Top Topics

Distance Transformation

Recursive Functions

Relational Model

Top Venues

Publications

David Bieber, Rishab Goel, Daniel Zheng, Hugo Larochelle, Daniel Tarlow
Static Prediction of Runtime Errors by Learning to Execute Programs with External Resource Descriptions. ICLR (2023)
Kexin Pei, David Bieber, Kensen Shi, Charles Sutton, Pengcheng Yin
Can Large Language Models Reason about Program Invariants? ICML (2023)
David Dohan, Winnie Xu, Aitor Lewkowycz, Jacob Austin, David Bieber, Raphael Gontijo Lopes, Yuhuai Wu, Henryk Michalewski, Rif A. Saurous, Jascha Sohl-Dickstein, Kevin Murphy, Charles Sutton
Language Model Cascades. CoRR (2022)
Kensen Shi, David Bieber, Rishabh Singh
TF-Coder: Program Synthesis for Tensor Manipulations. ACM Trans. Program. Lang. Syst. 44 (2) (2022)
David Bieber, Rishab Goel, Daniel Zheng, Hugo Larochelle, Daniel Tarlow
Static Prediction of Runtime Errors by Learning to Execute Programs with External Resource Descriptions. CoRR (2022)
David Bieber, Kensen Shi, Petros Maniatis, Charles Sutton, Vincent J. Hellendoorn, Daniel D. Johnson, Daniel Tarlow
A Library for Representing Python Programs as Graphs for Machine Learning. CoRR (2022)
Shobha Vasudevan, Wenjie Jiang, David Bieber, Rishabh Singh, Hamid Shojaei, Richard Ho, Charles Sutton
Learning Semantic Representations to Verify Hardware Designs. NeurIPS (2021)
Augustus Odena, Kensen Shi, David Bieber, Rishabh Singh, Charles Sutton, Hanjun Dai
BUSTLE: Bottom-Up Program Synthesis Through Learning-Guided Exploration. ICLR (2021)
Maxwell Nye, Anders Johan Andreassen, Guy Gur-Ari, Henryk Michalewski, Jacob Austin, David Bieber, David Dohan, Aitor Lewkowycz, Maarten Bosma, David Luan, Charles Sutton, Augustus Odena
Show Your Work: Scratchpads for Intermediate Computation with Language Models. CoRR (2021)
Augustus Odena, Kensen Shi, David Bieber, Rishabh Singh, Charles Sutton
BUSTLE: Bottom-up program-Synthesis Through Learning-guided Exploration. CoRR (2020)
Vincent J. Hellendoorn, Charles Sutton, Rishabh Singh, Petros Maniatis, David Bieber
Global Relational Models of Source Code. ICLR (2020)
David Bieber, Charles Sutton, Hugo Larochelle, Daniel Tarlow
Learning to Execute Programs with Instruction Pointer Attention Graph Neural Networks. CoRR (2020)
Kensen Shi, David Bieber, Charles Sutton
Incremental Sampling Without Replacement for Sequence Models. CoRR (2020)
Kensen Shi, David Bieber, Charles Sutton
Incremental Sampling Without Replacement for Sequence Models. ICML (2020)
David Bieber, Charles Sutton, Hugo Larochelle, Daniel Tarlow
Learning to Execute Programs with Instruction Pointer Attention Graph Neural Networks. NeurIPS (2020)
Kensen Shi, David Bieber, Rishabh Singh
TF-Coder: Program Synthesis for Tensor Manipulations. CoRR (2020)
Marko Vasic, Aditya Kanade, Petros Maniatis, David Bieber, Rishabh Singh
Neural Program Repair by Jointly Learning to Localize and Repair. ICLR (Poster) (2019)
Marko Vasic, Aditya Kanade, Petros Maniatis, David Bieber, Rishabh Singh
Neural Program Repair by Jointly Learning to Localize and Repair. CoRR (2019)
Rui Zhao, David Bieber, Kevin Swersky, Daniel Tarlow
Neural Networks for Modeling Source Code Edits. CoRR (2019)
Sergio Guadarrama, Ryan Dahl, David Bieber, Jonathon Shlens, Mohammad Norouzi, Kevin Murphy
PixColor: Pixel Recursive Colorization. BMVC (2017)
Sergio Guadarrama, Ryan Dahl, David Bieber, Mohammad Norouzi, Jonathon Shlens, Kevin Murphy
PixColor: Pixel Recursive Colorization. CoRR (2017)