Talks

 
[Invited Talks]
  • 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.