From Aleatoric to Epistemic: Exploring Uncertainty Quantification Techniques in Artificial Intelligence. - Wang, Tianyang; Wang, Yunze; Zhou, Jun; Peng, Benji; Song, Xinyuan; Zhang, Charles; Sun, Xintian; Niu, Qian; Liu, Junyu; Chen, Silin; Chen, Keyu; Li, Ming; et al. (CoRR, 2025)

Demystifying OS Kernel Fuzzing with a Novel Taxonomy. - Xu, Jiacheng; Sun, He; Jiang, Shihao; Wang, Qinying; Zhang, Mingming; Li, Xiang; Shen, Kaiwen; Cheng, Peng; Chen, Jiming; Zhang, Charles; Ji, Shouling (CoRR, 2025)

From In Silico to In Vitro: A Comprehensive Guide to Validating Bioinformatics Findings. - Wang, Tianyang; Chen, Silin; Wang, Yunze; Zhang, Yichao; Song, Xinyuan; Bi, Ziqian; Liu, Ming; Niu, Qian; Liu, Junyu; Feng, Pohsun; Sun, Xintian; Peng, Benji; et al. (CoRR, 2025)

Diverse Perspectives, Divergent Models: Cross-Cultural Evaluation of Depression Detection on Twitter. - Abdelkadir, Nuredin Ali; Zhang, Charles; Mayo, Ned; Chancellor, Stevie (2024)

OptFuzz: Optimization Path Guided Fuzzing for JavaScript JIT Compilers. - Wang, Jiming; Kang, Yan; Wu, Chenggang; Hu, Yuhao; Sun, Yue; Ren, Jikai; Lai, Yuanming; Xie, Mengyao; Zhang, Charles; Li, Tao; Wang, Zhe (2024)

Equational Bit-Vector Solving via Strong Gröbner Bases. - Song, Jiaxin; Fu, Hongfei; Zhang, Charles (CoRR, 2024)

Unveiling the Power of Intermediate Representations for Static Analysis: A Survey. - Zhang, Bowen; Chen, Wei; Chiu, Hung-Chun; Zhang, Charles (CoRR, 2024)

From Word Vectors to Multimodal Embeddings: Techniques, Applications, and Future Directions For Large Language Models. - Zhang, Charles; Peng, Benji; Sun, Xintian; Niu, Qian; Liu, Junyu; Chen, Keyu; Li, Ming; Feng, Pohsun; Bi, Ziqian; Liu, Ming; Zhang, Yichao; Fei, Cheng; et al. (CoRR, 2024)

From Pixels to Prose: Advancing Multi-Modal Language Models for Remote Sensing. - Sun, Xintian; Peng, Benji; Zhang, Charles; Jin, Fei; Niu, Qian; Liu, Junyu; Chen, Keyu; Li, Ming; Feng, Pohsun; Bi, Ziqian; Liu, Ming; Zhang, Yichao (CoRR, 2024)

From Bench to Bedside: A Review of Clinical Trials in Drug Discovery and Development. - Wang, Tianyang; Liu, Ming; Peng, Benji; Song, Xinyuan; Zhang, Charles; Sun, Xintian; Niu, Qian; Liu, Junyu; Chen, Silin; Chen, Keyu; Li, Ming; Feng, Pohsun; et al. (CoRR, 2024)

Design of an Efficient Lisp Bytecode Machine and Compiler. - Wood, Alex Wood; Zhang, Charles; Schafmeister, Christian (2023)

Evaluation of Smart Home Systems and Novel UV-Oriented Solution for Integration, Resilience, Inclusiveness & Sustainability. - Geng, Longling; Xiong, Xinzhang; Liu, Zhenyao; Wei, Yifan; Lan, Ziliang; Hu, Mingyuan; Guo, Mengxi; Xu, Rebecca; Yuan, Hao; Yang, Zhiyuan; Li, Hanxia; Zhou, Yifan; et al. (2022)

Not Black-Box Anymore! Enabling Analytics-Aware Optimizations in Teradata Vantage. - Eltabakh, Mohamed Y.; Subramanian, Anantha; Al-Omari, Awny; Al-Kateb, Mohammed; Nair, Sanjay; Hasan, Mahbub; Cabrera, Wellington; Zhang, Charles; Kishore, Amit; Prasad, Snigdha (Proc. VLDB Endow., 2021)

Connecting and Serving the Software Engineering Community. - Dwyer, Matthew B.; Bodden, Eric; Fitzgerald, Brian; Kim, Miryung; Kim, Sunghun; Ko, Amy J.; Mendes, Emilia; Mirandola, Raffaela; Moreira, Ana; Shull, Forrest; Siegel, Stephen F.; Xie, Tao; et al. (IEEE Trans. Software Eng., 2016)

Mars: A 64-core ARMv8 processor. - Zhang, Charles (2015)

On atomicity enforcement in concurrent software via Discrete Event Systems theory. - Wang, Yin; Liu, Peng; Kelly, Terence; Lafortune, Stéphane; Reveliotis, Spyros A.; Zhang, Charles (2012)

QSynth: A Tool for QoS-aware Automatic Service Composition. - Jiang, Wei; Zhang, Charles; Huang, Zhenqiu; Chen, Mingwen; Hu, Songlin; Liu, Zhiyong (2010)