The succession of gut microbiota in the concave‐eared torrent frog (Odorrana tormota) throughout developmental history
Shi, Qingkai, Li, Yue, Deng, Shuaitao, Zhang, Huijuan, Jiang, Huiling, Shen, Liang, Pan, Tao, Hong, Pei, Wu, Hailong, Shu, Yilin
Published in Ecology and evolution (01.05.2023)
Published in Ecology and evolution (01.05.2023)
Get full text
Journal Article
Measuring the Diversity of a Test Set With Distance Entropy
Shi, Qingkai, Chen, Zhenyu, Fang, Chunrong, Feng, Yang, Xu, Baowen
Published in IEEE transactions on reliability (01.03.2016)
Published in IEEE transactions on reliability (01.03.2016)
Get full text
Journal Article
Verifying Synchronization for Atomicity Violation Fixing
Qingkai Shi, Huang, Jeff, Zhenyu Chen, Baowen Xu
Published in IEEE transactions on software engineering (01.03.2016)
Published in IEEE transactions on software engineering (01.03.2016)
Get full text
Journal Article
The application of transition metal-modified biochar in sulfate radical based advanced oxidation processes
Shi, Qingkai, Deng, Si, Zheng, Yuling, Du, Yinlin, Li, Ling, Yang, Suzhao, Zhang, Gaoxia, Du, Li, Wang, Guangfu, Cheng, Min, Liu, Yang
Published in Environmental research (01.09.2022)
Published in Environmental research (01.09.2022)
Get full text
Journal Article
Pipelining Bottom-up Data Flow Analysis
Shi, Qingkai, Zhang, Charles
Published in 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE) (01.10.2020)
Published in 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE) (01.10.2020)
Get full text
Conference Proceeding
In-situ generated MOFs with supportive LDH substrates and their derivatives for photo-electrocatalytic energy production and electrochemical devices: Insights into synthesis, function, performance and mechanism
Shi, Qingkai, Cheng, Min, Liu, Yang, Wang, Jun, Zhang, Gaoxia, Li, Ling, Du, Li, Wang, Guangfu, Liu, Hongda
Published in Coordination chemistry reviews (15.01.2024)
Published in Coordination chemistry reviews (15.01.2024)
Get full text
Journal Article
Pangolin: Incremental Hybrid Fuzzing with Polyhedral Path Abstraction
Huang, Heqing, Yao, Peisen, Wu, Rongxin, Shi, Qingkai, Zhang, Charles
Published in 2020 IEEE Symposium on Security and Privacy (SP) (01.05.2020)
Published in 2020 IEEE Symposium on Security and Privacy (SP) (01.05.2020)
Get full text
Conference Proceeding
DFT Predirected Molecular Engineering Design of Donor‐Acceptor Structured g‐C3N4 for Efficient Photocatalytic Tetracycline Abatement
Wang, Guangfu, Dong, Xiaqing, Cheng, Min, Liu, Yang, Wang, Jun, Liu, Hongda, Chen, Yongxi, shi, Qingkai, Ouyang, Zenglin, Liu, Xuanming
Published in Small (Weinheim an der Bergstrasse, Germany) (01.08.2024)
Published in Small (Weinheim an der Bergstrasse, Germany) (01.08.2024)
Get full text
Journal Article
DFT Predirected Molecular Engineering Design of Donor-Acceptor Structured g-C 3 N 4 for Efficient Photocatalytic Tetracycline Abatement
Wang, Guangfu, Dong, Xiaqing, Cheng, Min, Liu, Yang, Wang, Jun, Liu, Hongda, Chen, Yongxi, Shi, Qingkai, Ouyang, Zenglin, Liu, Xuanming
Published in Small (Weinheim an der Bergstrasse, Germany) (01.08.2024)
Published in Small (Weinheim an der Bergstrasse, Germany) (01.08.2024)
Get full text
Journal Article
BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning
Huang, Heqing, Guo, Yiyuan, Shi, Qingkai, Yao, Peisen, Wu, Rongxin, Zhang, Charles
Published in 2022 IEEE Symposium on Security and Privacy (SP) (01.05.2022)
Published in 2022 IEEE Symposium on Security and Privacy (SP) (01.05.2022)
Get full text
Conference Proceeding
Versatile metal-free carbon materials from ZIF-8: Insights into construction strategies, properties, applications and structure-activity relationships
Chen, Ao, Cheng, Min, Huang, Danlian, Zhang, Gaoxia, Wang, Wenjun, Du, Li, Wang, Guangfu, Liu, Hongda, Chen, Yongxi, Xiao, Wenjun, Shi, Qingkai
Published in Renewable & sustainable energy reviews (01.07.2024)
Published in Renewable & sustainable energy reviews (01.07.2024)
Get full text
Journal Article
Efficient peroxymonosulfate activation catalyzed by thiophene S and pyridinic N on ZIF-8-derived S, N co-doped carbon for 4-chlorophenol degradation: Performance and non-radical pathway mechanism
Chen, Ao, Cheng, Min, Wang, Guangfu, Du, Li, Liu, Hongda, Xiao, Wenjun, Shi, Qingkai, Li, Qi, Deng, Si, Liu, Yang, Wang, Jun
Published in Separation and purification technology (19.02.2025)
Published in Separation and purification technology (19.02.2025)
Get full text
Journal Article
D-ARM: Disassembling ARM Binaries by Lightweight Superset Instruction Interpretation and Graph Modeling
Ye, Yapeng, Zhang, Zhuo, Shi, Qingkai, Aafer, Yousra, Zhang, Xiangyu
Published in 2023 IEEE Symposium on Security and Privacy (SP) (01.05.2023)
Published in 2023 IEEE Symposium on Security and Privacy (SP) (01.05.2023)
Get full text
Conference Proceeding
Balance Seed Scheduling via Monte Carlo Planning
Huang, Heqing, Chiu, Hung-Chun, Shi, Qingkai, Yao, Peisen, Zhang, Charles
Published in IEEE transactions on dependable and secure computing (01.05.2024)
Published in IEEE transactions on dependable and secure computing (01.05.2024)
Get full text
Journal Article
Indexing the extended Dyck-CFL reachability for context-sensitive program analysis
Shi, Qingkai, Wang, Yongchao, Yao, Peisen, Zhang, Charles
Published in Proceedings of ACM on programming languages (31.10.2022)
Published in Proceedings of ACM on programming languages (31.10.2022)
Get full text
Journal Article
Complexity-guided container replacement synthesis
Wang, Chengpeng, Yao, Peisen, Tang, Wensheng, Shi, Qingkai, Zhang, Charles
Published in Proceedings of ACM on programming languages (29.04.2022)
Published in Proceedings of ACM on programming languages (29.04.2022)
Get full text
Journal Article
SMOKE: Scalable Path-Sensitive Memory Leak Detection for Millions of Lines of Code
Fan, Gang, Wu, Rongxin, Shi, Qingkai, Xiao, Xiao, Zhou, Jinguo, Zhang, Charles
Published in 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE) (01.05.2019)
Published in 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE) (01.05.2019)
Get full text
Conference Proceeding
Program analysis via efficient symbolic abstraction
Yao, Peisen, Shi, Qingkai, Huang, Heqing, Zhang, Charles
Published in Proceedings of ACM on programming languages (01.10.2021)
Published in Proceedings of ACM on programming languages (01.10.2021)
Get full text
Journal Article
Precise Divide-By-Zero Detection with Affirmative Evidence
Guo, Yiyuan, Zhou, Jinguo, Yao, Peisen, Shi, Qingkai, Zhang, Charles
Published in 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE) (01.05.2022)
Published in 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE) (01.05.2022)
Get full text
Conference Proceeding
Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis
Yao, Peisen, Zhou, Jinguo, Xiao, Xiao, Shi, Qingkai, Wu, Rongxin, Zhang, Charles
Published in Proceedings of ACM on programming languages (20.06.2024)
Published in Proceedings of ACM on programming languages (20.06.2024)
Get full text
Journal Article