| 2026 | AAAI | Modeling Item-Level Dynamic Variability with Residual Diffusion for Bundle Recommendation. | Dong Zhang, Lin Li, Ming Li, Amran Bhuiyan, Meng Sun, Xiaohui Tao, Jimmy Huang |
| 2026 | ACISP | Multi-authority Attribute-Based Anonymous Credentials with Public Traceability and Revocation. | Meng Sun, Mingmei Zheng, Junzuo Lai, Chi Wu, Xiaohan Mo |
| 2026 | ACL | From Shijing to English and German: Resources and Evaluation for LLM Translation of Early Chinese Poetry. | Ying Jiao, Meng Sun |
| 2026 | ISCA | M100: An Orchestrated Dataflow Architecture Powering General AI Computing. | Yan Xie, Changkui Mao, Changsong Wu, Chao Lu, Chao Suo, Cheng Qian, Chun Yang, Danyang Zhu, Hengchang Xiong, Hongzhan Lu, Hongzhen Liu, Jiafu Liu, Jie Chen, Jie Dai, Junfeng Tang, Kai Liu, Kun Li, Lipeng Ge, Meng Sun, Min Luo, Peng Chen, Peng Wang, Shaodong Yang, Shibin Tang, Shibo Chen, Weikang Zhang, Xiao Ling, Xiaobo Du, Xin Wu, Yang Liu, Yi Jiang, Yihua Jin, Yin Huang, Yuli Zhang, Zhen Yuan, Zhiyuan Man, Zhongxiao Yao |
| 2026 | PAKDD | Counteracting Popularity Bias Amplification in Bundle Recommendations with Latent Factor Constraints. | Meng Sun, Lin Li, Ming Li, Dong Zhang, Amran Bhuiyan, Jimmy Xiangji Huang |
| 2026 | TASE | The Robustness Profile: A Metamorphic Testing Framework for Multi-dimensional Evaluation of DRL Agents. | Kaicheng Shao, Yuteng Lu, Meng Sun |
| 2026 | TASE | From Monolithic to Compositional: A Compositional Operational Semantics for Crystality. | Ziyun Xu, Hao Wang, Meng Sun |
| 2025 | CGI | An Improved Small Object Detection Method for Shuttlecock Activity Analysis. | Xin Ma, Guiren Zhou, Haijun Huang, Jianwen Chen, Xiaoxu Shi, Yuxin Hong, Meng Sun, Xiao Zhang, Bo Yang, Jianlin Zhu |
| 2025 | CGI | Enhancing Nvshu Recognition Based on Polarity-Aware Linear Attention and Learnable Local Salient Kernel. | Guiren Zhou, Meng Sun, Yuxin Hong, Xiao Zhang, Jianlin Zhu, Bo Yang |
| 2025 | ICASSP | Bayesian Nonparametric Clustering for Source Counting with a Small Aperture Microphone Array. | Kunkun SongGong, Pufen Zhang, Xiongwei Zhang, Wenwu Wang, Meng Sun, Chong Jia, Yihao Li |
| 2025 | ICFEM | Formal Modeling of Reinforcement Learning Systems with SMT. | Tianyi Ding, Yuxin Lin, Meng Sun |
| 2025 | ICFEM | Automata-Based Steering of Large Language Models for Diverse Structured Generation. | Xiaokun Luan, Zemin Wei, Yihao Zhang, Meng Sun |
| 2025 | ICML | Preference-CFR: Beyond Nash Equilibrium for Better Game Strategies. | Qi Ju, Thomas Tellier, Meng Sun, Zhemei Fang, Yunfeng Luo |
| 2025 | ICML | Position: Trustworthy AI Agents Require the Integration of Large Language Models and Formal Methods. | Yedi Zhang, Yufan Cai, Xinyue Zuo, Xiaokun Luan, Kailong Wang, Zhe Hou, Yifan Zhang, Zhiyuan Wei, Meng Sun, Jun Sun, Jing Sun, Jin Song Dong |
| 2025 | QRS | Towards Formal Modeling and Verification of the Stellar Consensus Protocol in Z3. | Feiran Lei, Yihao Zhang, Xuefei Tong, Shuaida Wu, Meng Sun |
| 2025 | QRS | Diagnosing Deep Learning Errors with Reinforcement Learning-Driven Adversarial Examples. | Kaicheng Shao, Yuteng Lu, Ai Liu, Meng Sun |
| 2025 | SAC | MedTiny Code Generation for Enhancing RegLang Smart Contract Reliability. | Xiaokun Luan, Yihao Zhang, Meng Sun |
| 2025 | SEKE | Component Composition in MedTiny: Multi-Level Constructs and Operational Semantics. | Xiangyu Li, Yihao Zhang, Meng Sun |
| 2025 | TAMC | Maximizing the Difference of DR-Submodular Function on the Integer Lattice. | Jingjing Tan, Cuiping Ge, Meixia Li, Meng Sun, Ruiqi Yang |
| 2025 | TASE | Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs. | Ziyun Xu, Hao Wang, Meng Sun |
| 2024 | AAAI | Temporal Adaptive RGBT Tracking with Modality Prompt. | Hongyu Wang, Xiaotao Liu, Yifan Li, Meng Sun, Dian Yuan, Jing Liu |
| 2024 | CGI | Pedestrian Detection in Foggy Weather Through YOLOv8 Based on FEAttention. | Meng Sun, Jianlin Zhu, Bo Yang, Jin Huang, Xiao Zhang |
| 2024 | ICASSP | Multi-Speaker Localization in the Circular Harmonic Domain on Small Aperture Microphone Arrays Using Deep Convolutional Networks. | Kunkun SongGong, Pufen Zhang, Xiongwei Zhang, Meng Sun, Wenwu Wang |
| 2024 | ICDCS | EdgeVPR: Transformer-Based Real-Time Video Person Re-Identification at the Edge. | Meng Sun, Ju Ren, Yaoxue Zhang |
| 2024 | ICECCS | Optimal Solution Guided Branching Strategy for Neural Network Branch and Bound Verification. | Xiaoyong Xue, Meng Sun |
| 2024 | IGARSS | Off-Grid Time-Delay Estimation for Ground Penetrating Radar: A Nested Sampling Based Block Sparse Representation Method. | Huimin Pan, Jingjing Pan, Meng Sun, Xiaofei Zhang, Yide Wang |
| 2024 | IPIN | Enhanced Genetic Algorithm-Based Wi-Fi Access Points Deployment for RTT Positioning: Fitness Function Design and Analysis. | Meng Sun, Yunjia Wang, Nanshan Zheng, Qianxin Wang, Guoliang Chen, Zengke Li |
| 2024 | IPIN | UWB NLOS Identification and Mitigation based on Bidirectional Encoder Representations from Transformer (BERT) Deep Learning. | Hongchao Yang, Yunjia Wang, Chee Kiat Seow, Meng Sun, David Plets |
| 2024 | IGARSS | Robust DOA Estimation in Co-Prime Arrays with Impulsive Noise Using EBNC-PFLOM Method. | Xudong Dong, Jun Zhao, Jingjing Pan, Meng Sun, Xiaofei Zhang, Yide Wang |
| 2024 | PDCAT | Streaming Algorithm for Balance Gain and Cost with Knapsack Constraint on the Integer Lattice. | Jingjing Tan, Meixia Li, Meng Sun, Ruiqi Yang |
| 2024 | SETTA | MILE: A Mutation Testing Framework of In-Context Learning Systems. | Zeming Wei, Yihao Zhang, Meng Sun |
| 2023 | APLAS | Towards a Framework for Developing Verified Assemblers for the ELF Format. | Jinhua Wu, Yuting Wang, Meng Sun, Xiangzhe Xu, Yichen Song |
| 2023 | CVPR | A Global-Local Tracking Framework Driven by Both Motion and Appearance for Infrared Anti-UAV. | Yifan Li, Dian Yuan, Meng Sun, Hongyu Wang, Xiaotao Liu, Jing Liu |
| 2023 | ICANN | Guiding the Comparison of Neural Network Local Robustness: An Empirical Study. | Hao Bu, Meng Sun |
| 2023 | ICECCS | Certifying Semantic Robustness of Deep Neural Networks. | Hao Bu, Meng Sun |
| 2023 | ICFEM | Branch and Bound for Sigmoid-Like Neural Network Verification. | Xiaoyong Xue, Meng Sun |
| 2023 | ICIP | Tell Your Story: Text-Driven Face Video Synthesis with High Diversity via Adversarial Learning. | Xia Hou, Meng Sun, Wenfeng Song |
| 2023 | IJCNN | Measuring Robustness of Deep Neural Networks from the Lens of Statistical Model Checking. | Hao Bu, Meng Sun |
| 2023 | IROS | Domain Adaptation on Point Clouds for 6D Pose Estimation in Bin-Picking Scenarios. | Liang Zhao, Meng Sun, Wei Jie Lv, Xin-Yu Zhang, Long Zeng |
| 2023 | QRS | MedTiny: Enhanced Mediator Modeling Language for Scalable Parallel Algorithms. | Xiangyu Li, Yihao Zhang, Xiaokun Luan, Xiaoyong Xue, Meng Sun |
| 2023 | SEKE | Using Z3 for Formal Modeling and Verification of FNN Global Robustness (S). | Yihao Zhang, Zeming Wei, Xiyue Zhang, Meng Sun |
| 2023 | SETTA | HeatC: A Variable-Grained Coverage Criterion for Deep Learning Systems. | Weidi Sun, Yuteng Lu, Xiaokun Luan, Meng Sun |
| 2022 | ICFEM | Extracting Weighted Finite Automata from Recurrent Neural Networks for Natural Languages. | Zeming Wei, Xiyue Zhang, Meng Sun |
| 2022 | IPIN | Smartphone-based WiFi FTM Fingerprinting Approach with Map-aided Particle Filter. | Meng Sun, Yunjia Wang, Keqiang Liu, Cedric De Cock, Wout Joseph, David Plets |
| 2022 | ICTAC | Towards a Unifying Logical Framework for Neural Networks. | Xiyue Zhang, Xiaohong Chen, Meng Sun |
| 2022 | MMSP | Fast AFM Imaging Based on Neural Network Compressed Sensing. | Meng Sun, Na Chen, Shaoying Li, Zhenmin Liu, Shuai Ye, Yana Shang, Shupeng Liu, Fufei Pang, Tingyun Wang |
| 2022 | SETTA | MTUL: Towards Mutation Testing of Unsupervised Learning Systems. | Yuteng Lu, Kaicheng Shao, Weidi Sun, Meng Sun |
| 2022 | SETTA | HashC: Making DNNs' Coverage Testing Finer and Faster. | Weidi Sun, Xiaoyong Xue, Yuteng Lu, Meng Sun |
| 2022 | VMCAI | EPMC Gets Knowledge in Multi-agent Systems. | Chen Fu, Ernst Moritz Hahn, Yong Li, Sven Schewe, Meng Sun, Andrea Turrini, Lijun Zhang |
| 2021 | AAAI | Decision-Guided Weighted Automata Extraction from Recurrent Neural Networks. | Xiyue Zhang, Xiaoning Du, Xiaofei Xie, Lei Ma, Yang Liu, Meng Sun |
| 2021 | IJCNN | Are Coverage Criteria Meaningful Metrics for DNNs? | Weidi Sun, Yuteng Lu, Meng Sun |
| 2021 | QRS | Modeling and Verification of CKB Consensus Protocol in Coq. | Xiaokun Luan, Meng Sun |
| 2021 | SEKE | Modeling and Verification of CKB Consensus Protocol in UPPAAL (S). | Yi-Chun Feng, Yuteng Lu, Meng Sun |
| 2021 | SEKE | Using LSTM to Predict Tactics in Coq. | Xiaokun Luan, Xiyue Zhang, Meng Sun |
| 2021 | SEKE | DeepAuto: A First Step Towards Formal Verification of Deep Learning Systems (S). | Yuteng Lu, Weidi Sun, Guangdong Bai, Meng Sun |
| 2021 | SiggraphA | GPU Cloth Simulation Pipeline in Lightchaser Animation Studio. | Haowei Han, Meng Sun, Siyu Zhang, Dongying Liu, Tiantian Liu |
| 2021 | SETTA | Mutation Testing of Reinforcement Learning Systems. | Yuteng Lu, Weidi Sun, Meng Sun |
| 2021 | SETTA | DeepGlobal: A Global Robustness Verifiable FNN Framework. | Weidi Sun, Yuteng Lu, Xiyue Zhang, Meng Sun |
| 2020 | Coordination | Towards a Formally Verified EVM in Production Environment. | Xiyue Zhang, Yi Li, Meng Sun |
| 2020 | HCI | Relationship Between Young Children's Problematic Behaviors, Videogaming Status, and Parenting Styles. | Fangbing Qu, Changwei Gu, Heqing Huang, Aozi Zhang, Meng Sun, Xiaocen Liu |
| 2020 | ICFEM | Towards Modeling and Verification of the CKB Block Synchronization Protocol in Coq. | Hao Bu, Meng Sun |
| 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 | SAC | Proof searching in HOL4 with genetic algorithm. | Muhammad Zohaib Nawaz, Osman Hasan, M. Saqib Nawaz, Philippe Fournier-Viger, Meng Sun |
| 2019 | FPGA | PAI-FCNN: FPGA Based CNN Inference System. | Lansong Diao, Zhao Jiang, Hao Liang, Chang'an Ye, Kai Chen, Li Ding, Shunli Dou, Meng Sun, Lixue Xia, Jiansong Zhang, Wei Lin |
| 2019 | HPCC | Two Algorithms for Fast Mitigating Multi-Congestion in Software Defined Networks. | Meng Sun, Xinchang Zhang, Jianwei Zhang |
| 2019 | ICECCS | Safe Inputs Approximation for Black-Box Systems. | Bai Xue, Yang Liu, Lei Ma, Xiyue Zhang, Meng Sun, Xiaofei Xie |
| 2019 | ICFEM | A Coalgebraic Semantics Framework for Quantum Systems. | Ai Liu, Meng Sun |
| 2019 | IGARSS | Time Delay and Interface Roughness Estimation of Pavements by Modified Music with OPM: Experimental Results. | Meng Sun, Ziwei Xu, Jingjing Pan, Cdric Le Bastard, Nicolas Pinel, Yide Wang |
| 2019 | IGARSS | Roadway Interface Analysis with A Support Vector Regression Based Linear Prediction Method Using Stepped-Frequency Radar. | Cdric Le Bastard, Jingjing Pan, Yide Wang, Shreedhar Savant Todkar, Amine Ihamouten, Xavier Drobert, David Guilbert, Meng Sun |
| 2019 | SEKE | PRISM Code Generation for Verification of Mediator Models (S). | Weidi Sun, Meng Sun |
| 2019 | WiMob | Multi-UAV Automatic Dynamic Obstacle Avoidance with Experience-shared A2C. | Xiao Han, Jing Wang, Qinyu Zhang, Xue Qin, Meng Sun |
| 2019 | WiMob | Differential Compression for Mobile Edge Computing in Internet of Vehicles. | Zhijuan Hu, Danyang Wang, Zan Li, Meng Sun, Weizhi Wang |
| 2019 | TASE | Distributed Mediator. | Yi Li, Meng Sun |
| 2019 | TASE | Using Recurrent Neural Network to Predict Tactics for Proving Component Connector Properties in Coq. | Xiyue Zhang, Yi Li, Weijiang Hong, Meng Sun |
| 2018 | COLING | Multi-Perspective Context Aggregation for Semi-supervised Cloze-style Reading Comprehension. | Liang Wang, Sujian Li, Wei Zhao, Kewei Shen, Meng Sun, Ruoyu Jia, Jingming Liu |
| 2018 | ICCCN | A Distributed Approach Based on Hierarchical Decompostion for Network Coded Group Multicast. | Meng Sun, Xinchang Zhang, Jianwei Zhang |
| 2018 | ISPA | Heuristic Prefetching Caching Strategy to Enhance QoE in Edge Computing. | Meng Sun, Haopeng Chen |
| 2018 | SEKE | Modeling and Verification of IEEE 802.11i Security Protocol for Internet of Things. | Yuteng Lu, Meng Sun |
| 2018 | SEKE | Reo2PVS: Formal Specification and Verification of Component Connectors. | M. Saqib Nawaz, Meng Sun |
| 2018 | SEKE | Towards Formal Modeling and Verification of Probabilistic Connectors in Coq (S). | Xiyue Zhang, Meng Sun |
| 2018 | SERVICES | Predict-then-Prefetch Caching Strategy to Enhance QoE in 5G Networks. | Meng Sun, Haopeng Chen, Buqing Shu |
| 2017 | IPCCC | Two-level decomposition for multi-commodity multicast traffic engineering. | Jianwei Zhang, Xinchang Zhang, Meng Sun |
| 2017 | ISPA | Dynamic Load Balancing and Channel Strategy for Apache Flume Collecting Real-Time Data Stream. | Buqing Shu, Haopeng Chen, Meng Sun |
| 2017 | SEKE | A Formal Design Model for Cloud Services. | Meng Sun, Guirong Fu |
| 2017 | SEFM | Using Coq for Formal Modeling and Verification of Timed Connectors. | Weijiang Hong, M. Saqib Nawaz, Xiyue Zhang, Yi Li, Meng Sun |
| 2016 | FM | Towards Concolic Testing for Hybrid Systems. | Pingfan Kong, Yi Li, Xiaohong Chen, Jun Sun, Meng Sun, Jingyi Wang |
| 2016 | ICASSP | Adaptive extraction of repeating non-negative temporal patterns for single-channel speech enhancement. | Yinan Li, Xiongwei Zhang, Meng Sun, Gang Min, Jibin Yang |
| 2016 | ICASSP | Privacy-preserving nonparametric decentralized detection. | Meng Sun, Wee Peng Tay |
| 2016 | TASE | Active Learning from Blackbox to Timed Connectors. | Yi Li, Meng Sun, Yiwu Wang |
| 2015 | HCI | Ask Local: Explore a New Place Like Locals. | Cagri Hakan Zaman, Federico Casalegno, Meng Sun, Kulpreet Chilana |
| 2015 | MMSP | Speech enhancement based on robust NMF solved by alternating direction method of multipliers. | Yinan Li, Xiongwei Zhang, Meng Sun, Jingfeng Pan |
| 2015 | TASE | A Framework for Off-Line Conformance Testing of Timed Connectors. | Shaodong Li, Xiaohong Chen, Yiwu Wang, Meng Sun |
| 2014 | ICCE | Exploring the Effectiveness of a Flipped Classroom Based on Control-Value Theory: A Case Study. | Jiutong Luo, Meng Sun, Bian Wu, Xiaoqing Gu |
| 2014 | ICCE | Making Sense of Online Learning Behavior: A Research on Learning Styles and Collaborative Learning Data. | Meng Sun, Jiutong Luo, Dongming Qian, Xiaoqing Gu |
| 2014 | ICFEM | A Hybrid Model of Connectors in Cyber-Physical Systems. | Xiaohong Chen, Jun Sun, Meng Sun |
| 2014 | IGARSS | Estimation of time delay and roughness parameters by GPR using esprit method. | Meng Sun, Cdric Le Bastard, Nicolas Pinel, Yide Wang |
| 2014 | IPCCC | A centralized latency optimization solution for tree-based application layer multicast. | Xinchang Zhang, Weidong Gu, Lu Wang, Xiaomin Zhu, Meng Sun |
| 2013 | ACL | Discriminative Learning with Natural Annotations: Word Segmentation as a Case Study. | Wenbin Jiang, Meng Sun, Yajuan L, Yating Yang, Qun Liu |
| 2013 | ACL | Stem Translation with Affix-Based Rule Selection for Agglutinative Languages. | Zhiyang Wang, Yajuan L, Meng Sun, Qun Liu |
| 2013 | TrustCom | A Matrix Transformation Algorithm for Virtual Machine Placement in Cloud. | Meng Sun, Weidong Gu, Xinchang Zhang, Huiling Shi, Wei Zhang |
| 2012 | ICASSP | Tri-factorization learning of sub-word units with application to vocabulary acquisition. | Meng Sun, Hugo Van hamme |
| 2011 | ICASSP | Unsupervised vocabulary discovery using non-negative matrix factorization with graph regularization. | Meng Sun, Hugo Van hamme |
| 2011 | ICIP | Image pattern discovery by using the spatial closeness of visual code words. | Meng Sun, Hugo Van hamme |
| 2011 | TASE | Analysis of WS-BPEL Processes in PRISM. | Chen Deng, Hongli Yang, Husheng Liao, Meng Sun, Zongyan Qiu |
| 2003 | ICCV | Video Input Driven Animation (VIDA). | Meng Sun, Allan D. Jepson, Eugene Fiume |