Zobrazeno 1 - 10
of 45
pro vyhledávání: '"Sun, Chengnian"'
Memory leak bugs are a major problem in C/C++ programs. They occur when memory objects are not deallocated.Developers need to manually deallocate these objects to prevent memory leaks. As such, several techniques have been proposed to automatically f
Externí odkaz:
http://arxiv.org/abs/2408.04764
Given a list L of elements and a property that L exhibits, ddmin is a well-known test input minimization algorithm designed to automatically eliminate irrelevant elements from L. This algorithm is extensively adopted in test input minimization and so
Externí odkaz:
http://arxiv.org/abs/2408.04735
To reduce the complexity of software, Developers manually simplify program (known as developer-induced program simplification in this paper) to reduce its code size yet preserving its functionality but manual simplification is time-consuming and erro
Externí odkaz:
http://arxiv.org/abs/2401.15234
Program reduction is a prevalent technique to facilitate compilers' debugging by automatically minimizing bug-triggering programs. Existing program reduction techniques are either generic across languages (e.g., Perses and Vulcan) or specifically cus
Externí odkaz:
http://arxiv.org/abs/2312.13064
Autor:
Liu, Puzhuo, Sun, Chengnian, Zheng, Yaowen, Feng, Xuan, Qin, Chuan, Wang, Yuncheng, Li, Zhi, Sun, Limin
This paper proposes LATTE, the first static binary taint analysis that is powered by a large language model (LLM). LATTE is superior to the state of the art (e.g., Emtaint, Arbiter, Karonte) in three aspects. First, LATTE is fully automated while pri
Externí odkaz:
http://arxiv.org/abs/2310.08275
Using computational notebooks (e.g., Jupyter Notebook), data scientists rationalize their exploratory data analysis (EDA) based on their prior experience and external knowledge such as online examples. For novices or data scientists who lack specific
Externí odkaz:
http://arxiv.org/abs/2112.07858
Autor:
Tian, Yongqiang, Zhang, Wuqi, Wen, Ming, Cheung, Shing-Chi, Sun, Chengnian, Ma, Shiqing, Jiang, Yu
Publikováno v:
ACM Transactions on Software Engineering and Methodology, 2023
Model compression can significantly reduce the sizes of deep neural network (DNN) models, and thus facilitates the dissemination of sophisticated, sizable DNN models, especially for their deployment on mobile or embedded devices. However, the predict
Externí odkaz:
http://arxiv.org/abs/2112.02819
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
A program can be viewed as a syntactic structure P (syntactic skeleton) parameterized by a collection of the identifiers V (variable names). This paper introduces the skeletal program enumeration (SPE) problem: Given a fixed syntactic skeleton P and
Externí odkaz:
http://arxiv.org/abs/1610.03148
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.