Tianming Liu

Reproducing UI contexts described in app reviews with large language models

An Empirical Study of Security Risks in the Android Push Notification Ecosystem

Push notification services are widely used in mobile apps to deliver time-sensitive content. In the fragmented Android ecosystem, however, no single push service works reliably across all devices and markets, leading developers to integrate multiple push SDKs from device manufacturers and third-party providers. Despite...

NotDec: WebAssembly Decompilation With Inter-Procedural Type Recovery

NotDec extends the WebAssembly type checking algorithm to lift bytecode into an SSA‑based IR, applies the inter-procedural type recovery algorithm Retypd with pointer and numeric value differentiation methods to recover complex data structures, and leverages Memory SSA alongside semantics‑preserving structured control‑...

An Empirical Analysis of Rust Integration in Android Open Source Project

This work presents the first longitudinal and systematic empirical study of Rust in AOSP, shedding light on its adoption, integration, and governance in a safety-critical mobile platform and provides industry practitioners with an empirical foundation and practical guidance for similar memory-safe migrations in large-s...