Talks

Invited Talks

• HyperService: Interoperability and Programmability across Heterogeneous Blockchains, Departmental Seminar, Department of Computer and Data Sciences, Case Western Reserve University, USA, 2020
• HyperService: Interoperability and Programmability across Heterogeneous Blockchains, Blockland Solutions, USA, 2019
• HyperService: Interoperability and Programmability across Heterogeneous Blockchains, IEEE Cleveland Section, USA, 2019
• Improving Mobile App Security via Synergy of Program Analysis and Machine Learning, Department of Civil Engineering, Case Western Reserve University, USA, 2019
• Enabling Effective and Efficient APT Defenses via Querying System Monitoring Data. Webinar. RSA Labs, USA, July 2018
• Improving Mobile App Security via Analyzing Structured and Unstructured Artifacts. Southern University of Science and Technology, Shenzhen, China, May 2018
• Improving Mobile App Security via Analyzing Structured and Unstructured Artifacts. Peking University, Beijing, China, May 2017
• Improving Mobile App Security via Analyzing Structured and Unstructured Artifacts. Institute of Information Engineering, Chinese Academy of Sciences, Beijing, China, May 2017
• Boosting System Security via Big Data Analytics. IEEE Bigdata Congress, Shenzhen, China, May 2017
• Cooperative Testing and Analysis via Informed Decision Making. Microsoft Research, USA, 2014
• WHYPER: Towards Automating Risk Assessment of Mobile Applications, Google Research, Mountain View, USA, 2014
• Cooperative Testing and Analysis via Informed Decision Making. Midwest Verification Day (MVD), University of Illinois at Chicago, USA, 2013
• WHYPER: Towards Automating Risk Assessment of Mobile Applications. Microsoft Research Redmond, USA, 2013
• Construction and Validation of Access Control Policies via Natural Language Processing and Policy Verification. Association of Graduates, United States Air Force Academy, Colorado, USA, 2011
• Precise Identification of Problems for Structural Test Generation. Microsoft Research Redmond, USA, 2011
• Automatic Construction and Validation of Access Control Policies from Natural-Language Documents. National Institute of Standards and Technology (NIST), USA, 2011

Conference Talks

• Tutorial: System Monitoring for Security, Symposium and Bootcamp on the Science of Security (HotSoS), April 2017
• ARC++: Effective Typestate and Lifetime Dependency Analysis, International Symposium on Software Testing and Analysis (ISSTA), July 2014.
• Context-Sensitive Delta Inference for Identifying Workload-Dependent Performance Bottlenecks, International Workshop on Software and System Performance Testing, Debugging, and Analytics (PERTEA), July 2014.
• Characteristic Studies of Loop Problems for Structural Test Generation via Symbolic Execution, IEEE/ACM International Conference on Automated Software Engineering (ASE), Nov 2013.
• Automated Extraction of Security Policies from Natural-Language Software Documents, ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), Nov 2012.
• Precise Identification of Problems for Structural Test Generation, International Conference on Software Engineering (ICSE), May 2011.
• Covana: Precise Identification of Problems in Pex, International Conference on Software Engineering (ICSE), May 2011.