Towards secure and robust stateful deep learning systems with model-based analysis

by Du, Xiaoning
Published 2020

AI coders are among us : Rethinking programming language grammar towards efficient code generation

by SUN Zhensu, DU Xiaoning, YANG Zhou, LI Li, LO, David
Published 2024

Decision-guided weighted automata extraction from recurrent neural networks

by ZHANG, Xiyue, DU, Xiaoning, XIE, Xiaofei, MA, Lei, LIU, Yang, SUN, Meng
Published 2021

DeepStellar: Model-based quantitative analysis of stateful deep learning systems

by DU, Xiaoning, XIE, Xiaofei, LI, Yi, MA, Lei, LIU, Yang, ZHAO, Jianjun
Published 2019

A quantitative analysis framework for recurrent neural network

by DU, Xiaoning, XIE, Xiaofei, LI, Yi, MA, Lei, LIU, Yang, ZHAO, Jianjun
Published 2019

Marble: Model-based robustness analysis of stateful deep learning systems

by DU, Xiaoning, LI, Yi, XIE, Xiaofei, MA, Lei, LIU, Yang, ZHAO, Jianjun
Published 2020

FDI : Attack neural code generation systems through user feedback channel

by SUN, Zhensu, DU, Xiaoning, LUO, Xiapu, SONG, Fu, LO, David, LI, Li
Published 2024

DistXplore: Distribution-guided testing for evaluating and enhancing deep learning systems

by WANG, Longtian, XIE, Xiaofei, DU, Xiaoning, TIAN, Meng, GUO, Qing, YANG, Zheng, SHEN, Chao
Published 2023

Towards characterizing adversarial defects of deep learning software from the lens of uncertainty

by ZHANG, Xiyue, XIE, Xiaofei, MA, Lei, DU, Xiaoning, HU, Qiang, LIU, Yang, ZHAO, Jianjun, SUN, Meng
Published 2020