5 papers · ranked by Valyu relevance
Jingyao Wang, Chuyuan Zhang, Ye Ding, Yuxuan Yang
—Artificial intelligence technology has already had a profound impact in various fields such as economy, industry, and education, but still limited. Meta-learning, also known as "learning to learn", provides an opportunity for general artificial intelligence, which can break through the current AI bottleneck. However…
Serena Cofano, Giacomo Benedetti, Matteo Dell’Amico
Our analysis highlights issues related to dependency versions, metadata files, remote dependencies, and optional dependencies. Additionally, we identified a systematic issue with the lack of standards for metadata in the PyPI ecosystem. This includes inconsistencies in the presence of metadata files as well as…
Wei Cheng, Xiangrong Zhu, Wei Hu
Code sharing and reuse is a widespread use practice in software engineering. Although a vast amount of open-source Python code is accessible on many online platforms, programmers often find it difficult to restore a successful runtime environment. Previous studies validated automatic inference of Python dependencies…
Li Li, Jiawei Wang, Haowei Quan
Despite being the most popular programming language, Python has not yet received enough attention from the community. To the best of our knowledge, there is no general static analysis framework proposed to facilitate the implementation of dedicated Python static analyzers. To fill this gap, we design and implement such…
Bruno Farias, Rafael Menezes, Eddie B. de Lima Filho, Youcheng Sun + 1 more
'Lucas C. Cordeiro'] This paper introduces a tool for verifying Python programs, which, using type annotation and front-end processing, can harness the capabilities of a bounded model-checking (BMC) pipeline. It transforms an input program into an abstract syntax tree to infer and add type information. Then, it…