Shuying Liang

50 South Central Campus Drive
Room 3190
Salt Lake City, Utah 84112

I am a fourth year PhD student at University of Utah. My advisor is Matthew Might.
My research interests are static analysis, mobile security, programming languages, compilers.

I am on the job market and looking out for industrial engineering/ressearch openings.

In Submission

Pruning, Pushdown Exception-Flow Analysis
Shuying Liang, Matthew Might, Weibin Sun, Andy Keep, David Van Horn,
The ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'14). In submission.


Entangled abstract domains for higher-order programs
Shuying Liang, Matthew Might,
Workshop on Scheme and Functional Programming (Scheme'13), Alexandria, Virginia (Washington D.C.), 2013. PDF

Sound and Precise Malware Analysis for Android via Pushdown Reachability and Entry-Point Saturation
Shuying Liang, Andy Keep, Matthew Might, David Van Horn,
3rd Annual ACM CCS workshop on Security and Privacy in SmartPhones and Mobile Devices (SPSM'13), Berlin, Germany, 2013. (acceptance rate: 24%). PDF

AnaDroid: Malware Analysis of Android with User-supplied Predicates
Shuying Liang, Matthew Might, David Van Horn,
4th Workshop on Tools for Automatic Program Analysis (TAPAS'13), Seatttle, WA, USA, 2013. PDF

Hash-Flow Taint Analysis for Higher-order programs
Shuying Liang, Matthew Might,
Programming Languages and Analysis for Security (PLAS'12), Beijing, China, 2012. PDF

In revision

Certifying Non-nullability of Cyclic Data Structures via Abstract Interpreta tion
Shuying Liang, Matthew Might,

Godel Hashes: Fast, Compact, Monotonic, Dynamic, Incremental and Perfect
Shuying Liang, Matthew Might, Weibin Sun,


Precise and Scalable Static Analysis for Scripting Languages
Shuying Liang, Matthew Might , 2012 International Symposium on Code Generation and Optimization. Poster