出版物 大型语言模型能否将自然语言意图转换为形式方法后置条件？ 梅德琳·恩德斯，莎拉·法库里，Saikat Chakraborty公司，舒文杜·拉希里 ACM软件工程基础国际会议（FSE）|2024年7月 https://2024.esec-fse.org/details/fse-2024-research-papers/51/Can-Large-Language-Models-Transform-Natural-Language-Intent-into-Formal-Method-Postco 项目
出版物 不扩散：多元时间序列异常检测的估算扩散模型 陈余杭、C.Zhang、马明华、刘玉东、丁若明、李波、何士林、S.Rajmohan、，林庆伟林庆维，张冬梅 PVLDB'24型|2024年7月，Vol abs/2307.00754
出版物 核心：使用LLM解决代码质量问题 Nalin Wadhwa、Jui Pradhan、Atharv Sonwane、Surya Prakash Sahu、，纳加拉詹·纳塔拉詹，Aditya Kanade（卡纳迪蒂娅），Suresh Parthasarathy（苏帕莎），斯里拉姆·拉贾马尼（斯里拉姆） FSE公司|2024年7月
出版物 具有周期的深度不变数据结构的引用计数：一个知识摘要 马修·帕金森，Sylvan Clebsch公司，托比亚斯·瑞格斯塔德 n 2024年ACM SIGPLAN内存管理国际研讨会（ISMM’24）会议记录|2024年6月 项目
出版物 BatchIt:为生产者-消费者工作负载优化消息传递分配器：一个智能摘要 纳撒尼尔·菲拉多，马修·帕金森 2024年ACM SIGPLAN内存管理国际研讨会（ISMM’24）会议记录|2024年6月 项目
