代码大模型 / AI 编程

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