English
Related papers

Related papers: Shipwright: A Human-in-the-Loop System for Dockerf…

200 papers

This technical report introduces Docling, an easy to use, self-contained, MIT-licensed open-source package for PDF document conversion. It is powered by state-of-the-art specialized AI models for layout analysis (DocLayNet) and table…

Visualization authoring is an iterative process requiring users to adjust parameters to achieve desired aesthetics. Due to its complexity, users often create defective visualizations and struggle to fix them. Many seek help on forums (e.g.,…

Human-Computer Interaction · Computer Science 2026-02-05 Shuyu Shen , Sirong Lu , Leixian Shen , Yuyu Luo

This paper provides theoretical and empirical comparisons of three recent hierarchical plan repair algorithms: SHOPFixer, IPyHOPPER, and Rewrite. Our theoretical results show that the three algorithms correspond to three different…

Artificial Intelligence · Computer Science 2025-04-24 Paul Zaidins , Robert P. Goldman , Ugur Kuter , Dana Nau , Mark Roberts

The problem of document structure reconstruction refers to converting digital or scanned documents into corresponding semantic structures. Most existing works mainly focus on splitting the boundary of each element in a single document page,…

Computation and Language · Computer Science 2023-03-27 Jiefeng Ma , Jun Du , Pengfei Hu , Zhenrong Zhang , Jianshu Zhang , Huihui Zhu , Cong Liu

Patch backporting, the process of migrating mainline security patches to older branches, is an essential task in maintaining popular open-source projects (e.g., Linux kernel). However, manual backporting can be labor-intensive, while…

Cryptography and Security · Computer Science 2025-10-28 Zhaoyang Li , Zheng Yu , Jingyi Song , Meng Xu , Yuxuan Luo , Dongliang Mu

Debugging represents a time-consuming and labor-intensive task in hardware design, with bug localization constituting a substantial portion of this process. While spectrum-based bug localization techniques have achieved remarkable success…

Hardware Architecture · Computer Science 2026-04-20 Jiaping Tang , Jianan Mu , Tianyun Ma , Zhiteng Chao , Jing Ye , Huawei Li

The amount of information available on the Web grows at an incredible high rate. Systems and procedures devised to extract these data from Web sources already exist, and different approaches and techniques have been investigated during the…

Artificial Intelligence · Computer Science 2012-02-13 Emilio Ferrara , Robert Baumgartner

We propose repair pipelining, a technique that speeds up the repair performance in general erasure-coded storage. By carefully scheduling the repair of failed data in small-size units across storage nodes in a pipelined manner, repair…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-11-23 Xiaolu Li , Zuoru Yang , Jinhong Li , Runhui Li , Patrick P. C. Lee , Qun Huang , Yuchong Hu

The use of visually-rich documents (VRDs) in various fields has created a demand for Document AI models that can read and comprehend documents like humans, which requires the overcoming of technical, linguistic, and cognitive barriers.…

Human-Computer Interaction · Computer Science 2023-10-24 Hao Wang , Qingxuan Wang , Yue Li , Changqing Wang , Chenhui Chu , Rui Wang

In large software ecosystems, semantically related code changes, such as alternative solutions or overlapping modifications are often discovered only days after submission, leading to duplicated effort and delayed reviews. We present…

Software Engineering · Computer Science 2026-04-07 Islem Khemissi , Moataz Chouchen , Dong Wang , Raula Gaikovina Kula

In pull-based development systems, code reviews and pull request comments play important roles in improving code quality. In such systems, reviewers attempt to carefully check a piece of code by different unit tests. Unfortunately,…

Software Engineering · Computer Science 2022-05-20 F. Khoshnoud , A. Rezaei Nasab , Z. Toudeji , A. Sami

This paper introduces Doc2Bot, a novel dataset for building machines that help users seek information via conversations. This is of particular interest for companies and organizations that own a large number of manuals or instruction books.…

Computation and Language · Computer Science 2022-11-22 Haomin Fu , Yeqin Zhang , Haiyang Yu , Jian Sun , Fei Huang , Luo Si , Yongbin Li , Cam-Tu Nguyen

The lack of comprehensive sources of accurate vulnerability data represents a critical obstacle to studying and understanding software vulnerabilities (and their corrections). In this paper, we present an approach that combines heuristics…

Software Engineering · Computer Science 2025-03-18 Daan Hommersom , Antonino Sabetta , Bonaventura Coppola , Dario Di Nucci , Damian A. Tamburri

Translating renderings (e. g. PDFs, scans) into hierarchical document structures is extensively demanded in the daily routines of many real-world applications. However, a holistic, principled approach to inferring the complete hierarchical…

Machine Learning · Computer Science 2021-01-26 Johannes Rausch , Octavio Martinez , Fabian Bissig , Ce Zhang , Stefan Feuerriegel

Pairwise comparison labeling is emerging as it yields higher inter-rater reliability than conventional classification labeling, but exhaustive comparisons require quadratic cost. We propose Dodgersort, which leverages CLIP-based…

Computer Vision and Pattern Recognition · Computer Science 2026-03-24 Yujin Park , Haejun Chung , Ikbeom Jang

Docker technology has been increasingly used among software developers in a multitude of projects. This growing interest is due to the fact that Docker technology supports a convenient process for creating and building containers, promoting…

Software Engineering · Computer Science 2020-08-12 Mubin Ul Haque , Leonardo Horn Iwaya , M. Ali Babar

Linux container technologies such as Docker and Singularity offer encapsulated environments for easy execution of software. In high performance computing, this is especially important for evolving and complex software stacks with…

Operating Systems · Computer Science 2022-12-15 Vanessa Sochat , Matthieu Muffato , Audrey Stott , Marco De La Pierre , Georgia Stuart

Re-finding information is an essential activity, however, it can be difficult when people struggle to express what they are looking for. Through a need-finding survey, we first seek opportunities for improving re-finding experiences, and…

Human-Computer Interaction · Computer Science 2023-05-16 Haekyu Park , Gonzalo Ramos , Jina Suh , Christopher Meek , Rachel Ng , Mary Czerwinski

Documentation debt hinders the effective utilization of open-source software. Although code summarization tools have been helpful for developers, most would prefer a detailed account of each parameter in a function rather than a high-level…

Software Engineering · Computer Science 2023-11-21 Vatsal Venkatkrishna , Durga Shree Nagabushanam , Emmanuel Iko-Ojo Simon , Melina Vidoni

Bug fixing is generally a manually-intensive task. However, recent work has proposed the idea of automated program repair, which aims to repair (at least a subset of) bugs in different ways such as code mutation, etc. Following in the same…

Software Engineering · Computer Science 2019-07-05 Hideaki Hata , Emad Shihab , Graham Neubig