Wei Dong

Publication Activity (10 Years)

Years Active: 2001-2023
Publications (10 Years): 59

Top Topics

Buffer Overflow

Controller Synthesis

Symbolic Execution

Top Venues

Publications

Chen Zeng, Yue Yu, Shanshan Li, Xin Xia, Zhiming Wang, Mingyang Geng, Linxiao Bai, Wei Dong, Xiangke Liao
deGraphCS: Embedding Variable-based Flow Graph for Neural Code Search. ACM Trans. Softw. Eng. Methodol. 32 (2) (2023)
Zhaoqiang Guo, Tingting Tan, Shiran Liu, Xutong Liu, Wei Lai, Yibiao Yang, Yanhui Li, Lin Chen, Wei Dong, Yuming Zhou
Mitigating False Positive Static Analysis Warnings: Progress, Challenges, and Opportunities. IEEE Trans. Software Eng. 49 (12) (2023)
Yingwei Ma, Yue Yu, Shanshan Li, Zhouyang Jia, Jun Ma, Rulin Xu, Wei Dong, Xiangke Liao
MulCS: Towards a Unified Deep Representation for Multilingual Code Search. SANER (2023)
Deze Wang, Boxing Chen, Shanshan Li, Wei Luo, Shaoliang Peng, Wei Dong, Xiangke Liao
One Adapter for All Programming Languages? Adapter Tuning for Code Search and Summarization. ICSE (2023)
Lian Gu, Zihui Wang, Jiaxin Liu, Yating Zhang, Dong Yang, Wei Dong
Extension-Compression Learning: A deep learning code search method that simulates reading habits. ICECCS (2022)
Deze Wang, Zhouyang Jia, Shanshan Li, Yue Yu, Yun Xiong, Wei Dong, Xiangke Liao
Bridging Pre-trained Models and Downstream Tasks for Source Code Understanding. ICSE (2022)
Wei Zhao, Rui Li, Wanwei Liu, Wei Dong, Zhiming Liu
Probabilistic synthesis against GR(1) winning condition. Frontiers Comput. Sci. 16 (3) (2022)
Deze Wang, Zhouyang Jia, Shanshan Li, Yue Yu, Yun Xiong, Wei Dong, Xiangke Liao
Bridging Pre-trained Models and Downstream Tasks for Source Code Understanding. CoRR (2021)
Lian Gu, Zihui Wang, Jiaxin Liu, Yating Zhang, Dong Yang, Wei Dong
MACA: A Residual Network with Multi-Attention and Core Attributes for Code Search (S). SEKE (2021)
Yuanliang Zhang, Haochen He, Owolabi Legunsen, Shanshan Li, Wei Dong, Tianyin Xu
An Evolutionary Study of Configuration Design and Implementation in Cloud Systems. ICSE (2021)
Yuanliang Zhang, Haochen He, Owolabi Legunsen, Shanshan Li, Wei Dong, Tianyin Xu
An Evolutionary Study of Configuration Design and Implementation in Cloud Systems. ICSE (Companion Volume) (2021)
Xiang Du, Liangze Yin, Haining Feng, Wei Dong
Program Verification Enhanced Precise Analysis of Interrupt-Driven Program Vulnerabilities. APSEC (2021)
Yuanliang Zhang, Haochen He, Owolabi Legunsen, Shanshan Li, Wei Dong, Tianyin Xu
An Evolutionary Study of Configuration Design and Implementation in Cloud Systems. CoRR (2021)
Chen Zeng, Yue Yu, Shanshan Li, Xin Xia, Zhiming Wang, Mingyang Geng, Bailin Xiao, Wei Dong, Xiangke Liao
deGraphCS: Embedding Variable-based Flow Graph for Neural Code Search. CoRR (2021)
Yongjun Li, Wenli Ji, Xing Gao, Yao Deng, Wei Dong, Dongxu Li
Matching user accounts with spatio-temporal awareness across social networks. Inf. Sci. 570 (2021)
Deze Wang, Yue Yu, Shanshan Li, Wei Dong, Ji Wang, Qing Liao
MulCode: A Multi-task Learning Approach for Source Code Understanding. SANER (2021)
Xiang Du, Liangze Yin, Peng Wu, Liyuan Jia, Wei Dong
Vulnerability Analysis through Interface-based Checker Design. QRS Companion (2020)
Xudong Zhao, Rui Li, Wanwei Liu, Hao Shi, Shaoxian Shu, Wei Dong
Controller Synthesis for ROS-based Multi-Robot Collaboration. SEKE (2020)
Jiaxin Liu, Binbin Liu, Wei Dong, Yating Zhang, Daiyan Wang
How Much Support Can API Recommendation Methods Provide for Component-Based Synthesis? COMPSAC (2020)
Hao Shi, Rui Li, Wanwei Liu, Wei Dong, Ge Zhou
Iterative Controller Synthesis for Multirobot System. IEEE Trans. Reliab. 69 (3) (2020)
Peng Wu, Liangze Yin, Xiang Du, Liyuan Jia, Wei Dong
Graph-based Vulnerability Detection via Extracting Features from Sliced Code. QRS Companion (2020)
Cyrille Artho, Quoc-Sang Phan, Peter Aldous, Alyas Almaawi, Lucas Bang, Lasse Berglund, Tevfik Bultan, Zhenbang Chen, Hayes Converse, Wei Dong, William Eiers, Milos Gligoric, Simon Goldsmith, Lars Grunske, Joshua Hooker, Ismet Burak Kadron, Timo Kehrer, Sarfraz Khurshid, Xuan-Bach Dinh Le, David Lo, Eric Mercer, Sasa Misailovic, Egor Namakonov, Hoang Lam Nguyen, Yannic Noller, Benjamin Ogles, Rohan Padhye, Pavel Parízek, Corina S. Pasareanu, Sheridan Jacob Powell, Seemanta Saha, Koushik Sen, Elena Sherman, Kyle Storey, Minxing Tang, Willem Visser, Ji Wang, Hengbiao Yu
The Java Pathfinder Workshop 2019. ACM SIGSOFT Softw. Eng. Notes 45 (2) (2020)
Rui Li, Hao Shi, Wanwei Liu, Wei Dong
Synthesizing Cooperative Controllers from Global Tasks of Multi-robot Systems. APSEC (2020)
Liangze Yin, Wei Dong, Wanwei Liu, Ji Wang
On Scheduling Constraint Abstraction for Multi-Threaded Program Verification. IEEE Trans. Software Eng. 46 (5) (2020)
Chi Hu, Wei Dong, Yonghui Yang, Hao Shi, Ge Zhou
Runtime Verification on Hierarchical Properties of ROS-Based Robot Swarms. IEEE Trans. Reliab. 69 (2) (2020)
Chi Hu, Wei Dong, Yonghui Yang, Hao Shi, Fei Deng
Decentralized runtime enforcement for robotic swarms. Frontiers Inf. Technol. Electron. Eng. 21 (11) (2020)
Xudong Zhao, Shaoxian Shu, Yutian Lan, Haining Feng, Wei Dong
Security Controller Synthesis for ROS-based Robot. QRS Companion (2020)
Hao Shi, Wei Dong, Rui Li, Wanwei Liu
Controller Resynthesis for Multirobot System When Changes Happen. Computer 53 (12) (2020)
Haining Feng, Liangze Yin, Wenfeng Lin, Xudong Zhao, Wei Dong
Rchecker: A CBMC-based Data Race Detector for Interrupt-driven Programs. QRS Companion (2020)
Zhenbang Chen, Hengbiao Yu, Ji Wang, Wei Dong
Symbolic Verification of Regular Properties for Java Programs. ACM SIGSOFT Softw. Eng. Notes 44 (4) (2019)
Deze Wang, Yong Guo, Wei Dong, Zhiming Wang, Haoran Liu, Shanshan Li
Deep Code-Comment Understanding and Assessment. IEEE Access 7 (2019)
Binbin Liu, Wei Dong, Yinzhu Zhang
Accelerating API-Based Program Synthesis via API Usage Pattern Mining. IEEE Access 7 (2019)
Liangze Yin, Wei Dong, Wanwei Liu, Ji Wang
Parallel refinement for multi-threaded program verification. ICSE (2019)
Wei Lu, Shaoxian Shu, Rao Shi, Rui Li, Wei Dong
Synthesizing Secure Reactive Controller for Unmanned Aerial System. DSA (2019)
Hengbiao Yu, Zhenbang Chen, Ji Wang, Zhendong Su, Wei Dong
Symbolic verification of regular properties. ICSE (2018)
Liangze Yin, Wei Dong, Wanwei Liu, Yunchou Li, Ji Wang
YOGAR-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement - (Competition Contribution). TACAS (2) (2018)
Bailin Lu, Wei Dong, Liangze Yin, Li Zhang
Evaluating and Integrating Diverse Bug Finders for Effective Program Analysis. SATE (2018)
Liangze Yin, Wei Dong, Wanwei Liu, Ji Wang
Scheduling constraint based abstraction refinement for weak memory models. ASE (2018)
Liangze Yin, Wei Dong, Fei He, Ji Wang
A True-Concurrency Encoding for BMC of Compositional Systems. Comput. J. 61 (5) (2018)
Hengbiao Yu, Zhenbang Chen, Xianjin Fu, Ji Wang, Zhendong Su, Wei Dong, Chun Huang
Combining Symbolic Execution and Model Checking to Verify MPI Programs. CoRR (2018)
Yijun Liu, Zhenbang Chen, Wei Dong, Chendong Feng
MC/DC coverage-oriented compiler optimization for symbolic execution. ICSE (Companion Volume) (2018)
Shuqi Chi, Shanshan Li, Yong Guo, Wei Dong, Zhouyang Jia, Haochen He, Qing Liao
NotOnlyLog: Mining Patch-Log Associations from Software Evolution History to Enhance Failure Diagnosis Capability. APSEC (2018)
Chengdong Feng, Zhenbang Chen, Weijiang Hong, Hengbiao Yu, Wei Dong, Ji Wang
Boosting the Robustness Verification of DNN by Identifying the Achilles's Heel. CoRR (2018)
Luhang Xu, Liangze Yin, Wei Dong, Weixi Jia, Yongjun Li
Expediting Binary Fuzzing with Symbolic Analysis. Int. J. Softw. Eng. Knowl. Eng. 28 (11-12) (2018)
Luhang Xu, Wei Dong, Liangze Yin, Weixi Jia, Shenzhi Li
Expediting Binary Fuzzing with Symbolic Analysis. SEKE (2018)
Xing Gao, Wenli Ji, Yongjun Li, Yao Deng, Wei Dong
User Identification with Spatio-Temporal Awareness across Social Networks. CIKM (2018)
Luhang Xu, Wei Dong, Liangze Yin, Qiuxi Zhong
Guide Fuzzing with Multi-Factor Potential Analysis. QRS Companion (2018)
Luhang Xu, Weixi Jia, Wei Dong, Yongjun Li
Automatic Exploit Generation for Buffer Overflow Vulnerabilities. QRS Companion (2018)
Hao Shi, Wei Dong, Ge Zhou, Liangze Yin
Monitor Synthesis for Parametric MTL Properties in Discrete Control Software. QRS Companion (2017)
Qilin Liu, Wei Dong, Liangze Yin, Xuan Qi, Shazhou Yang
混源软件质量模型与度量方法研究 (Research on Mixed Source Software Quality Model and Measurement Method). 计算机科学 44 (4) (2017)
Xiangyang Xu, Shanshan Li, Yong Guo, Wei Dong, Li Wang, Xiangke Liao
Automatic Type Inference for Proactive Misconfiguration Prevention. SEKE (2017)
Hengbiao Yu, Zhenbang Chen, Yufeng Zhang, Ji Wang, Wei Dong
RGSE: a regular property guided symbolic executor for Java. ESEC/SIGSOFT FSE (2017)
Ge Zhou, Wei Dong, Wanwei Liu, Hao Shi, Chi Hu, Liangze Yin
Optimizing Monitor Code Based on Patterns in Runtime Verification. QRS Companion (2017)
Lihua Zhu, Yanjun Wen, Wei Dong
基于语义补丁的Linux驱动程序后向移植技术 (Backporting of Linux Device Drivers Using Semantic Patch). 计算机科学 44 (11) (2017)
Binbin Liu, Wanwei Liu, Xiaoguang Mao, Wei Dong
无人驾驶汽车决策系统的规则正确性验证 (Correctness Verification of Rules for Unmanned Vehicles' Decision System). 计算机科学 44 (4) (2017)
Liangze Yin, Wei Dong, Wanwei Liu, Ji Wang
Scheduling Constraint Based Abstraction Refinement for Multi-Threaded Program Verification. CoRR (2017)
Jiahong Jiang, Liqian Chen, Yanjun Wen, Wei Dong, Ling Wen
Analyzing Math Library Functions via Summarization. QRS Companion (2016)
Shulin Zhou, Xiaodong Liu, Shanshan Li, Wei Dong, Xiangke Liao, Yun Xiong
ConfMapper: Automated Variable Finding for Configuration Items in Source Code. QRS Companion (2016)
Xueguang Wu, Liqian Chen, Antoine Miné, Wei Dong, Ji Wang
Static Analysis of Runtime Errors in Interrupt-Driven Programs via Sequentialization. ACM Trans. Embed. Comput. Syst. 15 (4) (2016)
Yufeng Zhang, Zhenbang Chen, Ji Wang, Wei Dong, Zhiming Liu
Regular Property Guided Dynamic Symbolic Execution. ICSE (1) (2015)
Xianjin Fu, Zhenbang Chen, Hengbiao Yu, Chun Huang, Wei Dong, Ji Wang
Poster: Symbolic Execution of MPI Programs. ICSE (2) (2015)
Xianjin Fu, Zhenbang Chen, Yufeng Zhang, Chun Huang, Wei Dong, Ji Wang
MPISE: Symbolic Execution of MPI Programs. HASE (2015)
Wanwei Liu, Rui Wang, Xianjin Fu, Ji Wang, Wei Dong, Xiaoguang Mao
Counterexample-Preserving Reduction for Symbolic Model Checking. J. Appl. Math. 2014 (2014)
Jingwen Zhou, Zhenbang Chen, Ji Wang, Zibin Zheng, Wei Dong
A Runtime Verification Based Trace-Oriented Monitoring Framework for Cloud Systems. ISSRE Workshops (2014)
Liqian Chen, Jiahong Jiang, Banghu Yin, Wei Dong, Ji Wang
Robustness Analysis of Floating-Point Programs by Self-Composition. J. Appl. Math. 2014 (2014)
Kang Yu, Zhenbang Chen, Wei Dong
A Predictive Runtime Verification Framework for Cyber-Physical Systems. SERE (Companion) (2014)
Xianjin Fu, Zhenbang Chen, Chun Huang, Wei Dong, Ji Wang
Synchronization Error Detection of MPI Programs by Symbolic Execution. APSEC (1) (2014)
Wanwei Liu, Rui Wang, Xianjin Fu, Ji Wang, Wei Dong, Xiaoguang Mao
Counterexample-Preserving Reduction for Symbolic Model Checking CoRR (2013)
Wanwei Liu, Rui Wang, Xianjin Fu, Ji Wang, Wei Dong, Xiaoguang Mao
Counterexample-Preserving Reduction for Symbolic Model Checking. ICTAC (2013)
Xueguang Wu, Yanjun Wen, Liqian Chen, Wei Dong, Ji Wang
Data Race Detection for Interrupt-Driven Programs via Bounded Model Checking. SERE (Companion) (2013)
Xian Zhang, Martin Leucker, Wei Dong
Runtime Verification with Predictive Semantics. NASA Formal Methods (2012)
Longming Dong, Wei Dong, Liqian Chen
Invalid Pointer Dereferences Detection for CPS Software Based on Extended Pointer Structures. SERE (Companion) (2012)
Wei Dong, Changzhi Zhao, Shaoxian Shu, Martin Leucker
Anticipatory active monitoring for safety- and security-critical software. Sci. China Inf. Sci. 55 (12) (2012)
Xian Zhang, Martin Leucker, Wei Dong
An event pattern language for runtime monitoring based on AOP. ICITST (2011)
Changzhi Zhao, Wei Dong, Martin Leucker, Zhichang Qi
Security Goals Assurance Based on Software Active Monitoring. SSIRI (2011)
Changzhi Zhao, Wei Dong, Zhichang Qi
Active Monitoring for Control Systems under Anticipatory Semantics. QSIC (2010)
Ji Wang, Xiaodong Ma, Wei Dong, Hou-Feng Xu, Wanwei Liu
Demand-Driven Memory Leak Detection Based on Flow- and Context-Sensitive Pointer Analysis. J. Comput. Sci. Technol. 24 (2) (2009)
Junmin Ye, Zemei Zhan, Zhenfang Zhang, Wei Dong, Zhichang Qi
Design of Some Artificial Immune Operators in Software Test Cases Generation. ICYCS (2008)
Wei Dong, Ji Wang, Changzhi Zhao, Xian Zhang, Jie Tian
Automating Software FMEA via Formal Analysis of Dependence Relations. COMPSAC (2008)
Junmin Ye, Wei Dong, Zhichang Qi
A Method to Generate Embedded Real-Time System Test Suites Based on Software Architecture Specifications. ICYCS (2008)
Junmin Ye, Junjie Wang, Wei Dong, Zhichang Qi
Implementation of String Recognition Algorithm Based on the Principle of Artificial Immunology. ICYCS (2008)
Wei Dong, Martin Leucker, Christian Schallhart
Impartial Anticipation in Runtime-Verification. ATVA (2008)
Xiaodong Ma, Ji Wang, Wei Dong
Shape Analysis by Refining on Abstract Evaluation Path. Electron. Notes Theor. Comput. Sci. 207 (2008)
Xiaodong Ma, Ji Wang, Wei Dong
Computing Must and May Alias to Detect Null Pointer Dereference. ISoLA (2008)
Wei Dong, Ji Wang, Zhichang Qi, Ni Rong
Compositional Verification of UML Dynamic Models. APSEC (2007)
Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi
Interface theory-based formalisation and verification of orchestration in BPEL4WS. Int. J. Bus. Process. Integr. Manag. 2 (4) (2007)
Wanwei Liu, Ji Wang, Wei Dong, Huowang Chen
Axiomatizing Extended Temporal Logic Fragments Via Instantiation. ICTAC (2007)
Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong
Modelling and model checking suspendible business processes via statechart diagrams and CSP. Sci. Comput. Program. 65 (1) (2007)
Wei Dong, Zhenbang Chen, Ji Wang
A Contract-based Approach to Specifying and Verifying Safety Critical Systems. Electron. Notes Theor. Comput. Sci. 176 (2) (2007)
Mengluo Ji, Huaimin Wang, Mengjun Li, Wei Dong, Zhichang Qi
An Value Range Analysis Based on Abstract Interpretation and Generalized Monotone Data Flow Framework. J. Comput. Res. Dev. 43 (11) (2006)
Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi
Towards Formal Interfaces for Web Services with Transactions. SITIS (2006)
Wing Lok Yeung, Ji Wang, Wei Dong
Verifying Choreographic Descriptions of Web Services Based on CSP. SCW (2006)
Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong
Model Checking Suspendible Business Processes via Statechart Diagrams and CSP. MSVVEIS (2006)
Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi, Wing Lok Yeung
An Interface Theory Based Approach to Verification of Web Services. COMPSAC (2) (2006)
Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong
Improvements Towards Formalizing UML State Diagrams in CSP. APSEC (2005)
Wei Dong, Ji Wang
Contract-Based Formal Specification of Safety Critical Systems. COMPSAC (2) (2005)
Shuhao Li, Ji Wang, Wei Dong, Zhichang Qi
Property-Oriented Testing of Real-Time Systems. APSEC (2004)
Ji Wang, Wei Dong, Zhichang Qi
Slicing Hierarchical Automata for Model Checking UML Statecharts. ICFEM (2002)
Wei Dong, Ji Wang, Xuan Qi, Zhichang Qi
Model Checking UML Statecharts. APSEC (2001)