Software Security, Program Analysis, AI System Reliability
"NV-DNN: Towards Fault-Tolerant DNN Systems with N-Version Programming" to appear in the 2nd Workshop on Dependable and Secure Machine Learning (DSN-DSML) 2019.
"Deep Validation: Toward Detecting Real-world Corner Cases for Deep Neural Networks," to appear in the 49th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) 2019.
"Benchmarking the Capability of Symbolic Execution Tools with Logic Bombs," Transactions on Dependable and Secure Computing (TDSC) accepted in 2018.
"Manufacturing Resilient Bi-Opaque Predicates against Symbolic Execution," in the 48th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2018.
"Concolic Execution on Small-Size Binary Codes: Challenges and Empirical Study," in the 47th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2017.
"IntelliAd: Assisting Mobile App Developers in Measuring Ad Costs Automatically [Poster]," in the 39th International Conference on Software Engineering (ICSE-C), 2017.
"DiagDroid: Android Performance Diagnosis via Anatomizing Asynchronous Executions," in Proceedings of the 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE) 2016.
"N-Version Obfuscation," in Proceedings of the 2nd Cyber-Phsical System Security Workshop (in conjunction with AsiaCCS), 2016.
"Assessing the Security Properties of Software Obfuscation," in IEEE Security & Privacy Magazine, Oct, 2016.
"SpyAware: Investigating the Privacy Leakage Signatures in App Execution Traces," in Precedings of the 26th IEEE International Symposium on Software Reliability Engineering (ISSRE 2015) 2015.
"AR-Tracker: Track the Dynamics of Mobile Apps via User Review Mining," in proceedings of the 2015 International Workshop on Internet-based Virtual Computing Environment (IVCE 2015) 2015.
"Towards Continuous and Passive Authentication via Touch Biometrics: An Experimental Study on Smartphones," in Proceedings of the USENIX Symposium on Usable Privacy and Security (SOUPS 2014) 2014.
Reviewer of ACM Computing Surveys (CSUR), Elsevier Information and Software Technology (IST)
External Reviewer of ISSRE'15, PRDC'15, DSN'16, ICSE'16, ISSRE'16, WSDM'16, ISSRE'17, DSN'18, IJICA'18, NIPS'18, TDSC
Teaching Assistant Experience
ECLT5820 Distributed and Mobile Computing
CSCI3100 Software Engineering
ENGG2440A Discrete Mathematics