Selected Conference Publications

REINAM Synthesizing high-coverage context-free program input grammars.
In FSE, 2019

SemRegex Synthesizing regex from natural language descriptions.
In EMNLP, 2018

PermuteInvariance Inferring private properties of neural networks.
In CCS, 2018

WCTester Android test generation for industrial mobile applications.
In ASE, 2018

EnMobile Detection of command & control behaviors in mobile applications.
In ICSE, 2018

MRV Generating adversarial samples for mobile-malware detectors.
In ACSAC, 2017

Pluto User data exposure assessment on Android.
In NDSS, 2016

AppContext Analyzing contextual use of permissions in Android applications.
In ICSE, 2015

WHYPER Automated risk assessment for mobile applications.
In USENIX Security, 2013

ORBIT Automated testing for mobile applications.
In FASE, 2013

Recent Publications

More Publications

. REINAM: Reinforcement Learning for Input-Grammar Inference. In FSE, 2019.


. Detecting Failures of Neural Machine Translation in the Absence of Reference Translations. In DSN, 2019.


. Testing Untestable Neural Machine Translation: An Industrial Case. In ICSE, 2019.


. SemRegex: A Semantics-Based Approach for Generating Regular Expressions from Natural Language Specifications. In EMNLP, 2018.


. Property Inference Attacks on Deep Neural Networks using Permutation Invariant Representations. In CCS, 2018.


Recent & Upcoming Talks

More Talks

Adversarial-Resilience Assurance for Mobile Security Systems.
Dec 20, 2018
Adversarial Learning and Mobile Security System.
Dec 17, 2018



  • (972) 883-4173
  • ECSS 2.701, 800 W. Campbell Rd., Richardson, TX 75080, USA.
    (My office ECSS 2.701 is inside student service office. Please ask student service front desk for directions).
  • email for appointment