English
Related papers

Related papers: Context-Sensitive Pointer Analysis for ArkTS

200 papers

ArkTS is a new programming language dedicated to developing apps for the emerging OpenHarmony mobile operating system. Like other programming languages constantly suffering from performance-related code smells or vulnerabilities, the ArkTS…

Software Engineering · Computer Science 2025-01-14 Haonan Chen , Daihang Chen , Yizhuo Yang , Lingyun Xu , Liang Gao , Mingyi Zhou , Chunming Hu , Li Li

ArkTS is a core programming language in the OpenHarmony ecosystem, yet research on ArkTS code intelligence is hindered by the lack of public datasets and evaluation benchmarks. This paper presents a large-scale ArkTS dataset constructed…

Software Engineering · Computer Science 2026-02-10 Yulong He , Artem Ermakov , Sergey Kovalchuk , Artem Aliev , Dmitry Shalymov

Large language models have transformed code generation, enabling unprecedented automation in software development. As mobile ecosystems evolve, HarmonyOS has emerged as a critical platform requiring robust development tools. Software…

Software Engineering · Computer Science 2026-02-10 Bang Xie , Senjian Zhang , Zhiyuan Peng , Wei Chen , Chenhao Ying , Yuan Luo

Robotics has made remarkable hardware strides-from DARPA's Urban and Robotics Challenges to the first humanoid-robot kickboxing tournament-yet commercial autonomy still lags behind progress in machine learning. A major bottleneck is…

Background. Developers use Automated Static Analysis Tools (ASATs) to control for potential quality issues in source code, including defects and technical debt. Tool vendors have devised quite a number of tools, which makes it harder for…

Software Engineering · Computer Science 2021-01-25 Valentina Lenarduzzi , Savanna Lujan , Nyyti Saarimaki , Fabio Palomba

This system paper presents the Topology ToolKit (TTK), a software platform designed for topological data analysis in scientific visualization. TTK provides a unified, generic, efficient, and robust implementation of key algorithms for the…

Graphics · Computer Science 2019-07-18 Julien Tierny , Guillaume Favelier , Joshua A. Levine , Charles Gueunet , Michael Michaux

Mid-air ultrasound haptic technology can enhance user interaction and immersion in extended reality (XR) applications through contactless touch feedback. Yet, existing design tools for mid-air haptics primarily support creating tactile…

Human-Computer Interaction · Computer Science 2024-05-01 Kevin John , Yinan Li , Hasti Seifi

In the field of affective computing, where research continually advances at a rapid pace, the demand for user-friendly tools has become increasingly apparent. In this paper, we present the AffectToolbox, a novel software system that aims to…

Human-Computer Interaction · Computer Science 2024-02-26 Silvan Mertes , Dominik Schiller , Michael Dietz , Elisabeth André , Florian Lingenfelser

Intercepting system calls is crucial for tools that aim to modify or monitor application behavior. However, existing system call interception tools on the ARM platform still suffer from limitations in terms of performance and completeness.…

Hardware Architecture · Computer Science 2025-06-24 Yang Shen , Min Xie , Wenzhe Zhang , Tao Wu

Previous efforts on reconfigurable analog circuits mostly focused on specialized analog circuits, produced through careful co-design, or on highly reconfigurable, but relatively resource inefficient, accelerators that implement analog…

Programming Languages · Computer Science 2023-10-11 Yu-Neng Wang , Glenn Cowan , Ulrich Rührmair , Sara Achour

The increase in the dimensionality of neural embedding models has enhanced the accuracy of semantic search capabilities but also amplified the computational demands for Approximate Nearest Neighbor Searches (ANNS). This complexity poses…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-05-01 Jingjia Luo , Mingxing Zhang , Kang Chen , Xia Liao , Yingdi Shan , Jinlei Jiang , Yongwei Wu

Modeling latent clinical constructs from unconstrained clinical interactions is a unique challenge in affective computing. We present ADAPTS (Agentic Decomposition for Automated Protocol-agnostic Tracking of Symptoms), a framework for…

Artificial Intelligence · Computer Science 2026-05-07 Alexandria K. Vail , Marcelo Cicconet , Katie Aafjes-van Doorn , Ryan Maroney , Marc Aafjes

Current benchmarks for AI clinician systems, often based on multiple-choice exams or manual rubrics, fail to capture the depth, robustness, and safety required for real-world clinical practice. To address this, we introduce the GAPS…

Advances in speech representation and large language models have enhanced zero-shot text-to-speech (TTS) performance. However, existing zero-shot TTS models face challenges in capturing the complex correlations between acoustic and semantic…

Audio and Speech Processing · Electrical Eng. & Systems 2025-08-29 Jingyuan Xing , Zhipeng Li , Jialong Mai , Xiaofen Xing , Xiangmin Xu

Recent advancements in Neural Audio Synthesis (NAS) have outpaced the development of standardized evaluation methodologies and tools. To bridge this gap, we introduce AquaTk, an open-source Python library specifically designed to simplify…

Sound · Computer Science 2023-11-20 Ashvala Vinay , Alexander Lerch

Automated Code Revision (ACR) tools aim to reduce manual effort by automatically generating code revisions based on reviewer feedback. While ACR tools have shown promising performance on historical data, their real-world utility depends on…

Software Engineering · Computer Science 2026-02-17 Shirin Pirouzkhah , Souhaila Serbout , Alberto Bacchelli

In recent years, the rapid increase in academic publications across various fields has posed severe challenges for academic paper analysis: scientists struggle to timely and comprehensively track the latest research findings and…

Computation and Language · Computer Science 2025-11-06 Ziye Xia , Sergei S. Ospichev

Particle tracking is among the most sophisticated and complex part of the full event reconstruction chain. A number of reconstruction algorithms work in a sequence to build these trajectories from detector hits. These algorithms use many…

High Energy Physics - Experiment · Physics 2023-12-11 Rocky Bala Garg , Corentin Allaire , Andreas Salzburger , Hadrien Grasland , Lauren Tompkins , Elyssa Hofgard

Attention based neural TTS is elegant speech synthesis pipeline and has shown a powerful ability to generate natural speech. However, it is still not robust enough to meet the stability requirements for industrial products. Besides, it…

Audio and Speech Processing · Electrical Eng. & Systems 2020-11-03 Qiao Tian , Zewang Zhang , Chao Liu , Heng Lu , Linghui Chen , Bin Wei , Pujiang He , Shan Liu

In modern software development, Python third-party libraries play a critical role, especially in fields like deep learning and scientific computing. However, API parameters in these libraries often change during evolution, leading to…

Software Engineering · Computer Science 2025-12-24 Shuai Zhang , Guanping Xiao , Jun Wang , Huashan Lei , Gangqiang He , Yepang Liu , Zheng Zheng
‹ Prev 1 2 3 10 Next ›