Showing 2025 · cs.SEShow all
2 papers · 2 filters
cs.SE2025
Co-Evolution of Types and Dependencies: Towards Repository-Level Type Inference for Python Code
Shuo Sun, Shixin Zhang, Jiwei Yan +2
Python's dynamic typing mechanism, while promoting flexibility, is a significant source of runtime type errors that plague large-scale software, which inspires the automatic type i…
cs.SE2025
HACMony: Automatically Detecting Hopping-related Audio-stream Conflict Issues on HarmonyOS
Jinlong He, Binru Huang, Changwei Xia +3
HarmonyOS is emerging as a popular distributed operating system for diverse mobile devices. One of its standout features is app-hopping, which allows users to seamlessly transition…