Xiaokang Qiu
发表
Di Wu,
Yong Pan,
Jingjun Pan,
2016
.
Min Zhang,
Xiaokang Qiu,
Duo Yi,
2017,
Commercial + Scientific Sensing and Imaging.
Xiaokang Qiu,
Gennaro Parlato,
P. Madhusudan,
2011,
POPL '11.
Xiaokang Qiu,
Yanjun Wang,
Xiaokang Qiu,
2019,
VMCAI.
Yanjun Wang,
Xiaokang Qiu,
Kangjing Huang,
2020
.
Xiaokang Qiu,
Dalin Zhang,
2018,
2018 7th International Conference on Computers Communications and Control (ICCCC).
Yanjun Wang,
Xiaokang Qiu,
Kangjing Huang,
2020,
PLDI.
Guoliang Zheng,
Jianhua Zhao,
Bin Lei,
2006,
Ada-Europe.
Bin Lei,
Xuandong Li,
Xiaokang Qiu,
2008,
SAC '08.
Xiaokang Qiu,
Pranav Garg,
P. Madhusudan,
2013,
PLDI.
Grand Challenges of Resilience: Autonomous System Resilience through Design and Runtime Measures
pdf
Shaoshuai Mou,
Saurabh Bagchi,
Suman Jana,
2019,
ArXiv.
Armando Solar-Lezama,
Jeffrey S. Foster,
Xiaokang Qiu,
2019,
Proc. ACM Program. Lang..
Xiaokang Qiu,
Peiyuan Shen,
2018
.
Xiaokang Qiu,
Steven P. Miller,
Lui Sha,
2009,
2009 30th IEEE Real-Time Systems Symposium.
Xiaokang Qiu,
P. Madhusudan,
Xiaokang Qiu,
2011,
SAS.
Xiaokang Qiu,
P. Madhusudan,
Edgar Pek,
2014,
PLDI.
Min Zhang,
Xiaokang Qiu,
Chengjun Hu,
2015,
International Conference on Optical Instruments and Technology.
Min Zhang,
Xiaoping Zheng,
Bin Xie,
2017,
2017 25th Optical Fiber Sensors Conference (OFS).
Min Zhang,
Xiaoping Zheng,
Bin Xie,
2017,
2017 25th Optical Fiber Sensors Conference (OFS).
Armando Solar-Lezama,
Jeffrey S. Foster,
Xiaokang Qiu,
2016,
2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE).
Xiaokang Qiu,
Pranav Garg,
Andrei Ştefănescu,
2013,
PLDI.
Yuan Zuo,
Guannan Liu,
Xiaokang Qiu,
2018,
2018 15th International Conference on Service Systems and Service Management (ICSSSM).
Armando Solar-Lezama,
Jeffrey S. Foster,
Xiaokang Qiu,
2015,
CAV.
Yanjun Wang,
Xiaokang Qiu,
Sanjay G. Rao,
2019,
HotNets.
Armando Solar-Lezama,
Nadia Polikarpova,
Xiaokang Qiu,
2015,
TACAS.
Xiaokang Qiu,
Xiaokang Qiu,
2020,
ArXiv.
Armando Solar-Lezama,
Jeffrey S. Foster,
Xiaokang Qiu,
2017,
Formal Methods Syst. Des..
Mingsong Chen,
Xuandong Li,
Xiaokang Qiu,
2006,
AST '06.
Armando Solar-Lezama,
Xiaokang Qiu,
2017,
Proc. ACM Program. Lang..
Xiaokang Qiu,
Qi Tian,
Yanjun Wang,
2018,
ArXiv.
Xiaokang Qiu,
Xiaokang Qiu,
2013
.
Wei Xu,
Mingsong Chen,
Jianhua Zhao,
2009,
Comput. J..
Xin Chen,
Zhou Zhou,
Xuandong Li,
2011,
IET Softw..
Armando Solar-Lezama,
Jeffrey S. Foster,
Xiaokang Qiu,
2015,
ESEC/SIGSOFT FSE.
Armando Solar-Lezama,
Xiaokang Qiu,
Benjamin S. Lerner,
2015,
ArXiv.
Yanjun Wang,
Xiaokang Qiu,
Dalin Zhang,
2019,
ArXiv.
Xiaokang Qiu,
P. Madhusudan,
Andrei Stefanescu,
2012,
POPL '12.
Xiaokang Qiu,
Zixuan Li,
Sanjay G. Rao,
2021,
ArXiv.
Xiaokang Qiu,
Zixuan Li,
Sanjay G. Rao,
2021
.