代码大模型 / AI 编程

Model Repair via Symmetry

Paul Attie, William Cocke

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

Comments Full version including proofs

Automated Mammogram Analysis with a Deep Learning Pipeline

Azam Hamidinekoo, Erika Denton, Reyer Zwiggelaar

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

Comments MIDL 2019 [arXiv:1907.08612]

Hey Google, What Exactly Do Your Security Patches Tell Us? A Large-Scale Empirical Study on Android Patched Vulnerabilities

Sadegh Farhang, Mehmet Bahadir Kirdan, Aron Laszka, Jens Grossklags

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

Comments The 2019 Workshop on the Economics of Information Security (WEIS 2019)

Improved Set-based Symbolic Algorithms for Parity Games

Krishnendu Chatterjee, Wolfgang Dvořák, Monika Henzinger, Veronika Loitzenbauer

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

Comments An extended abstract has been accepted at CSL 2017

Loginson: a transform and load system for very large scale log analysis in large IT infrastructures

Carlos Vega, Paula Roquero, Rafael Leira, Ivan Gonzalez, Javier Aracil

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

Comments 23 pages, Figure 12

Journal ref The Journal of Supercomputing; Volume 73-2017; pp 1-22