| 2026 | ACL | S2ST-Omni: Hierarchical Language-Aware SpeechLLM Adaptation for Multilingual Speech-to-Speech Translation. | Yu Pan, Xiongfei Wu, Yuguang Yang, Jixun Yao, Maxime Cordy, Lei Ma, Jianjun Zhao |
| 2026 | CAV | Precise Verification of Transformers Through ReLU-Catalyzed Abstraction Refinement. | Hengjie Liu, Zhenya Zhang, Jianjun Zhao |
| 2026 | FASE | QEMI: A Quantum Software Stacks Testing Framework via Equivalence Modulo Inputs. | Junjie Luo, Shangzhou Xia, Fuyuan Zhang, Jianjun Zhao |
| 2026 | ICSE | QSolver: A Quantum Constraint Solver. | Shangzhou Xia, Haitao Fu, Jianjun Zhao |
| 2025 | ACL | Takin-VC: Expressive Zero-Shot Voice Conversion via Adaptive Hybrid Content Encoding and Enhanced Timbre Modeling. | Yuguang Yang, Yu Pan, Jixun Yao, Xiang Zhang, Jianhao Ye, Hongbin Zhou, Lei Xie, Lei Ma, Jianjun Zhao |
| 2025 | COMPSAC | QuanUML: Towards A Modeling Language for Model-Driven Quantum Software Development. | Xiaoyu Guo, Shinobu Saito, Jianjun Zhao |
| 2025 | DATE | Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification. | Kota Fukuda, Guanqin Zhang, Zhenya Zhang, Yulei Sui, Jianjun Zhao |
| 2025 | ECOOP | Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees. | Guanqin Zhang, Kota Fukuda, Zhenya Zhang, H. M. N. Dilum Bandara, Shiping Chen, Jianjun Zhao, Yulei Sui |
| 2025 | Interspeech | ClapFM-EVC: High-Fidelity and Flexible Emotional Voice Conversion with Dual Control from Natural Language and Speech. | Yu Pan, Yanni Hu, Yuguang Yang, Jixun Yao, Jianhao Ye, Hongbin Zhou, Lei Ma, Jianjun Zhao |
| 2025 | QCE | QIRopt: An Optimization Method for Quantum Intermediate Representation. | Junjie Luo, Haoyu Zhang, Jianjun Zhao |
| 2025 | USENIX | Towards High-Performance Transactional Stateful Serverless Workflows with Affinity-Aware Leasing. | Jianjun Zhao, Haikun Liu, Shuhao Zhang, Haodi Lu, Yancan Mao, Zhuohui Duan, Xiaofei Liao, Hai Jin |
| 2024 | CSCWD | MalPolymer: A Threat Identification System Utilizing Cognate Malicious Login Behavior Detection. | Jianjun Zhao, Ru Tan, Yaqin Cao, Xutong Wang, Qixu Liu, Xiang Cui |
| 2024 | GECCO | Search-Based Repair of DNN Controllers of AI-Enabled Cyber-Physical Systems Guided by System-Level Specifications. | Deyun Lyu, Zhenya Zhang, Paolo Arcaini, Fuyuki Ishikawa, Thomas Laurent, Jianjun Zhao |
| 2024 | ICASSP | GEmo-CLAP: Gender-Attribute-Enhanced Contrastive Language-Audio Pretraining for Accurate Speech Emotion Recognition. | Yu Pan, Yanni Hu, Yuguang Yang, Wen Fei, Jixun Yao, Heng Lu, Lei Ma, Jianjun Zhao |
| 2024 | ICDE | MorphStream: Scalable Processing of Transactions over Streams. | Siqi Xiang, Zhonghao Yang, Jianjun Zhao, Yancan Mao, Shuhao Zhang |
| 2024 | ICDE | Fast Parallel Recovery for Transactional Stream Processing on Multicores. | Jianjun Zhao, Haikun Liu, Shuhao Zhang, Zhuohui Duan, Xiaofei Liao, Hai Jin, Yu Zhang |
| 2024 | ICLR | LRR: Language-Driven Resamplable Continuous Representation against Adversarial Tracking Attacks. | Jianlang Chen, Xuhong Ren, Qing Guo, Felix Juefei-Xu, Di Lin, Wei Feng, Lei Ma, Jianjun Zhao |
| 2024 | ICPR | PolyGlotFake: A Novel Multilingual and Multimodal DeepFake Dataset. | Yang Hou, Haitao Fu, Chunkai Chen, Zida Li, Haoyu Zhang, Jianjun Zhao |
| 2024 | ISSRE | Impact of V2V Communication on Robustness of Autonomous Driving Systems. | Lejin Li, Xiao-Yi Zhang, Shuncheng Tang, Zhenya Zhang, Jianjun Zhao |
| 2024 | QRS | Generating Adversarial Examples Using Parameter-Free Penalty Method. | Jiyuan Sun, Haibo Yu, Jianjun Zhao |
| 2024 | SIGMOD | Reproducibility Report for ACM SIGMOD 2023 Paper: 'MorphStream: Adaptive Scheduling for Scalable Transactional Stream Processing on Multicores'. | Ayushi Singh, Sven Helmer, Yancan Mao, Jianjun Zhao, Shuhao Zhang |
| 2023 | CSCWD | DeepCall: A Fast and Robust Malware Classification System with DGCNN and Function Call Graph. | Yanhui Chen, Yun Feng, Chengchun Wang, Jianjun Zhao, Qixu Liu |
| 2023 | CVPR | Evading DeepFake Detectors via Adversarial Statistical Consistency. | Yang Hou, Qing Guo, Yihao Huang, Xiaofei Xie, Lei Ma, Jianjun Zhao |
| 2023 | ICLR | Neural Episodic Control with State Abstraction. | Zhuo Li, Derui Zhu, Yujing Hu, Xiaofei Xie, Lei Ma, Yan Zheng, Yan Song, Yingfeng Chen, Jianjun Zhao |
| 2023 | ICSE | Widget Detection-based Testing for Industrial Mobile Games. | Xiongfei Wu, Jiaming Ye, Ke Chen, Xiaofei Xie, Yujing Hu, Ruochen Huang, Lei Ma, Jianjun Zhao |
| 2023 | IGARSS | Cellular Interactive Attention Network for Infrared Small Target Detection. | Luning Lei, Xing Meng, Ao Zhang, Jianjun Zhao, Xiaoxia Luo, Hao Chen, Ye Zhang |
| 2023 | ISSTA | GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing. | Zihan Wang, Pengbo Nie, Xinyuan Miao, Yuting Chen, Chengcheng Wan, Lei Bu, Jianjun Zhao |
| 2023 | QCE | On Refactoring Quantum Programs in Q#. | Jianjun Zhao |
| 2023 | QRS | Boosting Source Code Learning with Text-Oriented Data Augmentation: An Empirical Study. | Zeming Dong, Qiang Hu, Yuejun Guo, Zhenya Zhang, Jianjun Zhao |
| 2022 | QRS | Bug Patterns in Probabilistic Programming Systems. | Shoma Hamada, Haibo Yu, Vo Dai Trinh, Yuri Nishimura, Jianjun Zhao |
| 2022 | QRS | Automated Synthesis of Quantum Circuits using Neural Network. | Kentaro Murakami, Jianjun Zhao |
| 2021 | AAAI | EfficientDeRain: Learning Pixel-wise Dilation Filtering for High-Efficiency Single-Image Deraining. | Qing Guo, Jingyang Sun, Felix Juefei-Xu, Lei Ma, Xiaofei Xie, Wei Feng, Yang Liu, Jianjun Zhao |
| 2021 | CAV | Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness. | Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao |
| 2021 | ICCV | Learning to Adversarially Blur Visual Object Tracking. | Qing Guo, Ziyi Cheng, Felix Juefei-Xu, Lei Ma, Xiaofei Xie, Yang Liu, Jianjun Zhao |
| 2021 | ISSRE | An Empirical Study on Common Bugs in Deep Learning Compilers. | Xiaoting Du, Zheng Zheng, Lei Ma, Jianjun Zhao |
| 2021 | QRS | Bug Characteristics in Probabilistic Programming Systems: A Comprehensive Study. | Le Manh Duc, Haibo Yu, Jianjun Zhao |
| 2020 | APSEC | An Empirical Study on Robustness of DNNs with Out-of-Distribution Awareness. | Lingjun Zhou, Bing Yu, David Berend, Xiaofei Xie, Xiaohong Li, Jianjun Zhao, Xusheng Liu |
| 2020 | ICSE | Towards characterizing adversarial defects of deep learning software from the lens of uncertainty. | Xiyue Zhang, Xiaofei Xie, Lei Ma, Xiaoning Du, Qiang Hu, Yang Liu, Jianjun Zhao, Meng Sun |
| 2020 | QRS | Parallelizing Flow-Sensitive Demand-Driven Points-to Analysis. | Haibo Yu, Qiang Sun, Kejun Xiao, Yuting Chen, Tsunenori Mine, Jianjun Zhao |
| 2019 | ICFEM | Secure Deep Learning Engineering: A Road Towards Quality Assurance of Intelligent Systems. | Yang Liu, Lei Ma, Jianjun Zhao |
| 2019 | ICWE | Scenario Testing of AngularJS-Based Single Page Web Applications. | Gefei Zhang, Jianjun Zhao |
| 2019 | ISSTA | DeepHunter: a coverage-guided fuzz testing framework for deep neural networks. | Xiaofei Xie, Lei Ma, Felix Juefei-Xu, Minhui Xue, Hongxu Chen, Yang Liu, Jianjun Zhao, Bo Li, Jianxiong Yin, Simon See |
| 2018 | APSEC | DeepGraph: A PyCharm Tool for Visualizing and Understanding Deep Learning Models. | Qiang Hu, Lei Ma, Jianjun Zhao |
| 2018 | APSEC | Towards Testing of Deep Learning Systems. | Jianjun Zhao |
| 2018 | ISSRE | DeepMutation: Mutation Testing of Deep Learning Systems. | Lei Ma, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Felix Juefei-Xu, Chao Xie, Li Li, Yang Liu, Jianjun Zhao, Yadong Wang |
| 2018 | SEKE | Visualizing Interactions in AngularJS-based Single Page Web Applications. | Gefei Zhang, Jianjun Zhao |
| 2018 | UIC | Type Conversion Sequence Recommendation Based on Semantic Web Technology. | Haibo Yu, Xi Jia, Tsunenori Mine, Jianjun Zhao |
| 2016 | PLDI | Coverage-directed differential testing of JVM implementations. | Yuting Chen, Ting Su, Chengnian Sun, Zhendong Su, Jianjun Zhao |
| 2015 | CIS | Design and Implementation of Embedded Remote Control System in High-Precision Time Data Acquisition. | Zhao Fang, Jianjun Zhao, Haifeng Tang, Guangmin Wu |
| 2015 | ECOOP | Trace-based debugging for advanced-dispatching programming languages. | Christoph Bockisch, Marnix van 't Riet, Haihan Yin, Mehmet Aksit, Ziyi Lin, Yuting Chen, Jianjun Zhao |
| 2013 | PEPM | Constraint-based locality analysis for X10 programs. | Qiang Sun, Yuting Chen, Jianjun Zhao |
| 2012 | ICSE | Automatic parameter recommendation for practical API usage. | Cheng Zhang, Juyuan Yang, Yi Zhang, Jing Fan, Xin Zhang, Jianjun Zhao, Peizhao Ou |
| 2012 | PLDI | Soot-based implementation of a demand-driven reaching definitions analysis. | Longwen Lu, Cheng Zhang, Jianjun Zhao |
| 2011 | CC | Probabilistic Points-to Analysis for Java. | Qiang Sun, Jianjun Zhao, Yuting Chen |
| 2011 | ECOOP | Frequency Estimation of Virtual Call Targets for Object-Oriented Programs. | Cheng Zhang, Hao Xu, Sai Zhang, Jianjun Zhao, Yuting Chen |
| 2011 | IGARSS | Remote sensing of Land Surface dynamics along the Appalachian Trail. | Yeqiao Wang, Jianjun Zhao, Hongyan Zhang |
| 2011 | IGARSS | Automated batch processing of mass remote sensing and geospatial data to meet the needs of end users. | Jianjun Zhao, Yeqiao Wang, Hongyan Zhang |
| 2011 | ICST | EFindBugs: Effective Error Ranking for FindBugs. | Haihao Shen, Jianhong Fang, Jianjun Zhao |
| 2010 | FASE | A Lightweight and Portable Approach to Making Concurrent Failures Reproducible. | Qingzhou Luo, Sai Zhang, Jianjun Zhao, Min Hu |
| 2010 | ICSE | BPGen: an automated breakpoint generator for debugging. | Cheng Zhang, Dacong Yan, Jianjun Zhao, Yuting Chen, Shengqian Yang |
| 2009 | ISSTA | Identifying semantic differences in AspectJ programs. | Martin Th Grg, Jianjun Zhao |
| 2008 | APSEC | Test Case Prioritization Based on Analysis of Program Structure. | Zengkai Ma, Jianjun Zhao |
| 2008 | ICNC | DOA Estimation Fast Algorithm for Short Sampling Wideband Sources Based on Metropolis-Hastings Sampling. | Yong Jin, Yunzhi Cheng, Jie Li, Jianjun Zhao |
| 2008 | ICSE | Celadon: a change impact analysis tool for aspect-oriented programs. | Sai Zhang, Zhongxian Gu, Yu Lin, Jianjun Zhao |
| 2008 | ICSR | Appendix: Workshop and Tutorial Abstracts. | Jianjun Zhao, Jeffrey S. Poulin |
| 2008 | SCAM | Aspect-Aware Points-to Analysis. | Qiang Sun, Jianjun Zhao |
| 2008 | TASE | An Empirical Study of Maintainability in Aspect-Oriented System Evolution Using Coupling Metrics. | Haihao Shen, Sai Zhang, Jianjun Zhao |
| 2007 | CIS | Pairing-Based Proxy Signature Scheme with Proxy Signer?s Privacy Protection. | Jianjun Zhao, Jingsen Liu |
| 2007 | COMPSAC | Specifying Pointcuts in AspectJ. | Yi Wang, Jianjun Zhao |
| 2007 | COMPSAC | On Identifying Bug Patterns in Aspect-Oriented Programs. | Sai Zhang, Jianjun Zhao |
| 2007 | ICNC | Wideband Beam-Space DOA Estimation Based on Genetic Algorithm. | Yong Jin, Jianguo Huang, Jianjun Zhao |
| 2007 | ICSE | 1st Workshop on Assessment of Contemporary Modularization Techniques (ACoM.07). | Alessandro Garcia, Elisa L. A. Baniassad, Cristina Videira Lopes, Christa Schwanninger, Jianjun Zhao |
| 2006 | ISSRE | Detecting Redundant Unit Tests for AspectJ Programs. | Tao Xie, Jianjun Zhao, Darko Marinov, David Notkin |
| 2006 | ISSTA | Towards regression test selection for AspectJ programs. | Jianjun Zhao, Tao Xie, Nan Li |
| 2004 | FASE | Measuring Aspect Cohesion. | Jianjun Zhao, Baowen Xu |
| 2004 | PDCAT | O(1) Time Algorithm on BSR for Constructing a Binary Search Tree with Best Frequencies. | Limin Xiang, Kazuo Ushijima, Kai Cheng, Jianjun Zhao, Cunwei Lu |
| 2003 | COMPSAC | Data-Flow-Based Unit Testing of Aspect-Oriented Programs. | Jianjun Zhao |
| 2003 | FASE | Pipa: A Behavioral Interface Specification Language for AspectJ. | Jianjun Zhao, Martin C. Rinard |
| 2003 | SEKE | Partial Slicing for Large Programs. | Zhenqiang Chen, Baowen Xu, William C. Chu, Hongji Yang, Jianjun Zhao |
| 2001 | COMPSAC | CLPKIDS: A Program Analysis System for Concurrent Logic Programs. | Jianjun Zhao, Jingde Cheng, Kazuo Ushijima |
| 2000 | COMPSAC | Dependence Analysis of Java Bytecode. | Jianjun Zhao |
| 1998 | CATA | Applying program slicing to software architectures. | Jianjun Zhao |
| 1998 | ICECCS | Applying Slicing Technique to Software Architectures. | Jianjun Zhao |
| 1996 | COMPSAC | Static Slicing of Concurrent Object-Oriented Programs. | Jianjun Zhao, Jingde Cheng, Kazuo Ushijima |
| 1996 | ICPADS | Program dependence analysis of concurrent logic programs and its applications. | Jianjun Zhao, Jingde Cheng, Kazuo Ushijima |
| 1995 | ICLP | Program Dependence Analysis of Concurrent Logic Programs and Its Applications. | Jianjun Zhao, Jingde Cheng, Kazuo Ushijima |