English
Related papers

Related papers: Fine-grained Patches for Java Software Upgrades

200 papers

Computing differences between tree-structured data is a critical but challenging problem in software analysis. In this paper, we propose a novel tree diffing approach called SatDiff, which reformulates the structural diffing problem into a…

Programming Languages · Computer Science 2024-04-09 Chuqin Geng , Haolin Ye , Yihan Zhang , Brigitte Pientka , Xujie Si

Binary code similarity detection is a fundamental technique for many security applications such as vulnerability search, patch analysis, and malware detection. There is an increasing need to detect similar code for vulnerability search…

Cryptography and Security · Computer Science 2021-08-16 Shouguo Yang , Long Cheng , Yicheng Zeng , Zhe Lang , Hongsong Zhu , Zhiqiang Shi

Non-exemplar class incremental learning aims to learn both the new and old tasks without accessing any training data from the past. This strict restriction enlarges the difficulty of alleviating catastrophic forgetting since all techniques…

Computer Vision and Pattern Recognition · Computer Science 2023-12-21 Jiang-Tian Zhai , Xialei Liu , Lu Yu , Ming-Ming Cheng

In process mining, process models are extracted from event logs using process discovery algorithms and are commonly assessed using multiple quality dimensions. While the metrics that measure the relationship of an extracted process model to…

Artificial Intelligence · Computer Science 2020-11-04 Julian Theis , Houshang Darabi

There is a vast gap in the quality of IDE tooling between static languages like Java and dynamic languages like Python or JavaScript. Modern frameworks and libraries in these languages heavily use their dynamic capabilities to achieve the…

Programming Languages · Computer Science 2024-02-01 Franciszek Piszcz

We launch Parf - a toolkit for adaptively tuning abstraction strategies of static program analyzers in a fully automated manner. Parf models various types of external parameters (encoding abstraction strategies) as random variables subject…

Software Engineering · Computer Science 2025-10-17 Zhongyi Wang , Mingshuai Chen , Tengjie Lin , Linyu Yang , Junhao Zhuo , Qiuye Wang , Shengchao Qin , Xiao Yi , Jianwei Yin

Although point-based networks are demonstrated to be accurate for 3D point cloud modeling, they are still falling behind their voxel-based competitors in 3D detection. We observe that the prevailing set abstraction design for down-sampling…

Computer Vision and Pattern Recognition · Computer Science 2022-01-07 Chen Chen , Zhe Chen , Jing Zhang , Dacheng Tao

Whole-slide image (WSI) preprocessing, comprising tissue detection followed by patch extraction, is foundational to AI-driven computational pathology but remains a major bottleneck for scaling to large and heterogeneous cohorts. We present…

Many example-guided program synthesis techniques use abstractions to prune the search space. While abstraction-based synthesis has proven to be very powerful, a domain expert needs to provide a suitable abstract domain, together with the…

Programming Languages · Computer Science 2018-04-13 Xinyu Wang , Greg Anderson , Isil Dillig , K. L. McMillan

Acoustic scene classification (ASC) is highly important in the real world. Recently, deep learning-based methods have been widely employed for acoustic scene classification. However, these methods are currently not lightweight enough as…

Sound · Computer Science 2024-05-07 ShuQi Ye , Yuan Tian

Handling distribution shifts from training data, known as out-of-distribution (OOD) generalization, poses a significant challenge in the field of machine learning. While a pre-trained vision-language model like CLIP has demonstrated…

Computer Vision and Pattern Recognition · Computer Science 2024-07-04 Bac Nguyen , Stefan Uhlich , Fabien Cardinaux , Lukas Mauch , Marzieh Edraki , Aaron Courville

Semi-supervised methods of anomaly detection have seen substantial advancement in recent years. Of particular interest are applications of such methods to diverse, real-world anomaly detection problems where anomalous variations can vary…

Computer Vision and Pattern Recognition · Computer Science 2021-04-29 Jack W. Barker , Toby P. Breckon

In this paper we propose an adaptively extrapolated proximal gradient method, which is based on the accelerated proximal gradient method (also known as FISTA), however we locally optimize the extrapolation parameter by carrying out an exact…

Optimization and Control · Mathematics 2019-07-02 Peter Ochs , Thomas Pock

In the context of test case based automatic program repair (APR), patches that pass all the test cases but fail to fix the bug are called overfitted patches. Currently, patches generated by APR tools get inspected manually by the users to…

Software Engineering · Computer Science 2020-06-11 Ali Ghanbari

Segmentation of plant point clouds to obtain high-precise morphological traits is essential for plant phenotyping. Although the fast development of deep learning has boosted much research on segmentation of plant point clouds, previous…

Computer Vision and Pattern Recognition · Computer Science 2024-01-23 Ruiming Du , Zhihong Ma , Pengyao Xie , Yong He , Haiyan Cen

High-quality point clouds have practical significance for point-based rendering, semantic understanding, and surface reconstruction. Upsampling sparse, noisy and nonuniform point clouds for a denser and more regular approximation of target…

Computer Vision and Pattern Recognition · Computer Science 2022-04-25 Luqing Luo , Lulu Tang , Wanyi Zhou , Shizheng Wang , Zhi-Xin Yang

Shape optimization is of great significance in structural engineering, as an efficient geometry leads to better performance of structures. However, the application of gradient-based shape optimization for structural and architectural design…

Mathematical Software · Computer Science 2023-06-30 Gaoyuan Wu

Many existing systems track aliasing and uniqueness, each with their own trade-off between expressiveness and developer effort. We propose Latte, a new approach that aims to minimize both the amount of annotations and the complexity of…

Programming Languages · Computer Science 2023-09-12 Conrad Zimmerman , Catarina Gamboa , Alcides Fonseca , Jonathan Aldrich

Large-scale code reuse significantly reduces both development costs and time. However, the massive share of third-party code in software projects poses new challenges, especially in terms of maintenance and security. In this paper, we…

Software Engineering · Computer Science 2023-10-16 César Soto-Valero , Deepika Tiwari , Tim Toady , Benoit Baudry

Fine-grained classification is a challenging problem, due to subtle differences among highly-confused categories. Most approaches address this difficulty by learning discriminative representation of individual input image. On the other…

Computer Vision and Pattern Recognition · Computer Science 2020-02-25 Peiqin Zhuang , Yali Wang , Yu Qiao