代码大模型 / AI 编程

Mining Software Repair Models for Reasoning on the Search Space of Automated Program Fixing

Matias Martinez, Martin Monperrus

专题命中 程序修复 ：program repair(abstract)；分类 cs.SE

Comments Empirical Software Engineering (2013)

Journal ref Empirical Software Engineering, Springer Verlag, volume 20, 2015

Production-Driven Patch Generation and Validation

Thomas Durieux, Youssef Hamadi, Martin Monperrus

专题命中 程序修复 ：program repair(abstract)；分类 cs.SE

Statically Verifying Continuous Integration Configurations

Mark Santolucito, Jialu Zhang, Ennan Zhai, Ruzica Piskac

专题命中 程序修复 ：repository(abstract)；分类 cs.SE

Learning to Synthesize

Yingfei Xiong, Bo Wang, Guirong Fu, Linfei Zang

专题命中 程序修复 ：program repair(abstract)；分类 cs.SE

ARJA: Automated Repair of Java Programs via Multi-Objective Genetic Programming

Yuan Yuan, Wolfgang Banzhaf

专题命中 程序修复 ：program repair(abstract)；分类 cs.SE

Comments 30 pages, 26 figures

Can defects be fixed with weak test suites? An analysis of 50 defects from Defects4J

Jiajun Jiang, Yingfei Xiong

专题命中 程序修复 ：program repair(abstract)；分类 cs.SE

Comments Submitted to Empirical Software Engineering

A Theoretical Framework for Understanding Mutation-Based Testing Methods

Donghwan Shin, Doo-Hwan Bae

专题命中 程序修复 ：program repair(abstract)；分类 cs.SE

Comments To be appear in ICST 2016

Regression-free Synthesis for Concurrency

Pavol Černý, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach

专题命中 程序修复 ：program repair(abstract)；分类 cs.PL

Comments for source code see https://github.com/thorstent/ConRepair

Journal ref Computer Aided Verification, Lecture Notes in Computer Science Volume 8559, 2014, pp 568-584

MintHint: Automated Synthesis of Repair Hints

Shalini Kaleeswaran, Varun Tulsian, Aditya Kanade, Alessandro Orso

专题命中 程序修复 ：program repair(abstract)；分类 cs.SE

The Athena Startup Kit

W. T. L. P. Lavrijsen

专题命中 程序修复 ：repository(abstract)；分类 cs.SE

Comments 5 pages, 1 figure, CHEP 2003, March 2003, La Jolla, California, PSN TUJT002

LoopVSR: A Loop Engineering Framework for Automated Repair of Visual Speech Recognition Inference Pipelines

LoopVSR：用于自动修复视觉语音识别推理流水线的循环工程框架

Fei Qin, Bowen Zhang, Chao Fan, Pengcheng Luo, Genke Yang

专题命中 程序修复 ：repository(abstract)

AI总结 LoopVSR是一种循环工程框架，可让代码智能体结合端到端执行证据自动修复VSR推理流水线，在CMLR VSR系统上的表现远优于静态防护，可实现100%平均修复率。

Learning Manifolds in High-D Point Embedding for Anisotropic Surface Approximation from Unstructured Point Clouds

用于非结构化点云各向异性曲面逼近的高维点嵌入学习流形

Hongbo Li, Haikuan Zhu, Xiaohu Guo, Wenping Wang, Jing Hua, Zichun Zhong

专题命中 程序修复 ：repository(abstract)

AI总结 该研究提出HD-PEA框架，通过高维点嵌入等技术实现非结构化点云的各向异性曲面逼近，在多数据集上验证了其泛化性与可用性，性能优于现有方法。

HDSL: A Hierarchical Domain-Specific Language for Structured 3D Indoor Scene Generation and Localized Editing with LLM Agents

HDSL：一种用于结构化3D室内场景生成和基于LLM智能体局部编辑的层次化领域特定语言

Letian Li, Chao Shen, Shuzhao Xie, Chenghao Gu, ZhengXiao He, Yu Meng, Xin Yang, Wenyuan Jiang, Zhi Wang

机构 * SIGS, Tsinghua University（清华大学深圳国际研究生院） ； Nankai University（南开大学） ； University of Arizona（亚利桑那大学） ； Zhejiang University（浙江大学） ； ETH Zurich（苏黎世联邦理工学院） 纠错

专题命中 程序修复 ：program repair(abstract)

AI总结 提出HDSL语言，以树结构表示室内场景，结合LLM智能体生成、多模态检索和力导向布局优化，实现结构化场景生成与局部编辑，显著提升对象覆盖率和编辑效率。

Visual-to-Code Authoring, Tensor-Network Debugging, and Quantum-Circuit Inspection Tools in Python

Python中的可视化到代码创作、张量网络调试和量子电路检查工具

Alejandro Mata Ali

专题命中 程序修复 ：code generation(abstract)

AI总结 提出三个互补包：张量网络可视化、张量网络编辑器和量子电路绘制器，分别用于视觉调试、可视化到代码创作和电路检查，以增强张量网络和量子电路的结构可见性和可编辑性。

Comments 15 pages, 6 figures, 6 tables

Semi-LAR: Semi-supervised Contrastive Learning with Linear Attention for Removal of Nighttime Flares

Semi-LAR: 基于线性注意力的半监督对比学习用于夜间光斑去除

Xiyu Zhu, Wei Wang, Kui Jiang, Zhengguo Li

机构 * School of Computer Science and Technology, Wuhan University of Science and Technology, Wuhan, China（武汉科技大学计算机科学与技术学院） ； Faculty of Computing, Harbin Institute of Technology, Harbin 150001, China（哈尔滨工业大学计算机学院） ； SRO department, Institute for Infocomm Research, A*STAR, Singapore（新加坡资讯通信研究院SRO部门） 纠错

