113 citations · 1.1k across the 69 of their papers we have counts for
5 papers · 1 filter
On Benchmarking the Capability of Symbolic Execution Tools with Logic Bombs
Hui Xu, Zirui Zhao, Yangfan Zhou +1
Symbolic execution now becomes an indispensable technique for software testing and program analysis. There are several symbolic execution tools available off-the-shelf, and we need…
Semantically Consistent Image Completion with Fine-grained Details
Pengpeng Liu, Xiaojuan Qi, Pinjia He +3
Image completion has achieved significant progress due to advances in generative adversarial networks (GANs). Albeit natural-looking, the synthesized contents still lack details, e…
High-resolution Deep Convolutional Generative Adversarial Networks
J. D. Curtó, I. C. Zarza, Fernando de la Torre +2
Generative Adversarial Networks (GANs) [Goodfellow et al. 2014] convergence in a high-resolution setting with a computational constrain of GPU memory capacity has been beset with d…
On Secure and Usable Program Obfuscation: A Survey
Hui Xu, Yangfan Zhou, Yu Kang +1
Program obfuscation is a widely employed approach for software intellectual property protection. However, general obfuscation methods (e.g., lexical obfuscation, control obfuscatio…
Learning to Rank Using Localized Geometric Mean Metrics
Yuxin Su, Irwin King, Michael Lyu
Many learning-to-rank (LtR) algorithms focus on query-independent model, in which query and document do not lie in the same feature space, and the rankers rely on the feature ensem…