PhD student
Siebel School of Computing and Data Science
University of Illinois Urbana-Champaign
3111 Siebel Center
201 N. Goodwin Ave.
Urbana, IL 61801, USA
phone: +1-217-974-8989
email: wentaoz5@illinois.edu
|
Wentao Zhang PhD student Siebel School of Computing and Data Science University of Illinois Urbana-Champaign 3111 Siebel Center 201 N. Goodwin Ave. Urbana, IL 61801, USA phone: +1-217-974-8989 email: wentaoz5@illinois.edu |
|
Wentao Zhang is currently a PhD student in the Siebel School of Computing and Data Science at the University of Illinois Urbana-Champaign, advised by Tianyin Xu and Darko Marinov. His main research interests are in operating systems and software testing.
| ASE ’25 |
DebCovDiff: Differential Testing of Coverage Measurement Tools on Real-World Projects
[paper]
[code]
[slides] Wentao Zhang, Jinghao Jia, Erkai Yu, Darko Marinov, and Tianyin Xu In Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering (ASE ’25), Seoul, South Korea, November 2025. |
| DASC ’25 |
An Open-Source Structural Coverage Tool for DO-178C Compliance
[paper]
[code] Wentao Zhang, Andrew Oppelt, Ikjun Jeon, Minji Park, Steven H. VanderLeest, and Chuck Wolber In Proceedings of AIAA DATC/IEEE 44th Digital Avionics Systems Conference (DASC ’25), Montreal, Canada, September 2025. “Best of Conference” Award, first place. |
| SOSP ’23 |
Acto: Automatic End-to-End Testing for Operation Correctness of Cloud System Management
[paper]
[code] Jiawei Tyler Gu, Xudong Sun, Wentao Zhang, Yuxuan Jiang, Chen Wang, Mandana Vaziri, Owolabi Legunsen, and Tianyin Xu In Proceedings of the 29th Symposium on Operating Systems Principles (SOSP ’23), Koblenz, Germany, October 2023. |
| LPC ’24 |
Making Linux Fly: Towards a Certified Linux Kernel Linux Plumbers Conference (LPC ’24), Refereed Track, Vienna, Austria, September 2024. [abstract] [recording] [slides] [mailing list] |
| LPC ’24 |
Measuring and Understanding Linux Kernel Tests Linux Plumbers Conference (LPC ’24), Kernel Testing & Dependability MC, Vienna, Austria, September 2024. [abstract] [recording] [slides] |
| LPC ’24 |
Source-Based Code Coverage of Linux Kernel Linux Plumbers Conference (LPC ’24), Safe Systems with Linux MC, Vienna, Austria, September 2024. [abstract] [recording] [slides] |
| ELISA |
Making Linux Fly: Towards a Certified Linux Kernel Enabling Linux In Safety Applications (ELISA), Online, May 2024. [blog] [slides] |