| 2026 | AAAI | Towards Scalable Web Accessibility Audit with MLLMs as Copilots. | Ming Gu, Ziwei Wang, Sicen Lai, Zirui Gao, Sheng Zhong, Jiajun Bu |
| 2026 | MMM | Backdoor-Based Protection Framework for Model Functional Services. | Yusheng Guo, Qiang Hao, Zhao Liu, Qingshuang Wu, Yanliang Lu, Ming Gu, Su Hu |
| 2025 | AAAI | FatesGS: Fast and Accurate Sparse-View Surface Reconstruction Using Gaussian Splatting with Depth-Feature Consistency. | Han Huang, Yulun Wu, Chao Deng, Ge Gao, Ming Gu, Yu-Shen Liu |
| 2025 | AAAI | Sparis: Neural Implicit Surface Reconstruction of Indoor Scenes from Sparse Views. | Yulun Wu, Han Huang, Wenyuan Zhang, Chao Deng, Ge Gao, Ming Gu, Yu-Shen Liu |
| 2025 | ECIR | EGL-DST: Error-Guided Learning for Multidimensional Evaluation Method of Dialogue State Tracking via GPT-4. | Wenjie Dong, Sirong Chen, Ming Gu, Yan Yang |
| 2025 | ICML | Towards a Unified Framework of Clustering-based Anomaly Detection. | Zeyu Fang, Ming Gu, Sheng Zhou, Jiawei Chen, Qiaoyu Tan, Haishuai Wang, Jiajun Bu |
| 2025 | WWW | Towards an Inclusive Mobile Web: A Dataset and Framework for Focusability in UI Accessibility. | Ming Gu, Lei Pei, Sheng Zhou, Ming Shen, Yuxuan Wu, Zirui Gao, Ziwei Wang, Shuo Shan, Wei Jiang, Yong Li, Jiajun Bu |
| 2024 | AAAI | NeuSurf: On-Surface Priors for Neural Surface Reconstruction from Sparse Input Views. | Han Huang, Yulun Wu, Junsheng Zhou, Ge Gao, Ming Gu, Yu-Shen Liu |
| 2024 | AAAI | GridFormer: Point-Grid Transformer for Surface Reconstruction. | Shengtao Li, Ge Gao, Yudong Liu, Yu-Shen Liu, Ming Gu |
| 2024 | AAAI | Rethinking Propagation for Unsupervised Graph Domain Adaptation. | Meihan Liu, Zeyu Fang, Zhen Zhang, Ming Gu, Sheng Zhou, Xin Wang, Jiajun Bu |
| 2024 | ACL | Plan, Generate and Complicate: Improving Low-resource Dialogue State Tracking via Easy-to-Difficult Zero-shot Data Augmentation. | Ming Gu, Yan Yang |
| 2024 | ECCV | Implicit Filtering for Learning Neural Signed Distance Functions from 3D Point Clouds. | Shengtao Li, Ge Gao, Yudong Liu, Ming Gu, Yu-Shen Liu |
| 2024 | SMC | Influence Distribution for Misinformation Containment Under Competitive Activation Models. | Ming Gu, Wei-Neng Chen, Xiao-Min Hu, Sang-Woon Jeon |
| 2024 | SP | Chronos: Finding Timeout Bugs in Practical Distributed Systems by Deep-Priority Fuzzing with Transient Delay. | Yuanliang Chen, Fuchen Ma, Yuanhang Zhou, Ming Gu, Qing Liao, Yu Jiang |
| 2023 | ACML | State Value Generation with Prompt Learning and Self-Training for Low-Resource Dialogue State Tracking. | Ming Gu, Yan Yang, Chengcai Chen, Zhou Yu |
| 2023 | CIKM | Homophily-enhanced Structure Learning for Graph Clustering. | Ming Gu, Gaoming Yang, Sheng Zhou, Ning Ma, Jiawei Chen, Qiaoyu Tan, Meihan Liu, Jiajun Bu |
| 2023 | EMNLP | Beat LLMs at Their Own Game: Zero-Shot LLM-Generated Text Detection via Querying ChatGPT. | Biru Zhu, Lifan Yuan, Ganqu Cui, Yangyi Chen, Chong Fu, Bingxiang He, Yangdong Deng, Zhiyuan Liu, Maosong Sun, Ming Gu |
| 2022 | ACL | Pass off Fish Eyes for Pearls: Attacking Model Selection of Pre-trained Models. | Biru Zhu, Yujia Qin, Fanchao Qi, Yangdong Deng, Zhiyuan Liu, Maosong Sun, Ming Gu |
| 2022 | CVPR | XYLayoutLM: Towards Layout-Aware Multimodal Networks For Visually-Rich Document Understanding. | Zhangxuan Gu, Changhua Meng, Ke Wang, Jun Lan, Weiqiang Wang, Ming Gu, Liqing Zhang |
| 2022 | DSAA | A New Baseline of Policy Gradient for Traveling Salesman Problem. | Hua Yang, Ming Gu |
| 2022 | ECCV | A Geometric-Relational Deep Learning Framework for BIM Object Classification. | Hairong Luo, Ge Gao, Han Huang, Ziyi Ke, Cheng Peng, Ming Gu |
| 2022 | ICDM | An Efficient and Reliable Tolerance- Based Algorithm for Principal Component Analysis. | Michael Yeh, Ming Gu |
| 2022 | ICONIP | Learning TSP Combinatorial Search and Optimization with Heuristic Search. | Hua Yang, Ming Gu |
| 2022 | RECOMB | DiffDomain Enables Identification of Structurally Reorganized Topologically Associating Domains. | Dunming Hua, Ming Gu, Yanyi Du, Li Qi, Xiangjun Du, Zhidong Bai, Xiaopeng Zhu, Dechao Tian |
| 2021 | APSEC | Scalable Fault Detection Based on Precise Access Path. | Chi Li, Yuexing Wang, Min Zhou, Ming Gu |
| 2021 | TrustCom | Sensing Error Handling Bugs in SSL Library Usages. | Chi Li, Min Zhou, Xinrong Han, Ming Gu |
| 2020 | AISTATS | Efficient Spectrum-Revealing CUR Matrix Decomposition. | Cheng Chen, Ming Gu, Zhihua Zhang, Weinan Zhang, Yong Yu |
| 2020 | ICSE | Escape from escape analysis of Golang. | Cong Wang, Mingrui Zhang, Yu Jiang, Huafeng Zhang, Zhenchang Xing, Ming Gu |
| 2019 | APSEC | Necessity and Capability of Flow, Context, Field and Quasi Path Sensitive Points-to Analysis. | Yuexing Wang, Min Zhou, Ming Gu, Jiaguang Sun |
| 2019 | CIKM | Understanding Default Behavior in Online Lending. | Yang Yang, Yuhong Xu, Chunping Wang, Yizhou Sun, Fei Wu, Yueting Zhuang, Ming Gu |
| 2019 | COMPSAC | An Empirical Study on API-Misuse Bugs in Open-Source C Programs. | Zuxing Gu, Jiecheng Wu, Jiaxiang Liu, Min Zhou, Ming Gu |
| 2019 | ICSE | Vetting API usages in C programs with IMChecker. | Zuxing Gu, Jiecheng Wu, Chi Li, Min Zhou, Yu Jiang, Ming Gu, Jiaguang Sun |
| 2019 | ISSRE | Go-Sanitizer: Bug-Oriented Assertion Generation for Golang. | Cong Wang, Hao Sun, Yiwen Xu, Yu Jiang, Huafeng Zhang, Ming Gu |
| 2019 | ISSTA | VBSAC: a value-based static analyzer for C. | Chi Li, Min Zhou, Zuxing Gu, Guang Chen, Yuexing Wang, Jiecheng Wu, Ming Gu |
| 2019 | ISSTA | Go-clone: graph-embedding based clone detector for Golang. | Cong Wang, Jian Gao, Yu Jiang, Zhenchang Xing, Huafeng Zhang, Weiliang Yin, Ming Gu, Jiaguang Sun |
| 2019 | SEKE | SSLDoc: Automatically Diagnosing Incorrect SSL API Usages in C Programs. | Zuxing Gu, Jiecheng Wu, Chi Li, Min Zhou, Ming Gu |
| 2019 | SIGCOMM | Dynamically Optimizing End-to-End Latency for Time-Triggered Networks. | Zonghui Li, Hai Wan, Boxu Zhao, Yangdong Deng, Ming Gu |
| 2019 | TASE | IMSpec: An Extensible Approach to Exploring the Incorrect Usage of APIs. | Zuxing Gu, Min Zhou, Jiecheng Wu, Yu Jiang, Jiaxiang Liu, Ming Gu |
| 2018 | AAAI | Energy-Efficient Automatic Train Driving by Learning Driving Patterns. | Jin Huang, Yue Gao, Sha Lu, Xibin Zhao, Yangdong Deng, Ming Gu |
| 2018 | APSEC | Scalable Verification Framework for C Program. | Guang Chen, Dexi Wang, Tianchi Li, Chao Zhang, Ming Gu, Jiaguang Sun |
| 2018 | ICDM | Superlinear Convergence of Randomized Block Lanczos Algorithm. | Qiaochu Yuan, Ming Gu, Bo Li |
| 2018 | ICSE | Model-based adaptation to extreme physical environments: a case study on mixed-criticality industrial ethernet. | Zonghui Li, Hai Wan, Yangdong Deng, Qinghan Yu, Tianchi Li, Kang Wei, Ming Gu |
| 2018 | ICSE | Weak-assert: a weakness-oriented assertion recommendation toolkit for program analysis. | Cong Wang, Yu Jiang, Xibin Zhao, Xiaoyu Song, Ming Gu, Jiaguang Sun |
| 2018 | ISPA | Fast Real-Time Scheduling for Ethernet-Based Train Control Networks. | Qinghan Yu, Tian Wang, Xibin Zhao, Hai Wang, Yue Gao, Chenyang Lu, Ming Gu |
| 2018 | ISSTA | Managing concurrent testing of data race with ComRaDe. | Jian Gao, Xin Yang, Yu Jiang, Han Liu, Weiliang Ying, Wanting Sun, Ming Gu |
| 2018 | KSEM | Improved Sublinear Primal-Dual Algorithm for Support Vector Machines. | Ming Gu, Shizhong Liao |
| 2018 | RTAS | Work-in-Progress: A Flattened Priority Framework for Mixed-Criticality Real-Time Systems. | Zonghui Li, Hai Wan, Yangdong Deng, Ming Gu |
| 2017 | COMPSAC | A Constraint-Pattern Based Method for Reachability Determination. | Yuexing Wang, Zuxing Gu, Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun |
| 2017 | COMPSAC | Assertion Recommendation for Formal Program Verification. | Cong Wang, Fei He, Xiaoyu Song, Yu Jiang, Ming Gu, Jiaguang Sun |
| 2017 | HiPC | Fast Parallel Randomized QR with Column Pivoting Algorithms for Reliable Low-Rank Matrix Approximations. | Jianwei Xiao, Ming Gu, Julien Langou |
| 2017 | ICML | An Efficient, Sparsity-Preserving, Online Algorithm for Low-Rank Approximation. | David G. Anderson, Ming Gu |
| 2017 | IJCAI | Vertex-Weighted Hypergraph Learning for Multi-View Object Classification. | Lifan Su, Yue Gao, Xibin Zhao, Hai Wan, Ming Gu, Jiaguang Sun |
| 2017 | ICSE | Stochastic optimization of program obfuscation. | Han Liu, Chengnian Sun, Zhendong Su, Yu Jiang, Ming Gu, Jiaguang Sun |
| 2017 | IWQoS | Handling scheduling uncertainties through traffic shaping in Time-Triggered train networks. | Qinghan Yu, Xibin Zhao, Hai Wan, Yue Gao, Chenyang Lu, Ming Gu |
| 2016 | COMPSAC | Automatic Fix for C Integer Errors by Precision Improvement. | Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun |
| 2016 | COMPSAC | Improving Failure Detection by Automatically Generating Test Cases Near the Boundaries. | Min Zhou, Xi Cheng, Xinrui Guo, Ming Gu, Hongyu Zhang, Xiaoyu Song |
| 2016 | FM | Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller. | Yu Jiang, Han Liu, Houbing Song, Hui Kong, Ming Gu, Jiaguang Sun, Lui Sha |
| 2016 | FM | Taming Interrupts for Verifying Industrial Multifunction Vehicle Bus Controllers. | Han Liu, Yu Jiang, Huafeng Zhang, Ming Gu, Jiaguang Sun |
| 2016 | ICDM | Spectrum-Revealing Cholesky Factorization for Kernel Methods. | Jianwei Xiao, Ming Gu |
| 2016 | MODELS | C Code Verification based on the Extended Labeled Transition System Model. | Dexi Wang, Chao Zhang, Guang Chen, Ming Gu, Jiaguang Sun |
| 2016 | MODELS | Tsmart-BIPEX: An Integrated Graphical Design Toolkit for Software Systems. | Huafeng Zhang, Yu Jiang, Han Liu, Ming Gu, Jiaguang Sun |
| 2016 | RTAS | From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design. | Yu Jiang, Yixiao Yang, Han Liu, Hui Kong, Ming Gu, Jia-Guang Sun, Lui Sha |
| 2015 | AISTATS | Spectral Gap Error Bounds for Improving CUR Matrix Decomposition and the Nystrm Method. | David G. Anderson, Simon S. Du, Michael W. Mahoney, Christopher Melgaard, Kunming Wu, Ming Gu |
| 2015 | INFOCOM | VeRV: A temporal and data-concerned verification framework for the vehicle bus systems. | Shuo Zhang, Fei He, Ming Gu |
| 2014 | ICECCS | Clause Replication and Reuse in Incremental Temporal Induction. | Liangze Yin, Fei He, Ming Gu, Jia-Guang Sun |
| 2014 | ISCAS | A bias-scalable current-mode analog support vector machine based on margin propagation. | Ming Gu, Shantanu Chakrabartty |
| 2014 | TASE | Application-Specific Architecture Selection for Embedded Systems via Schedulability Analysis. | Han Liu, Hehua Zhang, Yu Jiang, Xiaoyu Song, Ming Gu, Jiaguang Sun |
| 2014 | TASE | iDola: Bridge Modeling to Verification and Implementation of Interrupt-Driven Systems. | Han Liu, Hehua Zhang, Yu Jiang, Xiaoyu Song, Ming Gu, Jia-Guang Sun |
| 2013 | ASPDAC | Sequential dependency and reliability analysis of embedded systems. | Hehua Zhang, Yu Jiang, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun |
| 2013 | CAV | Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems. | Hui Kong, Fei He, Xiaoyu Song, William N. N. Hung, Ming Gu |
| 2013 | COMPSAC | Verification and Implementation of the Protocol Standard in Train Control System. | Yu Jiang, Hehua Zhang, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun |
| 2013 | COMPSAC | Component-Based Modeling and Code Synthesis for Cyclic Programs. | Min Zhou, Hai Wan, Chen Su, Liangze Yin, Lianyi Zhang, Fei He, Ming Gu |
| 2013 | CSEDU | Research on Automatic Assessment of Transferable Skills. | Jinbiao Li, Ming Gu |
| 2013 | ICECCS | Modeling and Verification of Component-Based Systems with Data Passing Using BIP. | Chen Su, Min Zhou, Liangze Yin, Hai Wan, Ming Gu |
| 2013 | ICECCS | Reusing Search Tree for Incremental SAT Solving of Temporal Induction. | Liangze Yin, Fei He, Min Zhou, Ming Gu |
| 2013 | SEKE | DOPROPC: a domain property pattern system helping to specify control system requirements (S). | Fan Wu, Hehua Zhang, Ming Gu |
| 2013 | TASE | Optimizing the SAT Decision Ordering of Bounded Model Checking by Structural Information. | Liangze Yin, Fei He, Ming Gu |
| 2012 | ISCAS | Varactor-driven temperature compensation of CMOS floating-gate current memory. | Ming Gu, Shantanu Chakrabartty |
| 2012 | TASE | Modeling and Validation of PLC-Controlled Systems: A Case Study. | Rui Wang, Min Zhou, Liangze Yin, Lianyi Zhang, Jiaguang Sun, Ming Gu, Marius Bozga |
| 2011 | DCOSS | Directional diagnosis for wireless sensor networks. | Wei Gong, Kebin Liu, Yunhao Liu, Xibin Zhao, Ming Gu |
| 2011 | GLOBECOM | De-Anonymizing Dynamic Social Networks. | Xuan Ding, Lan Zhang, Zhiguo Wan, Ming Gu |
| 2011 | ICFEM | Domain-Driven Probabilistic Analysis of Programmable Logic Controllers. | Hehua Zhang, Yu Jiang, William N. N. Hung, Xiaoyu Song, Ming Gu |
| 2011 | ISCAS | An adaptive analog low-density parity-check decoder based on margin propagation. | Ming Gu, Shantanu Chakrabartty |
| 2011 | ISPEC | Hierarchical Attribute-Set Based Encryption for Scalable, Flexible and Fine-Grained Access Control in Cloud Computing. | Jun-e Liu, Zhiguo Wan, Ming Gu |
| 2011 | TASE | Proving Computational Geometry Algorithms in TLA+2. | Hui Kong, Hehua Zhang, Xiaoyu Song, Ming Gu, Jiaguang Sun |
| 2011 | TASE | An Efficient Resolution Based Algorithm for SAT. | Min Zhou, Fei He, Ming Gu |
| 2010 | CAV | On Array Theory of Bounded Elements. | Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu |
| 2010 | COMPSAC | Specifying Time-Sensitive Systems with TLA+. | Hehua Zhang, Ming Gu, Xiaoyu Song |
| 2010 | ISCAS | FAST: A simulation framework for solving large-scale probabilistic inverse problems in nano-biomolecular circuits. | Ming Gu, Yang Liu, Shantanu Chakrabartty |
| 2010 | ICSoft | A Domain-related Authority Model for Web Pages based on Source and Related Information. | Liu Yang, Chunping Li, Ming Gu |
| 2010 | IWQoS | DAWN: Energy efficient data aggregation in WSN with mobile sinks. | Shaojie Tang, Jing Yuan, Xiang-Yang Li, Yunhao Liu, Guihai Chen, Ming Gu, Jizhong Zhao, Guojun Dai |
| 2010 | PRICAI | Evaluating Importance of Websites on News Topics. | Yajie Miao, Chunping Li, Liu Yang, Lili Zhao, Ming Gu |
| 2010 | SENSYS | NOMAD: networked-observation and mobile-agent-based scene abstraction and determination. | Lin Zhang, Wenzhu Zhang, Xinyu Mao, Jiantao Jiao, Shijie Zheng, Linglong Li, Yujie Liu, Teng Wang, Ming Gu |
| 2010 | TASE | Compositional Abstraction Refinement for Timed Systems. | Fei He, He Zhu, William N. N. Hung, Xiaoyu Song, Ming Gu |
| 2010 | TASE | Parameterized Specification and Verification of PLC Systems in Coq. | Hai Wan, Xiaoyu Song, Ming Gu |
| 2009 | CCS | Anonymous user communication for privacy protection in wireless metropolitan mesh networks. | Zhiguo Wan, Kui Ren, Bo Zhu, Bart Preneel, Ming Gu |
| 2009 | COMPSAC | Formalization and Verification of PLC Timers in Coq. | Hai Wan, Gang Chen, Xiaoyu Song, Ming Gu |
| 2009 | COMPSAC | Translation-Based Model Checking for PLC Programs. | Min Zhou, Fei He, Ming Gu, Xiaoyu Song |
| 2009 | FMCAD | Data mining based decomposition for assume-guarantee reasoning. | He Zhu, Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu |
| 2009 | GLOBECOM | Sparse Decoding of Low Density Parity Check Codes Using Margin Propagation. | Ming Gu, Kiran Misra, Hayder Radha, Shantanu Chakrabartty |
| 2009 | GLOBECOM | Reusable Set Constructions Using Randomized Dissolvent Templates for Biometric Security. | Jinyang Shi, Kwok-Yan Lam, Ming Gu, Husheng Li |
| 2009 | ICECCS | Formal Specification and Code Generation of Programable Logic Controllers. | Rui Wang, Ming Gu, Xiaoyu Song, Hai Wan |
| 2009 | PIMRC | CLEAR: A confidential and Lifetime-Aware Routing Protocol for wireless sensor network. | Xiaoyuan Wang, Xinfeng Li, Zhiguo Wan, Ming Gu |
| 2009 | TASE | Specifying and Verifying PLC Systems with TLA+. | Hehua Zhang, Stephan Merz, Ming Gu |
| 2008 | COMPSAC | A Maximum Weight Heuristic Method for Abstract State Computation. | Li Li, Xiaoyu Song, Ming Gu, Jianmin Wang |
| 2008 | ICPR | Biomapping: Privacy trustworthy biometrics using noninvertible and discriminable constructions. | Jinyang Shi, Zhiyang You, Ming Gu, Kwok-Yan Lam |
| 2008 | TASE | Effective Predicate Abstraction for Program Verification. | Li Li, Ming Gu, Xiaoyu Song, Jianmin Wang |
| 2007 | PRDC | Predicting Defective Software Components from Code Complexity Measures. | Hongyu Zhang, Xiuzhen Zhang, Ming Gu |
| 2006 | ATVA | A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement. | Fei He, Xiaoyu Song, Ming Gu, Jia-Guang Sun |
| 2006 | COMPSAC | Verifying Java Programs By Theorem Prover HOL. | Anduo Wang, Fei He, Ming Gu, Xiaoyu Song |
| 2006 | ESORICS | Minimal Threshold Closure. | Xibin Zhao, Kwok-Yan Lam, Guiming Luo, Siu Leung Chung, Ming Gu |
| 2005 | CIS | Integrating Collaborate and Content-Based Filtering for Personalized Information Recommendation. | Zhiyun Xin, Jizhong Zhao, Ming Gu, Jiaguang Sun |
| 2005 | ICIP | Adaptive matching wavelet networks for face recognition. | Yang Zhi, Ming Gu |
| 2005 | ISCAS | Segmented channel routing with pin rearrangements via satisfiability. | Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu, Jiaguang Sun |
| 2005 | NPC | Secure Anonymous Communication with Conditional Traceability. | Zhaofeng Ma, Xibin Zhao, Zhi Guo, Ming Gu, Jiaguang Sun |
| 2004 | ACISP | Authorization Mechanisms for Virtual Organizations in Distributed Computing Systems. | Xibin Zhao, Kwok-Yan Lam, Siu Leung Chung, Ming Gu, Jia-Guang Sun |
| 2003 | ACNS | Efficient Presentation of Multivariate Audit Data for Intrusion Detection of Web-Based Internet Services. | Zhi Guo, Kwok-Yan Lam, Siu Leung Chung, Ming Gu, Jia-Guang Sun |
| 2003 | WISA | Enhancing Grid Security Infrastructure to Support Mobile Computing Nodes. | Kwok-Yan Lam, Xibin Zhao, Siu Leung Chung, Ming Gu, Jia-Guang Sun |
| 2002 | HiPC | Fast Stable Solver for Sequentially Semi-separable Linear Systems of Equations. | Shiv Chandrasekaran, Patrick M. Dewilde, Ming Gu, T. Pals, Alle-Jan van der Veen |
| 2001 | CIKM | Bipartite Graph Partitioning and Data Clustering. | Hongyuan Zha, Xiaofeng He, Chris H. Q. Ding, Ming Gu, Horst D. Simon |
| 2001 | ICDM | A Min-max Cut Algorithm for Graph Partitioning and Data Clustering. | Chris H. Q. Ding, Xiaofeng He, Hongyuan Zha, Ming Gu, Horst D. Simon |
| 1994 | SODA | An Efficient Algorithm for Dynamic Text Indexing. | Ming Gu, Martin Farach, Richard Beigel |