专题命中 程序修复 ：repository(abstract)

AI总结 本文提出了一种半监督对比学习框架，通过联合处理伪标签可靠性与表征歧视性，有效缓解了夜间光斑去除中的误差累积问题，并通过实验验证了该框架的模型无关性和性能提升。

FireBridge: Cycle-Accurate Hardware + Firmware Co-Verification for Modern Accelerators

FireBridge：面向现代加速器的周期精确硬件+固件联合验证

G Abarajithan, Zhenghua Ma, Francesco Restuccia, Ryan Kastner

专题命中 程序修复 ：repository(abstract)

AI总结 本文提出FireBridge框架，通过将固件与RTL/HLS硬件联合验证，实现加速器系统集成的高效调试，提升调试迭代速度达50倍。

Diversity Over Scale: Whole-Slide Image Variety Enables H&E Foundation Model Training with Fewer Patches

Christoph Bosch, John K. L. Wong, Martin Paulikat, Myroslav Zapukhlyak, Bharti Arora, Manasi Aichmüller-Ratnaparkhe, Jens Baumann, Shivani Karn, Rutuja Kamble, Swapnil Karnik, Bhushan Khedkar, Serey Vathana Chhut, Witali Aswolinskiy, Christian Aichmüller

专题命中 程序修复 ：repository(abstract)

CADReview: Automatically Reviewing CAD Programs with Error Detection and Correction

Jiali Chen, Xusen Hei, HongFei Liu, Yuancheng Wei, Zikun Deng, Jiayuan Xie, Yi Cai, Li Qing

机构 * School of Software Engineering, South China University of Technology（华南理工大学软件学院） ； Key Laboratory of Big Data and Intelligent Robot Ministry of Education（教育部大数据与智能机器人重点实验室） ； The Hong Kong Polytechnic University（香港理工大学） 纠错

专题命中 程序修复 ：program repair(abstract)

Comments ACL 2025 main conference

Novel View Synthesis with Gaussian Splatting: Impact on Photogrammetry Model Accuracy and Resolution

Pranav Chougule

机构 * MS in Robotics \& Autonomous Systems School for Engineering of Matter, Transport \& Energy Arizona State University Tempe, USA 纠错

专题命中 程序修复 ：repository(abstract)

EinHops: Einsum Notation for Expressive Homomorphic Operations on RNS-CKKS Tensors

Karthik Garimella, Austin Ebel, Brandon Reagen

专题命中 程序修复 ：repository(abstract)

Comments 11 pages, 7 figures, 1 table

MoSiC: Optimal-Transport Motion Trajectory for Dense Self-Supervised Learning

Mohammadreza Salehi, Shashanka Venkataramanan, Ioana Simion, Efstratios Gavves, Cees G. M. Snoek, Yuki M Asano

机构 * VIS Lab, UvA（乌得勒支大学视觉实验室） ； Fundamental AI Lab, UTN（UTN基础人工智能实验室） 纠错

专题命中 程序修复 ：repository(abstract)

Comments Accepted to ICCV2025

M$^2$-MFP: A Multi-Scale and Multi-Level Memory Failure Prediction Framework for Reliable Cloud Infrastructure

Hongyi Xie, Min Zhou, Qiao Yu, Jialiang Yu, Zhenli Sheng, Hong Xie, Defu Lian

专题命中 程序修复 ：repository(abstract)

SPIDER: A Comprehensive Multi-Organ Supervised Pathology Dataset and Baseline Models

Dmitry Nechaev, Alexey Pchelnikov, Ekaterina Ivanova

专题命中 程序修复 ：repository(abstract)

Subjective Quality Database and Objective Study of Compressed Point Clouds With 6DoF Head-Mounted Display

Xinju Wu, Yun Zhang, Chunling Fan, Junhui Hou, Sam Kwong

专题命中 程序修复 ：repository(abstract)

Comments This work has been submitted to the IEEE for possible publication

BACKRUNNER: Mitigating Smart Contract Attacks in the Real World

Chaofan Shou, Yuanyu Ke, Yupeng Yang, Qi Su, Or Dadosh, Assaf Eli, David Benchimol, Doudou Lu, Daniel Tong, Dex Chen, Zoey Tan, Jacob Chia, Koushik Sen, Wenke Lee

专题命中 程序修复 ：program repair(abstract)

Deep Patch Visual SLAM

Lahav Lipson, Zachary Teed, Jia Deng

专题命中 程序修复 ：repository(abstract)

Towards Efficient Controller Synthesis Techniques for Logical LTL Games

Stanly Samuel, Deepak D'Souza, Raghavan Komondoor

专题命中 程序修复 ：program repair(abstract)

TPMIL: Trainable Prototype Enhanced Multiple Instance Learning for Whole Slide Image Classification

Litao Yang, Deval Mehta, Sidong Liu, Dwarikanath Mahapatra, Antonio Di Ieva, Zongyuan Ge

专题命中 程序修复 ：repository(abstract)

Comments Accepted for MIDL 2023

FPGA-Patch: Mitigating Remote Side-Channel Attacks on FPGAs using Dynamic Patch Generation

Mahya Morid Ahmadi, Lilas Alrahis, Ozgur Sinanoglu, Muhammad Shafique

专题命中 程序修复 ：program repair(abstract)

Comments 6 pages

Detecting Human-Object Contact in Images

Yixin Chen, Sai Kumar Dwivedi, Michael J. Black, Dimitrios Tzionas

专题命中 程序修复 ：repository(abstract)

Comments Accepted at CVPR 2023