Skip to content

Kensen Shi

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

10

Venues

4

Active years

2013–2024

Best venue rank

A*

Where they publish

Papers

10 indexed papers, newest first.

YearVenueTitleAuthors
2024ICLRExeDec: Execution Decomposition for Compositional Generalization in Neural Program Synthesis.Kensen Shi, Joey Hong, Yinlin Deng, Pengcheng Yin, Manzil Zaheer, Charles Sutton
2024ICMLNExT: Teaching Large Language Models to Reason about Code Execution.Ansong Ni, Miltiadis Allamanis, Arman Cohan, Yinlin Deng, Kensen Shi, Charles Sutton, Pengcheng Yin
2023ACLNatural Language to Code Generation in Interactive Data Science Notebooks.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
2023ICMLCan Large Language Models Reason about Program Invariants?Kexin Pei, David Bieber, Kensen Shi, Charles Sutton, Pengcheng Yin
2022ICLRCrossBeam: Learning to Search in Bottom-Up Program Synthesis.Kensen Shi, Hanjun Dai, Kevin Ellis, Charles Sutton
2021ICLRBUSTLE: Bottom-Up Program Synthesis Through Learning-Guided Exploration.Augustus Odena, Kensen Shi, David Bieber, Rishabh Singh, Charles Sutton, Hanjun Dai
2020ICMLLearning and Evaluating Contextual Embedding of Source Code.Aditya Kanade, Petros Maniatis, Gogul Balakrishnan, Kensen Shi
2020ICMLIncremental Sampling Without Replacement for Sequence Models.Kensen Shi, David Bieber, Charles Sutton
2014ICRASpark PRM: Using RRTs within PRMs to efficiently explore narrow passages.Kensen Shi, Jory Denny, Nancy M. Amato
2013ICRALazy Toggle PRM: A single-query approach to motion planning.Jory Denny, Kensen Shi, Nancy M. Amato