| 2025 | CCS | Recover Function Signature from Combined Constraints. | Haohui Huang, Yue Liu, Yuxi Cheng, Haiyang Wei, Jiamu Liu, Yu Wang, Linzhang Wang |
| 2025 | Interspeech | Efficient Speech Enhancement via Embeddings from Pre-trained Generative Audioencoders. | Xingwei Sun, Heinrich Dinkel, Yadong Niu, Linzhang Wang, Junbo Zhang, Jian Luan |
| 2025 | IWQoS | Unleashing the Power of LLM to Infer State Machine From the Protocol Implementation. | Haiyang Wei, Ligeng Chen, Zhengjie Du, Yuhan Wu, Haohui Huang, Yue Liu, Guang Cheng, Fengyuan Xu, Linzhang Wang, Bing Mao |
| 2024 | ICASSP | Two-Stage Neural Network Model with Packet Loss Detection for ICASSP 2024 PLC Challenge. | Xingwei Sun, Qinglong Li, Kaichi Ma, Linzhang Wang, Yujun Wang |
| 2024 | ICSE | Comprehensive Semantic Repair of Obsolete GUI Test Scripts for Mobile Applications. | Shaoheng Cao, Minxue Pan, Yu Pei, Wenhua Yang, Tian Zhang, Linzhang Wang, Xuandong Li |
| 2024 | ISSTA | Distance-Aware Test Input Selection for Deep Neural Networks. | Zhong Li, Zhengfeng Xu, Ruihua Ji, Minxue Pan, Tian Zhang, Linzhang Wang, Xuandong Li |
| 2024 | WWW | Medusa: Unveil Memory Exhaustion DoS Vulnerabilities in Protocol Implementations. | Zhengjie Du, Yuekang Li, Yaowen Zheng, Xiaohan Zhang, Cen Zhang, Yi Liu, Sheikh Mahbub Habib, Xinghua Li, Linzhang Wang, Yang Liu, Bing Mao |
| 2023 | ISSTA | OCFI: Make Function Entry Identification Hard Again. | Chengbin Pang, Tiantai Zhang, Xuelan Xu, Linzhang Wang, Bing Mao |
| 2022 | ICASSP | Explore Relative and Context Information with Transformer for Joint Acoustic Echo Cancellation and Speech Enhancement. | Xingwei Sun, Chenbin Cao, Qinglong Li, Linzhang Wang, Fei Xiang |
| 2021 | PLDI | JPortal: precise and efficient control-flow tracing for JVM programs with Intel processor trace. | Zhiqiang Zuo, Kai Ji, Yifei Wang, Wei Tao, Linzhang Wang, Xuandong Li, Guoqing Harry Xu |
| 2021 | PLDI | Chianina: an evolving graph system for flow- and context-sensitive analyses of million lines of C code. | Zhiqiang Zuo, Yiyu Zhang, Qiuhong Pan, Shenming Lu, Yue Li, Linzhang Wang, Xuandong Li, Guoqing Harry Xu |
| 2020 | DATE | Automated Generation of LTL Specifications For Smart Home IoT Using Natural Language. | Shiyu Zhang, Juan Zhai, Lei Bu, Mingsong Chen, Linzhang Wang, Xuandong Li |
| 2019 | EuroSys | Grapple: A Graph System for Static Finite-State Property Checking of Large-Scale Systems Code. | Zhiqiang Zuo, John Thorpe, Yifei Wang, Qiuhong Pan, Shenming Lu, Kai Wang, Guoqing Harry Xu, Linzhang Wang, Xuandong Li |
| 2019 | ICSE | Energy distribution matters in greybox fuzzing. | Lingyun Situ, Linzhang Wang, Xuandong Li, Le Guan, Wenhui Zhang, Peng Liu |
| 2019 | ICSE | Global optimization of numerical programs via prioritized stochastic algebraic transformations. | Xie Wang, Huaijin Wang, Zhendong Su, Enyi Tang, Xin Chen, Weijun Shen, Zhenyu Chen, Linzhang Wang, Xianpei Zhang, Xuandong Li |
| 2018 | ICSE | Detecting missing checks for identifying insufficient attack protections. | Lingyun Situ, Liang Zou, Linzhang Wang, Yang Liu, Bing Mao, Xuandong Li |
| 2018 | QRS | Change-Based Test Script Maintenance for Android Apps. | Nana Chang, Linzhang Wang, Yu Pei, Subrota K. Mondal, Xuandong Li |
| 2017 | ICST | ATOM: Automatic Maintenance of GUI Test Scripts for Evolving Mobile Applications. | Xiao Li, Nana Chang, Yan Wang, Haohua Huang, Yu Pei, Linzhang Wang, Xuandong Li |
| 2017 | ISSTA | Automatic detection and validation of race conditions in interrupt-driven embedded software. | Yu Wang, Linzhang Wang, Tingting Yu, Jianhua Zhao, Xuandong Li |
| 2016 | ICST | An Empirical Study on Detecting and Fixing Buffer Overflow Bugs. | Tao Ye, Lingming Zhang, Linzhang Wang, Xuandong Li |
| 2015 | DAC | Selective restore: an energy efficient read disturbance mitigation scheme for future STT-MRAM. | Rujia Wang, Lei Jiang, Youtao Zhang, Linzhang Wang, Jun Yang |
| 2015 | DAC | Exploit imbalanced cell writes to mitigate write disturbance in dense phase change memory. | Rujia Wang, Lei Jiang, Youtao Zhang, Linzhang Wang, Jun Yang |
| 2015 | UIC | Controlling Smart TVs Using Touch Gestures on Mobile Devices. | Jiaxu Sun, Yongchao Li, Linzhang Wang, Xuandong Li, Xiaoxiao Ma, Jing Xu, Guanling Chen |
| 2015 | RTAS | Optimizing deterministic garbage collection in NAND flash storage systems. | Qi Zhang, Xuandong Li, Linzhang Wang, Tian Zhang, Yi Wang, Zili Shao |
| 2014 | SEKE | Automatic XACML requests generation for testing access control policies. | Yongchao Li, You Li, Linzhang Wang, Guanling Chen |
| 2014 | SEKE | An Empirical Study on the Test Adequacy Criterion Based on Coincidental Correctness Probability. | Xiaoli Zhou, Linzhang Wang, Xuandong Li, Jianhua Zhao |
| 2013 | ASPDAC | Optimizing translation information management in NAND flash memory storage systems. | Qi Zhang, Xuandong Li, Linzhang Wang, Tian Zhang, Yi Wang, Zili Shao |
| 2013 | ISSTA | Dynamically validating static memory leak warnings. | Mengchen Li, Yuanjun Chen, Linzhang Wang, Guoqing Xu |
| 2013 | Mobiquitous | A New Method for Automated GUI Modeling of Mobile Applications. | Jing Xu, Xiang Ding, Guanling Chen, Jill L. Drury, Linzhang Wang, Xuandong Li |
| 2013 | Mobiquitous | MVPTrack: Energy-Efficient Places and Motion States Tracking. | Chunhui Zhang, Ke Huang, Guanling Chen, Linzhang Wang |
| 2013 | OOPSLA | Steering symbolic execution to less traveled paths. | You Li, Zhendong Su, Linzhang Wang, Xuandong Li |
| 2012 | SEKE | Verifying Aspect-Oriented Activity Diagrams Against Crosscutting Properties with Petri Net Analyzer. | Zhanqi Cui, Linzhang Wang, Xi Liu, Lei Bu, Jianhua Zhao, Xuandong Li |
| 2010 | DATE | BACH 2 : Bounded reachability checker for compositional linear hybrid systems. | Lei Bu, You Li, Linzhang Wang, Xin Chen, Xuandong Li |
| 2010 | ICECCS | McC++/Java: Enabling Multi-core Based Monitoring and Fault Tolerance in C++/Java. | Lu Yang, Liqian Yu, Jianwen Tang, Linzhang Wang, Jianhua Zhao, Xuandong Li |
| 2010 | ICSE | Enabling multi-core based monitoring and fault tolerance in C++/Java. | Lu Yang, Liqian Yu, Jianwen Tang, Linzhang Wang, Jianhua Zhao, Xuandong Li |
| 2009 | SAC | Modeling and integrating aspects with UML activity diagrams. | Zhanqi Cui, Linzhang Wang, Xuandong Li, Dianxiang Xu |
| 2008 | FMCAD | BACH : Bounded ReAchability CHecker for Linear Hybrid Automata. | Lei Bu, You Li, Linzhang Wang, Xuandong Li |
| 2008 | ICST | UML Activity Diagram Based Testing of Java Concurrent Programs for Data Race and Inconsistency. | Bin Lei, Linzhang Wang, Xuandong Li |
| 2008 | ISoLA | A Partial Order Reduction Technique for Parallel Timed Automaton Model Checking. | Jianhua Zhao, Linzhang Wang, Xuandong Li |
| 2008 | SAC | UML state machine diagram driven runtime verification of Java programs for message interaction consistency. | Xuandong Li, Xiaokang Qiu, Linzhang Wang, Bin Lei, W. Eric Wong |
| 2007 | ICSE | A Threat Model Driven Approach for Security Testing. | Linzhang Wang, W. Eric Wong, Dianxiang Xu |
| 2006 | EDOC | A Model Driven Development Framework for Enterprise Web Services. | Xiaofeng Yu, Jun Hu, Yan Zhang, Tian Zhang, Linzhang Wang, Jianhua Zhao, Xuandong Li |
| 2004 | APSEC | Generating Test Cases from UML Activity Diagram based on Gray-Box Method. | Linzhang Wang, Jiesong Yuan, Xiaofeng Yu, Jun Hu, Xuandong Li, Guoliang Zheng |