1 citations · 3 across the 22 of their papers we have counts for
9 papers · 1 filter
Lossless Tensor Compression as Program Synthesis
Jieke Shi, Junda He, Wenjia Jiang +11
Model checkpoints are growing in both number and size, which makes archival, transfer, and deployment increasingly costly. General-purpose compressors can reduce storage requiremen…
Many a Little Makes a Mickle: A Code-Centric Empirical Study of Data Minimization Principle in Android App Development
Dianshu Liao, Shidong Pan, Zhenchang Xing +1
Modern mobile applications consume large amounts of data to function, raising significant privacy concerns and regulatory challenges. While prior work has primarily focused on dete…
ESG Reporting Lifecycle Management with Large Language Models and AI Agents
Thong Hoang, Mykhailo Klymenko, Xiwei Xu +6
Environmental, Social, and Governance (ESG) standards have been increasingly adopted by organizations to demonstrate accountability towards ethical, social, and sustainability goal…
LLMAID: Identifying AI Capabilities in Android Apps with LLMs
Pei Liu, Terry Zhuo, Jiawei Deng +7
Recent advancements in artificial intelligence (AI) and its widespread integration into mobile software applications have received significant attention, highlighting the growing p…
Domain-constrained Synthesis of Inconsistent Key Aspects in Textual Vulnerability Descriptions
Linyi Han, Shidong Pan, Zhenchang Xing +5
Textual Vulnerability Descriptions (TVDs) are crucial for security analysts to understand and address software vulnerabilities. However, the key aspect inconsistencies in TVDs from…
When AI Takes the Wheel: Security Analysis of Framework-Constrained Program Generation
Yue Liu, Zhenchang Xing, Shidong Pan +1
In recent years, the AI wave has grown rapidly in software development. Even novice developers can now design and generate complex framework-constrained software systems based on t…
A Big Step Forward? A User-Centric Examination of iOS App Privacy Report and Enhancements
Liu Wang, Dong Wang, Shidong Pan +3
The prevalent engagement with mobile apps underscores the importance of understanding their data practices. Transparency plays a crucial role in this context, ensuring users to be…
Navigating the Labyrinth: Path-Sensitive Unit Test Generation with Large Language Models
Dianshu Liao, Xin Yin, Shidong Pan +3
Unit testing is essential for software quality assurance, yet writing and maintaining tests remains time-consuming and error-prone. To address this challenge, researchers have prop…
Deployability-Centric Infrastructure-as-Code Generation: Fail, Learn, Refine, and Succeed through LLM-Empowered DevOps Simulation
Tianyi Zhang, Shidong Pan, Zejun Zhang +2
Infrastructure-as-Code (IaC) generation holds significant promise for automating cloud infrastructure provisioning. Recent advances in Large Language Models (LLMs) present a promis…