Publication Aligning Offline Metrics and Human Judgments of Value for Code Generation Models Victor Dibia, Adam Fourney, Gagan Bansal, Forough Poursabzi, Han Liu, Saleema Amershi ACL 2023 | June 2023
Publication Modular control plane verification via temporal invariants Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker Programming Language Design and Implementation | June 2023
Publication Wait-Free Weak Reference Counting Matthew J. Parkinson, Sylvan Clebsch, Ben Simner ACM SIGPLAN International Symposium on Memory Management | June 2023 Project
Publication CoWrangler: Recommender System for Data-Wrangling Scripts Bhavya Chopra, Anna Fariha, Sumit Gulwani, Austin Z. Henley, Daniel Perelman, Mohammad Raza, Sherry Shi, Danny Simmons, Ashish Tiwari SIGMOD | June 2023
Publication Trace-Guided Inductive Synthesis of Recursive Functional Programs Yongwei Yuan, Arjun Radhakrishna, Roopsha Samanta PLDI | June 2023 Distinguished Paper
Publication LongCoder: A Long-Range Pre-trained Language Model for Code Completion Daya Guo, Canwen Xu, Nan Duan, Jian Yin, Julian McAuley ICML 2023 | June 2023
Publication Monitor-Guided Decoding of Code LMs with Static Analysis of Repository Context Lakshya A Agrawal, Aditya Kanade, Navin Goyal, Shuvendu Lahiri, Sriram Rajamani NeurIPS 2023 | June 2023 Preprint Project
Publication Large Language Models Meet NL2Code: A Survey Bei Chen, Daoguang Zan, Fengji Zhang, Dianjie Lu, Bingchao Wu, Bei Guan, Yongji Wang, Jian-Guang Lou ACL 2023 | June 2023
Publication BEETLE: A Feature-Based Approach to Reduce Staleness in Profile Data Angelica Moreira, Guilherme Ottoni, Fernando Magno Quintão Pereira June 2023
Publication Robust Multimodal Failure Detection for Microservice Systems Chenyu Zhao, Minghua Ma, Zhenyu Zhong, Shenglin Zhang, Zhiyuan Simon Tan, Xiao Xiong, Lulu Yu, Jiayi Feng, Yongqian Sun, Yuzhi Zhang, Dan Pei, Qingwei Lin 林庆维, Dongmei Zhang KDD’23 ADS | May 2023
