论文与出版物 CodePlan: Repository-level Coding using LLMs and Planning Ramakrishna Bairi, Atharv Sonwane, Aditya Kanade, Vageesh D C, Arun Shankar Iyer, Suresh Parthasarathy, Sriram Rajamani, B. Ashok, Shashank Shet Proceedings of the ACM on Software Engineering | July 2024, 第 1 卷(FSE): pp. 675-698 项目
论文与出版物 ImDiffusion: Imputed Diffusion Models for Multivariate Time Series Anomaly Detection Yuhang Chen, C. Zhang, Minghua Ma, Yudong Liu, Ruomeng Ding, Bo Li, Shilin He, S. Rajmohan, Qingwei Lin 林庆维, Dongmei Zhang PVLDB’24 | July 2024, 第 abs/2307.00754 卷
论文与出版物 RUBICON: Rubric-based Evaluation of Domain Specific Human-AI Conversations Param Biyani, Yasharth Bajpai, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani AIware: Proceedings of the 1st ACM International Conference on AI-Powered Software | July 2024 Best Paper Presentation Award
论文与出版物 CORE: Resolving Code Quality Issues using LLMs Nalin Wadhwa, Jui Pradhan, Atharv Sonwane, Surya Prakash Sahu, Nagarajan Natarajan, Aditya Kanade (kanadeaditya), Suresh Parthasarathy (supartha), Sriram Rajamani (sriram) FSE | July 2024
论文与出版物 Evaluating LLM-driven User-Intent Formalization for Verification-Aware Languages Shuvendu Lahiri Formal Methods in Computer-Aided Design (FMCAD’24) | July 2024 项目
论文与出版物 Class-Level Code Generation from Natural Language Using Iterative, Tool-Enhanced Reasoning over Repository Ajinkya Deshpande, Anmol Agarwal, Shashank Shet, Arun Iyer, Aditya Kanade, Ramakrishna Bairi, Suresh Parthasarathy International Conference on Machine Learning Workshop on Data-Centric Machine Learning Research (DMLR-ICML) | July 2024 Github
论文与出版物 Sound Borrow-Checking for Rust via Symbolic Semantics Son Ho, Aymeric Fromherz, Jonathan Protzenko July 2024
论文与出版物 Reference Counting Deeply Immutable Data Structures with Cycles: an Intellectual Abstract Matthew J. Parkinson, Sylvan Clebsch, Tobias Wrigstad n Proceedings of the 2024 ACM SIGPLAN International Symposium on Memory Management (ISMM ’24) | June 2024 项目
论文与出版物 BatchIt: Optimizing Message-Passing Allocators for Producer-Consumer Workloads: An Intellectual Abstract Nathaniel Filardo, Matthew J. Parkinson Proceedings of the 2024 ACM SIGPLAN International Symposium on Memory Management (ISMM’24) | June 2024 项目
论文与出版物 The Functional Essence of Imperative Binary Search Trees Anton Lorenzen, Daan Leijen, Wouter Swierstra, Sam Lindley PLDI’24 | June 2024 项目
