Geguang Pu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
76
Venues
40
Active years
2003–2026
Best venue rank
A*
Where they publish
- NationalTASE9 papers
- A*AAAI5 papers
- A*ICSE5 papers
- CAPSEC5 papers
- CICFEM5 papers
- CSEW4 papers
- AISSTA3 papers
- AICCAD3 papers
- BICECCS3 papers
- AECAI2 papers
- A*CAV2 papers
- CISoLA2 papers
- BCOMPSAC1 paper
- A*INFOCOM1 paper
- ASANER1 paper
- A*ACL1 paper
- AISSRE1 paper
- AUSENIX1 paper
- A*CVPR1 paper
- CICANN1 paper
- MulticonferenceICASSP1 paper
- BVMCAI1 paper
- ATACAS1 paper
- A*ECCV1 paper
- CTAMC1 paper
- A*IJCAI1 paper
- BCONCUR1 paper
- CKSEM1 paper
- CPRDC1 paper
- NationalVLSID1 paper
- CTIME1 paper
- BICWE1 paper
- NationalICDCIT1 paper
- CDDECS1 paper
- AICWS1 paper
- BKES1 paper
- BFM1 paper
- BIFM1 paper
- BSEFM1 paper
- A*SIGIR1 paper
Papers
76 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | COMPSAC | CovCraft: LLM-Guided Intelligent Framework for Constraint-Based Testing of Deep Learning Compiler Pipelines. | Yifei He, Fangyuan Yang, Ting Su, Yueling Zhang, Geguang Pu |
| 2026 | INFOCOM | CRONUS: Counterexample-Guided Constraint Learning for Network Update Synthesis. | Jianshuo Xu, Hongtai Zhu, Jincheng Ding, Runxuan Fang, Yechuan Xia, Haiqin Wu, Chengcheng Wan, Jianwen Li, Geguang Pu |
| 2026 | SANER | Understanding the Effectiveness of Mutators in Mutation-Based Protocol Fuzzing. | Xiyuan Zhang, Jiayi Jiang, Yiutak Choi, Ting Su, Haiying Sun, Chengcheng Wan, Geguang Pu |
| 2025 | AAAI | Perception-Guided Jailbreak Against Text-to-Image Models. | Yihao Huang, Le Liang, Tianlin Li, Xiaojun Jia, Run Wang, Weikai Miao, Geguang Pu, Yang Liu |
| 2025 | ACL | Efficient Universal Goal Hijacking with Semantics-guided Prompt Organization. | Yihao Huang, Chong Wang, Xiaojun Jia, Qing Guo, Felix Juefei-Xu, Jian Zhang, Yang Liu, Geguang Pu |
| 2025 | ECAI | A Compositional Framework for On-the-Fly LTL | Yongkang Li, Shengping Xiao, Shufang Zhu, Jianwen Li, Geguang Pu |
| 2025 | ICSE | IFSE: Taming Closed-Box Functions in Symbolic Execution via Fuzz Solving. | Qichang Wang, Chuyang Chen, Ruiyang Xu, Haiying Sun, Chengcheng Wan, Ting Su, Yueling Zhang, Geguang Pu |
| 2025 | ISSRE | Runtime Verification of Tactical Data Link. | Qian Wang, Zhiyuan Hu, Wei Ma, Qiang Chen, Yueling Zhang, Geguang Pu |
| 2025 | ISSTA | Revisiting the Combination of Static Analysis Error Traces and Dynamic Symbolic Execution: A Potential Approach for True Positive Confirmation (Registered Report). | Yihua Xu, Chengyu Zhang, Geguang Pu |
| 2025 | USENIX | Optimizing Input Minimization in Kernel Fuzzing. | Hui Guo, Hao Sun, Shan Huang, Ting Su, Geguang Pu, Shaohua Li |
| 2025 | TASE | Unleash the Hidden Power of CAR-Based Model Checking Through Dynamic Traversal. | Yibo Dong, Yu Chen, Jianwen Li, Geguang Pu |
| 2024 | AAAI | Personalization as a Shortcut for Few-Shot Backdoor Attack against Text-to-Image Diffusion Models. | Yihao Huang, Felix Juefei-Xu, Qing Guo, Jie Zhang, Yutong Wu, Ming Hu, Tianlin Li, Geguang Pu, Yang Liu |
| 2024 | CVPR | Cosalpure: Learning Concept from Group Images for Robust Co-Saliency Detection. | Jiayi Zhu, Qing Guo, Felix Juefei-Xu, Yihao Huang, Yang Liu, Geguang Pu |
| 2024 | ICANN | CFP: A Reinforcement Learning Framework for Comprehensive Fairness-Performance Trade-Off in Machine Learning. | Simiao Zhang, Jitao Bai, Menghong Guan, Yueling Zhang, Jun Sun, Yihao Huang, Jiaping Wang, Chengcheng Wan, Ting Su, Geguang Pu |
| 2024 | ICASSP | Architecture-Agnostic Iterative Black-Box Certified Defense Against Adversarial Patches. | Di Yang, Yihao Huang, Qing Guo, Felix Juefei-Xu, Ming Hu, Yang Liu, Geguang Pu |
| 2024 | VMCAI | Model-Guided Synthesis for LTL over Finite Traces. | Shengping Xiao, Yongkang Li, Xinyue Huang, Yicong Xu, Jianwen Li, Geguang Pu, Ofer Strichman, Moshe Y. Vardi |
| 2023 | CAV | Searching for i-Good Lemmas to Accelerate Safety Model Checking. | Yechuan Xia, Anna Becchi, Alessandro Cimatti, Alberto Griggio, Jianwen Li, Geguang Pu |
| 2023 | ISSTA | An Empirical Study of Functional Bugs in Android Apps. | Yiheng Xiong, Mengqian Xu, Ting Su, Jingling Sun, Jue Wang, He Wen, Geguang Pu, Jifeng He, Zhendong Su |
| 2023 | TACAS | FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format. | Shengping Xiao, Chengyu Zhang, Jianwen Li, Geguang Pu |
| 2022 | ECCV | Masked Faces with Faced Masks. | Jiayi Zhu, Qing Guo, Felix Juefei-Xu, Yihao Huang, Yang Liu, Geguang Pu |
| 2022 | ICCAD | Combining BMC and Complementary Approximate Reachability to Accelerate Bug-Finding. | Xiaoyu Zhang, Shengping Xiao, Jianwen Li, Geguang Pu, Ofer Strichman |
| 2021 | AAAI | On-the-fly Synthesis for LTL over Finite Traces. | Shengping Xiao, Jianwen Li, Shufang Zhu, Yingying Shi, Geguang Pu, Moshe Y. Vardi |
| 2021 | ICCAD | Feedback-Guided Circuit Structure Mutation for Testing Hardware Model Checkers. | Chengyu Zhang, Minquan Sun, Jianwen Li, Ting Su, Geguang Pu |
| 2021 | ISSTA | Understanding and finding system setting-related defects in Android apps. | Jingling Sun, Ting Su, Junxin Li, Zhen Dong, Geguang Pu, Tao Xie, Zhendong Su |
| 2021 | TASE | Generating Test Cases from Requirements: A Case Study in Railway Control System Domain. | Hanyue Zheng, Jincao Feng, Weikai Miao, Geguang Pu |
| 2020 | AAAI | LTLƒ Synthesis with Fairness and Stability Assumptions. | Shufang Zhu, Giuseppe De Giacomo, Geguang Pu, Moshe Y. Vardi |
| 2020 | APSEC | SAT-Based Automata Construction for LTL over Finite Traces. | Yingying Shi, Shengping Xiao, Jianwen Li, Jian Guo, Geguang Pu |
| 2020 | ICSE | MemLock: memory usage guided fuzzing. | Cheng Wen, Haijun Wang, Yuekang Li, Shengchao Qin, Yang Liu, Zhiwu Xu, Hongxu Chen, Xiaofei Xie, Geguang Pu, Ting Liu |
| 2019 | AAAI | SAT-Based Explicit LTLf Satisfiability Checking. | Jianwen Li, Kristin Y. Rozier, Geguang Pu, Yueling Zhang, Moshe Y. Vardi |
| 2019 | ICFEM | SMTBCF: Efficient Backbone Computing for SMT Formulas. | Yueling Zhang, Geguang Pu, Min Zhang |
| 2019 | TAMC | First-Order vs. Second-Order Encodings for LTL | Shufang Zhu, Geguang Pu, Moshe Y. Vardi |
| 2018 | CAV | SimpleCAR: An Efficient Bug-Finding Tool Based on Approximate Reachability. | Jianwen Li, Rohit Dureja, Geguang Pu, Kristin Yvonne Rozier, Moshe Y. Vardi |
| 2018 | ICSE | Large-scale analysis of framework-specific exceptions in Android apps. | Lingling Fan, Ting Su, Sen Chen, Guozhu Meng, Yang Liu, Lihua Xu, Geguang Pu, Zhendong Su |
| 2018 | ICSE | Smartunit: empirical evaluations for automated unit testing of embedded software in industry. | Chengyu Zhang, Yichen Yan, Hanru Zhou, Yinbo Yao, Ke Wu, Ting Su, Weikai Miao, Geguang Pu |
| 2017 | ICCAD | Safety model checking with complementary approximations. | Jianwen Li, Shufang Zhu, Yueling Zhang, Geguang Pu, Moshe Y. Vardi |
| 2017 | IJCAI | Symbolic LTLf Synthesis. | Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi |
| 2017 | TASE | Optimizing backbone filtering. | Yueling Zhang, Jianwen Li, Min Zhang, Geguang Pu, Fu Song |
| 2016 | ICFEM | Automated Requirements Validation for ATP Software via Specification Review and Testing. | Weikai Miao, Geguang Pu, Yinbo Yao, Ting Su, Danzhu Bao, Yang Liu, Shuohao Chen, Kunpeng Xiong |
| 2015 | CONCUR | On Reachability Analysis of Pushdown Systems with Transductions: Application to Boolean Programs with Call-by-Reference. | Fu Song, Weikai Miao, Geguang Pu, Min Zhang |
| 2015 | ICECCS | Formal Development of a Real-Time Operating System Memory Manager. | Wen Su, Jean-Raymond Abrial, Geguang Pu, Bin Fang |
| 2015 | ICSE | Combining Symbolic Execution and Model Checking for Data Flow Testing. | Ting Su, Zhoulai Fu, Geguang Pu, Jifeng He, Zhendong Su |
| 2015 | KSEM | Fm-QCA: A Novel Approach to Multi-value Qualitative Comparative Analysis. | Ke Wu, Shiping Tang, Geguang Pu, Min Wu, Ting Su |
| 2014 | APSEC | Runtime Verification by Convergent Formula Progression. | Yan Shen, Jianwen Li, Zheng Wang, Ting Su, Bin Fang, Geguang Pu, Wanwei Liu, Mingsong Chen |
| 2014 | ECAI | LTLf Satisfiability Checking. | Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Y. Vardi, Jifeng He |
| 2014 | PRDC | Formalizing Google File System. | Mengdi Wang, Bo Li, Yongxin Zhao, Geguang Pu |
| 2014 | VLSID | Efficient Two-Phase Approaches for Branch-and-Bound Style Resource Constrained Scheduling. | Mingsong Chen, Fan Gu, Lei Zhou, Geguang Pu, Xiao Liu |
| 2014 | TASE | Combining Syntactic and Semantic Encoding for LTL Bounded Model Checking. | Wanwei Liu, Xiaoguang Mao, Geguang Pu, Rui Wang |
| 2013 | TIME | LTL Satisfiability Checking Revisited. | Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Y. Vardi, Jifeng He |
| 2012 | SEW | An Approach to Requirement Analysis for Periodic Control Systems. | Jianwen Li, Geguang Pu, Zheng Wang, Yuxiang Chen, Liyun Zhang, Yanxia Qi, Bin Gu |
| 2012 | TASE | A Type System for SPARDL. | Zheng Wang, Geguang Pu, Jianwen Li, Bin Gu |
| 2010 | APSEC | Model-Based Methods for Linking Web Service Choreography and Orchestration. | Jun Sun, Yang Liu, Jin Song Dong, Geguang Pu, Tian Huat Tan |
| 2010 | ICFEM | Automatically Testing Web Services Choreography with Assertions. | Lei Zhou, Jing Ping, Hao Xiao, Zheng Wang, Geguang Pu, Zuohua Ding |
| 2010 | ISoLA | SPARDL: A Requirement Modeling Language for Periodic Control System. | Zheng Wang, Jianwen Li, Yongxin Zhao, Yanxia Qi, Geguang Pu, Jifeng He, Bin Gu |
| 2010 | TASE | A Formal Model for Service Choreography with Exception Handling and Finalization. | Yongxin Zhao, Zheng Wang, Geguang Pu, Huibiao Zhu |
| 2009 | ICWE | Modelling and Verification of Web Navigation. | Zuohua Ding, Mingyue Jiang, Geguang Pu, Jeff W. Sanders |
| 2009 | TASE | Test Data Generation for Derived Types in C Program. | Zheng Wang, Xiao Yu, Tao Sun, Geguang Pu, Zuohua Ding, Jueliang Hu |
| 2008 | APSEC | Execution Semantics for rCOS. | Zheng Wang, Xiao Yu, Geguang Pu, Libo Feng, Huibiao Zhu, Jifeng He |
| 2008 | ICDCIT | A Denotational Model for Web Services Choreography. | Geguang Pu, Yongxin Zhao, Zheng Wang, Libo Feng, Huibiao Zhu, Jifeng He |
| 2008 | TASE | A Bigraphical Model of WSBPEL. | Min Zhang, Ling Shi, Longfei Zhu, Yifei Wang, Libo Feng, Geguang Pu |
| 2007 | APSEC | The Validation and Verification of WSCDL. | Geguang Pu, Jianqi Shi, Zheng Wang, Lu Jin, Jing Liu, Jifeng He |
| 2007 | ICECCS | A Formal Model for Compensable Transactions. | Jing Li, Huibiao Zhu, Geguang Pu, Jifeng He |
| 2007 | SEW | Modeling and Verifying Web Services Choreography Using Process Algebra. | Jing Li, Jifeng He, Huibiao Zhu, Geguang Pu |
| 2007 | SEW | Looking into Compensable Transactions. | Jing Li, Huibiao Zhu, Geguang Pu, Jifeng He |
| 2007 | SEW | An Operational Approach to BPEL-like Programming. | Huibiao Zhu, Jifeng He, Geguang Pu, Jing Li |
| 2007 | TASE | Conformance Validation between Choreography and Orchestration. | Jing Li, Huibiao Zhu, Geguang Pu |
| 2006 | DDECS | An Optimal Lower-Bound Algorithm for the High-Level Synthesis Scheduling Problem. | Geguang Pu, Jifeng He, Zongyan Qiu |
| 2006 | ICECCS | Integrating Timed Automata into Tabu Algorithm for HW-SW Partitioning. | Geguang Pu, Chong Zhang, Zongyan Qiu, Jifeng He, Wang Yi |
| 2006 | ICFEM | Towards the Semantics for Web Service Choreography Description Language. | Jing Li, Jifeng He, Geguang Pu, Huibiao Zhu |
| 2006 | ICFEM | Type Checking Choreography Description Language. | Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Geguang Pu |
| 2006 | ICWS | A Formal Model forWeb Service Choreography Description Language (WS-CDL). | Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Geguang Pu, Shuling Wang |
| 2006 | ISoLA | Patterns with Algebraic Properties in BPEL0. | Geguang Pu, Huibiao Zhu, Jifeng He, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao |
| 2006 | KES | A Hybrid Heuristic Algorithm for HW-SW Partitioning Within Timed Automata. | Geguang Pu, Chong Zhang, Zongyan Qiu, Zuoquan Lin, Jifeng He |
| 2005 | FM | Semantics of BPEL4WS-Like Fault and Compensation Handling. | Zongyan Qiu, Shuling Wang, Geguang Pu, Xiangpeng Zhao |
| 2004 | IFM | An Optimal Approach to Hardware/Software Partitioning for Synchronous Model. | Geguang Pu, Dang Van Hung, Jifeng He, Wang Yi |
| 2004 | SEFM | An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model. | Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu, Jifeng He, Wang Yi |
| 2003 | SIGIR | Building a web thesaurus from web link structure. | Zheng Chen, Shengping Liu, Liu Wenyin, Geguang Pu, Wei-Ying Ma |