papers
Publications (18)
cs.DC2018
Overload Control for Scaling WeChat Microservices
Hao Zhou, Ming Chen, Qian Lin +6
math.OC2016
Applications of gauge duality in robust principal component analysis and semidefinite programming
Shiqian Ma, Junfeng Yang
cs.AI2018
Formal Security Analysis of Neural Networks using Symbolic Intervals
Shiqi Wang, Kexin Pei, Justin Whitehouse +2
cs.CR2019
NEUZZ: Efficient Fuzzing with Neural Program Smoothing
Dongdong She, Kexin Pei, Dave Epstein +3
physics.ins-det2018
I2C Management Based on IPbus
Shiyu Luo, Junfeng Yang, Kezhu Song +4
math.OC2014
Inertial primal-dual algorithms for structured convex optimization
Raymond H. Chan, Shiqian Ma, Junfeng Yang
math.OC2010
A Fast Algorithm for Total Variation Image Reconstruction from Random Projections
Yunhai Xiao, Junfeng Yang
cs.LG2017
DeepXplore: Automated Whitebox Testing of Deep Learning Systems
Kexin Pei, Yinzhi Cao, Junfeng Yang +1
math.OC2014
A general inertial proximal point method for mixed variational inequality problem
Caihua Chen, Shiqian Ma, Junfeng Yang
math.OC2009
Alternating Direction Algorithms for $\ell_1$-Problems in Compressive Sensing
Junfeng Yang, Yin Zhang
cs.LG2018
Efficient Formal Safety Analysis of Neural Networks
Shiqi Wang, Kexin Pei, Justin Whitehouse +2
nucl-ex2017
Challenges in QCD matter physics - The Compressed Baryonic Matter experiment at FAIR
CBM Collaboration, T. Ablyazimov, A. Abuhoza +585
math.OC2019
On the optimal linear convergence factor of the relaxed proximal point algorithm for monotone inclusion problems
Guoyong Gu, Junfeng Yang
math.OC2019
On the Optimal Ergodic Sublinear Convergence Rate of the Relaxed Proximal Point Algorithm for Variational Inequalities
Guoyong Gu, Junfeng Yang
eess.SP2018
The Electronics Design of Error Field Feedback Control System in KTX
Tianbo Xu, Kezhu Song, Junfeng Yang
physics.ins-det2018
A multi-channel DAQ system based on FPGA for long-distance transmission in nuclear physics experiments
Hongwei Yu, Kezhu Song, Junfeng Yang +5
cs.OS2015
EOS: Automatic In-vivo Evolution of Kernel Policies for Better Performance
Yan Cui, Quan Chen, Junfeng Yang
math.OC2019
Optimal Nonergodic Sublinear Convergence Rate of Proximal Point Algorithm for Maximal Monotone Inclusion Problems
Guoyong Gu, Junfeng Yang