Mobile agents are increasingly capable of autonomously interacting with mobile applications and performing consequential actions on behalf of users. Effective human oversight of such agents relies on a basic premise: users and agents observe consistent information from the same interface. We show that this premise can...
Heng Li, Fu-Lin Zhao, Zheng-Cong Geng et al.· 0 citations
Precise analysis of multi-threaded programs requires combining flow-sensitive pointer analysis (FSPTA) with interleaving and lock analysis (ILA) to reason about cross-thread value flows under feasible concurrent executions. ILA computes may-happen-in-parallel (MHP) relations and lock-release spans to determine when sha...
Jia-Wei Yang, Xiao Cheng, Jia-Wei Wang et al.· 0 citations
Cross-chain bridges enable interoperability, but they also break the transaction trails needed to trace illicit funds. Third-party investigators typically cannot access the source-to-destination mappings maintained by bridge backends, and our survey of 131 bridges finds that only 16.79% provide complete public tracking...
Dan-yan Lin, Huan Xiao, Zi-Wei Li et al.· 0 citations
Cross-platform frameworks and cross-language programming techniques have become the foundation for building modern mobile, desktop, IoT, and cloud applications, while large language models (LLMs) are increasingly used to generate and translate their code. These technologies promise “write once, run anywhere” developmen...
M. Zhou, Yu-Tong Zhang, Jia-Tong Han et al.· ACM Transactions on Software...· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
