Kensen Shi

30 papers A* 10Journal 18Unranked 2
YearRankTypeTitle / Venue / Authors
2025 — conf
Natural Language Outlines for Code: Literate Programming in the LLM Era.
SIGSOFT FSE Companion
Kensen Shi, Deniz Altinbüken, Saswat Anand, Mihai Christodorescu, Katja Grünwedel, Alexa Koenings, Sai Naidu, Anurag Pathak, Marc Rasi, Fredde Ribeiro, Brandon Ruffin, Siddhant Sanyam, Maxim Tabachnyk, Sara Toth, Roy Tu, Tobias Welp, Pengcheng Yin, Manzil Zaheer, Satish Chandra, Charles Sutton
2024 A* conf
ExeDec: Execution Decomposition for Compositional Generalization in Neural Program Synthesis.
ICLR
Kensen Shi, Joey Hong, Yinlin Deng, Pengcheng Yin, Manzil Zaheer, Charles Sutton
2024 J jnl
Grounding Data Science Code Generation with Input-Output Specifications.
CoRR
Yeming Wen, Pengcheng Yin, Kensen Shi, Henryk Michalewski, Swarat Chaudhuri, Alex Polozov
2024 A* conf
NExT: Teaching Large Language Models to Reason about Code Execution.
ICML
Ansong Ni, Miltiadis Allamanis, Arman Cohan, Yinlin Deng, Kensen Shi, Charles Sutton, Pengcheng Yin
2024 J jnl
NExT: Teaching Large Language Models to Reason about Code Execution.
CoRR
Ansong Ni, Miltiadis Allamanis, Arman Cohan, Yinlin Deng, Kensen Shi, Charles Sutton, Pengcheng Yin
2024 J jnl
Natural Language Outlines for Code: Literate Programming in the LLM Era.
CoRR
Kensen Shi, Deniz Altinbüken, Saswat Anand, Mihai Christodorescu, Katja Grünwedel, Alexa Koenings, Sai Naidu, Anurag Pathak, Marc Rasi, Fredde Ribeiro, Brandon Ruffin, Siddhant Sanyam, Maxim Tabachnyk, Sara Toth, Roy Tu, Tobias Welp, Pengcheng Yin, Manzil Zaheer, Satish Chandra, Charles Sutton
2023 A* conf
Can Large Language Models Reason about Program Invariants?
ICML
Kexin Pei, David Bieber, Kensen Shi, Charles Sutton, Pengcheng Yin
2023 J jnl
ExeDec: Execution Decomposition for Compositional Generalization in Neural Program Synthesis.
CoRR
Kensen Shi, Joey Hong, Manzil Zaheer, Pengcheng Yin, Charles Sutton
2023 A* conf
LambdaBeam: Neural Program Search with Higher-Order Functions and Lambdas.
NeurIPS
Kensen Shi, Hanjun Dai, Wen-Ding Li, Kevin Ellis, Charles Sutton
2023 J jnl
LambdaBeam: Neural Program Search with Higher-Order Functions and Lambdas.
CoRR
Kensen Shi, Hanjun Dai, Wen-Ding Li, Kevin Ellis, Charles Sutton
2023 — conf
Natural Language to Code Generation in Interactive Data Science Notebooks.
ACL (1)
Pengcheng Yin, Wen-Ding Li, Kefan Xiao, Abhishek Rao, Yeming Wen, Kensen Shi, Joshua Howland, Paige Bailey, Michele Catasta, Henryk Michalewski, Oleksandr Polozov, Charles Sutton
2023 J jnl
PaLM: Scaling Language Modeling with Pathways.
J. Mach. Learn. Res.
Aakanksha Chowdhery, Sharan Narang, Jacob Devlin, Maarten Bosma, Gaurav Mishra, Adam Roberts, Paul Barham, Hyung Won Chung, Charles Sutton, Sebastian Gehrmann, Parker Schuh, Kensen Shi, Sasha Tsvyashchenko, Joshua Maynez, Abhishek Rao, Parker Barnes, Yi Tay, Noam Shazeer, Vinodkumar Prabhakaran, Emily Reif, Nan Du, Ben Hutchinson, Reiner Pope, James Bradbury, Jacob Austin, Michael Isard, Guy Gur-Ari, Pengcheng Yin, Toju Duke, Anselm Levskaya, Sanjay Ghemawat, Sunipa Dev, Henryk Michalewski, Xavier Garcia, Vedant Misra, Kevin Robinson, Liam Fedus, Denny Zhou, Daphne Ippolito, David Luan, Hyeontaek Lim, Barret Zoph, Alexander Spiridonov, Ryan Sepassi, David Dohan, Shivani Agrawal, Mark Omernick, Andrew M. Dai, Thanumalayan Sankaranarayana Pillai, Marie Pellat, Aitor Lewkowycz, Erica Moreira, Rewon Child, Oleksandr Polozov, Katherine Lee, Zongwei Zhou, Xuezhi Wang, Brennan Saeta, Mark Diaz, Orhan Firat, Michele Catasta, Jason Wei, Kathy Meier-Hellstern, Douglas Eck, Jeff Dean, Slav Petrov, Noah Fiedel
2022 J jnl
A Library for Representing Python Programs as Graphs for Machine Learning.
CoRR
David Bieber, Kensen Shi, Petros Maniatis, Charles Sutton, Vincent J. Hellendoorn, Daniel D. Johnson, Daniel Tarlow
2022 J jnl
Compositional Generalization and Decomposition in Neural Program Synthesis.
CoRR
Kensen Shi, Joey Hong, Manzil Zaheer, Pengcheng Yin, Charles Sutton
2022 A* conf
CrossBeam: Learning to Search in Bottom-Up Program Synthesis.
ICLR
Kensen Shi, Hanjun Dai, Kevin Ellis, Charles Sutton
2022 J jnl
CrossBeam: Learning to Search in Bottom-Up Program Synthesis.
CoRR
Kensen Shi, Hanjun Dai, Kevin Ellis, Charles Sutton
2022 J jnl
Natural Language to Code Generation in Interactive Data Science Notebooks.
CoRR
Pengcheng Yin, Wen-Ding Li, Kefan Xiao, Abhishek Rao, Yeming Wen, Kensen Shi, Joshua Howland, Paige Bailey, Michele Catasta, Henryk Michalewski, Alex Polozov, Charles Sutton
2022 J jnl
PaLM: Scaling Language Modeling with Pathways.
CoRR
Aakanksha Chowdhery, Sharan Narang, Jacob Devlin, Maarten Bosma, Gaurav Mishra, Adam Roberts, Paul Barham, Hyung Won Chung, Charles Sutton, Sebastian Gehrmann, Parker Schuh, Kensen Shi, Sasha Tsvyashchenko, Joshua Maynez, Abhishek Rao, Parker Barnes, Yi Tay, Noam Shazeer, Vinodkumar Prabhakaran, Emily Reif, Nan Du, Ben Hutchinson, Reiner Pope, James Bradbury, Jacob Austin, Michael Isard, Guy Gur-Ari, Pengcheng Yin, Toju Duke, Anselm Levskaya, Sanjay Ghemawat, Sunipa Dev, Henryk Michalewski, Xavier Garcia, Vedant Misra, Kevin Robinson, Liam Fedus, Denny Zhou, Daphne Ippolito, David Luan, Hyeontaek Lim, Barret Zoph, Alexander Spiridonov, Ryan Sepassi, David Dohan, Shivani Agrawal, Mark Omernick, Andrew M. Dai, Thanumalayan Sankaranarayana Pillai, Marie Pellat, Aitor Lewkowycz, Erica Moreira, Rewon Child, Oleksandr Polozov, Katherine Lee, Zongwei Zhou, Xuezhi Wang, Brennan Saeta, Mark Diaz, Orhan Firat, Michele Catasta, Jason Wei, Kathy Meier-Hellstern, Douglas Eck, Jeff Dean, Slav Petrov, Noah Fiedel
2022 J jnl
TF-Coder: Program Synthesis for Tensor Manipulations.
ACM Trans. Program. Lang. Syst.
Kensen Shi, David Bieber, Rishabh Singh
2021 A* conf
BUSTLE: Bottom-Up Program Synthesis Through Learning-Guided Exploration.
ICLR
Augustus Odena, Kensen Shi, David Bieber, Rishabh Singh, Charles Sutton, Hanjun Dai
2020 J jnl
BUSTLE: Bottom-up program-Synthesis Through Learning-guided Exploration.
CoRR
Augustus Odena, Kensen Shi, David Bieber, Rishabh Singh, Charles Sutton
2020 A* conf
Incremental Sampling Without Replacement for Sequence Models.
ICML
Kensen Shi, David Bieber, Charles Sutton
2020 J jnl
Incremental Sampling Without Replacement for Sequence Models.
CoRR
Kensen Shi, David Bieber, Charles Sutton
2020 A* conf
Learning and Evaluating Contextual Embedding of Source Code.
ICML
Aditya Kanade, Petros Maniatis, Gogul Balakrishnan, Kensen Shi
2020 J jnl
Pre-trained Contextual Embedding of Source Code.
CoRR
Aditya Kanade, Petros Maniatis, Gogul Balakrishnan, Kensen Shi
2020 J jnl
TF-Coder: Program Synthesis for Tensor Manipulations.
CoRR
Kensen Shi, David Bieber, Rishabh Singh
2019 J jnl
FrAngel: component-based synthesis with control structures.
Proc. ACM Program. Lang.
Kensen Shi, Jacob Steinhardt, Percy Liang
2018 J jnl
FrAngel: Component-Based Synthesis with Control Structures.
CoRR
Kensen Shi, Jacob Steinhardt, Percy Liang
2014 A* conf
Spark PRM: Using RRTs within PRMs to efficiently explore narrow passages.
ICRA
Kensen Shi, Jory Denny, Nancy M. Amato
2013 A* conf
Lazy Toggle PRM: A single-query approach to motion planning.
ICRA
Jory Denny, Kensen Shi, Nancy M. Amato