Taolue Chen

ORCID

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 116

Top Venues

CoRR

ACM Trans. Softw. Eng. Methodol.

Proc. ACM Program. Lang.

IEEE Trans. Software Eng.

Publications

Zenan Li, Zehua Liu, Yuan Yao, Jingwei Xu, Taolue Chen, Xiaoxing Ma, Jian Lü
Learning with Logical Constraints but without Shortcut Satisfaction. CoRR (2024)
Zenan Li, Yuan Yao, Taolue Chen, Jingwei Xu, Chun Cao, Xiaoxing Ma, Jian Lü
Softened Symbol Grounding for Neuro-symbolic Systems. CoRR (2024)
Pu Sun, Fu Song, Yuqi Chen, Taolue Chen
EasyBC: A Cryptography-Specific Language for Security Analysis of Block Ciphers against Differential Cryptanalysis. Proc. ACM Program. Lang. 8 (POPL) (2024)
Luwei Cai, Fu Song, Taolue Chen
Towards Efficient Verification of Constant-Time Cryptographic Implementations. CoRR (2024)
Guang Yang, Yu Zhou, Xiang Chen, Xiangyu Zhang, Terry Yue Zhuo, David Lo, Taolue Chen
DeCE: Deceptive Cross-Entropy Loss Designed for Defending Backdoor Attacks. CoRR (2024)
Shuqi Liu, Yu Zhou, Longbing Ji, Tingting Han, Taolue Chen
Enhancing test reuse with GUI events deduplication and adaptive semantic matching. Sci. Comput. Program. 232 (2024)
Pengfei Gao, Fu Song, Taolue Chen
Compositional Verification of First-Order Masking Countermeasures against Power Side-Channel Attacks. ACM Trans. Softw. Eng. Methodol. 33 (3) (2024)
Xiangyu Zhang, Yu Zhou, Guang Yang, Tingting Han, Taolue Chen
Context-aware code generation with synchronous bidirectional decoder. J. Syst. Softw. 214 (2024)
Yu Zhou, Weilin Zhan, Zi Li, Tingting Han, Taolue Chen, Harald C. Gall
DRIVE: Dockerfile Rule Mining and Violation Detection. ACM Trans. Softw. Eng. Methodol. 33 (2) (2024)
Junjie Jiang, Lingxia Feng, Junguo Hu, Haoqi Liu, Chao Zhu, Baitong Chen, Taolue Chen
Global soil respiration predictions with associated uncertainties from different spatio-temporal data subsets. Ecol. Informatics 82 (2024)
Guang Yang, Yu Zhou, Wenhua Yang, Tao Yue, Xiang Chen, Taolue Chen
How Important Are Good Method Names in Neural Code Generation? A Model Robustness Perspective. ACM Trans. Softw. Eng. Methodol. 33 (3) (2024)
Luwei Cai, Fu Song, Taolue Chen
Towards Efficient Verification of Constant-Time Cryptographic Implementations. Proc. ACM Softw. Eng. 1 (FSE) (2024)
Guang Yang, Yu Zhou, Xiang Chen, Xiangyu Zhang, Yiran Xu, Tingting Han, Taolue Chen
A syntax-guided multi-task learning approach for Turducken-style code generation. Empir. Softw. Eng. 28 (6) (2023)
Yu Zhou, Chen Chen, Yongchao Wang, Tingting Han, Taolue Chen
Context-aware API recommendation using tensor factorization. Sci. China Inf. Sci. 66 (2) (2023)
Zenan Li, Zehua Liu, Yuan Yao, Jingwei Xu, Taolue Chen, Xiaoxing Ma, Jian Lü
Learning with Logical Constraints but without Shortcut Satisfaction. ICLR (2023)
Mingyang Liu, Fu Song, Taolue Chen
Automated Verification of Correctness for Masked Arithmetic Programs. CAV (3) (2023)
Pengfei Gao, Yedi Zhang, Fu Song, Taolue Chen, François-Xavier Standaert
Compositional Verification of Efficient Masking Countermeasures against Side-Channel Attacks. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Guang Yang, Yu Zhou, Xiang Chen, Xiangyu Zhang, Tingting Han, Taolue Chen
ExploitGen: Template-augmented exploit code generation based on CodeBERT. J. Syst. Softw. 197 (2023)
Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song, Taolue Chen
Precise Quantitative Analysis of Binarized Neural Networks: A BDD-based Approach. ACM Trans. Softw. Eng. Methodol. 32 (3) (2023)
Guang Yang, Yu Zhou, Xiangyu Zhang, Xiang Chen, Tingting Han, Taolue Chen
Assessing and Improving Syntactic Adversarial Robustness of Pre-trained Models for Code Translation. CoRR (2023)
Zenan Li, Yunpeng Huang, Zhaoyu Li, Yuan Yao, Jingwei Xu, Taolue Chen, Xiaoxing Ma, Jian Lu
Neuro-symbolic Learning Yielding Logical Constraints. NeurIPS (2023)
Shuqi Liu, Yu Zhou, Tingting Han, Taolue Chen
Test Reuse Based on Adaptive Semantic Matching across Android Mobile Applications. CoRR (2023)
Zenan Li, Yuan Yao, Taolue Chen, Jingwei Xu, Chun Cao, Xiaoxing Ma, Jian Lü
Softened Symbol Grounding for Neuro-symbolic Systems. ICLR (2023)
Guang Yang, Yu Zhou, Xiang Chen, Xiangyu Zhang, Yiran Xu, Tingting Han, Taolue Chen
A Syntax-Guided Multi-Task Learning Approach for Turducken-Style Code Generation. CoRR (2023)
Zenan Li, Maorun Zhang, Jingwei Xu, Yuan Yao, Chun Cao, Taolue Chen, Xiaoxing Ma, Jian Lu
Lightweight Approaches to DNN Regression Error Reduction: An Uncertainty Alignment Perspective. ICSE (2023)
Huiyu Tan, Pengfei Gao, Taolue Chen, Fu Song, Zhilin Wu
SAT-based Formal Fault-Resistance Verification of Cryptographic Circuits. CoRR (2023)
Yunpeng Huang, Jingwei Xu, Zixu Jiang, Junyu Lai, Zenan Li, Yuan Yao, Taolue Chen, Lijuan Yang, Zhou Xin, Xiaoxing Ma
Advancing Transformer Architecture in Long-Context Large Language Models: A Comprehensive Survey. CoRR (2023)
Mingyang Liu, Fu Song, Taolue Chen
Automated Verification of Correctness for Masked Arithmetic Programs. CoRR (2023)
Xiangyu Zhang, Yu Zhou, Guang Yang, Taolue Chen
Syntax-Aware Retrieval Augmented Code Generation. EMNLP (Findings) (2023)
Guang Yang, Yu Zhou, Xiang Chen, Xiangyu Zhang, Terry Yue Zhuo, Taolue Chen
Chain-of-Thought in Neural Code Generation: From and For Lightweight Language Models. CoRR (2023)
Pengfei Gao, Yongjie Xu, Fu Song, Taolue Chen
Model-based automated testing of JavaScript Web applications via longer test sequences. Frontiers Comput. Sci. 16 (3) (2022)
Yu Zhou, Xiaoqing Zhang, Juanjuan Shen, Tingting Han, Taolue Chen, Harald C. Gall
Adversarial Robustness of Deep Code Comment Generation. ACM Trans. Softw. Eng. Methodol. 31 (4) (2022)
Yu Zhou, Xinying Yang, Taolue Chen, Zhiqiu Huang, Xiaoxing Ma, Harald C. Gall
Boosting API Recommendation With Implicit Feedback. IEEE Trans. Software Eng. 48 (6) (2022)
Taolue Chen, Alejandro Flores-Lamas, Matthew Hague, Zhilei Han, Denghang Hu, Shuanglong Kan, Anthony W. Lin, Philipp Rümmer, Zhilin Wu
Solving string constraints with Regex-dependent functions through transducers with priorities and variables. Proc. ACM Program. Lang. 6 (POPL) (2022)
Shuqi Liu, Yu Zhou, Tingting Han, Taolue Chen
Test Reuse based on Adaptive Semantic Matching across Android Mobile Applications. QRS (2022)
Yuxin Fan, Fu Song, Taolue Chen, Liangfeng Zhang, Wanwei Liu
PoS4MPC: Automated Security Policy Synthesis for Secure Multi-party Computation. CAV (1) (2022)
Yongchao Wang, Yu Zhou, Taolue Chen, Jingxuan Zhang, Wenhua Yang, Zhiqiu Huang
Sequence-Aware API Recommendation Based on Collaborative Filtering. Int. J. Softw. Eng. Knowl. Eng. 32 (8) (2022)
Yedi Zhang, Zhe Zhao, Fu Song, Min Zhang, Taolue Chen, Jun Sun
QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks. CoRR (2022)
Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song, Min Zhang, Taolue Chen, Jun Sun
QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks. ASE (2022)
Qi Qin, JulianAndres JiYang, Fu Song, Taolue Chen, Xinyu Xing
Preventing Timing Side-Channels via Security-Aware Just-In-Time Compilation. CoRR (2022)
Sen Wang, Zhuheng Sheng, Jingwei Xu, Taolue Chen, Junjun Zhu, Shuhui Zhang, Yuan Yao, Xiaoxing Ma
ADEPT: A Testing Platform for Simulated Autonomous Driving. ASE (2022)
Yu Zhou, Juanjuan Shen, Xiaoqing Zhang, Wenhua Yang, Tingting Han, Taolue Chen
Automatic source code summarization with graph attention networks. J. Syst. Softw. 188 (2022)
Yu Zhou, Weilin Zhan, Zi Li, Tingting Han, Taolue Chen, Harald C. Gall
DRIVE: Dockerfile Rule Mining and Violation Detection. CoRR (2022)
Qi Qin, JulianAndres JiYang, Fu Song, Taolue Chen, Xinyu Xing
DeJITLeak: eliminating JIT-induced timing side-channel leaks. ESEC/SIGSOFT FSE (2022)
Yongjie Xu, Fu Song, Taolue Chen
ESampler: Boosting sampling of satisfying assignments for Boolean formulas via derivation. J. Syst. Archit. 129 (2022)
Pengfei Gao, Hongyi Xie, Pu Sun, Jun Zhang, Fu Song, Taolue Chen
Formal Verification of Masking Countermeasures for Arithmetic Programs. IEEE Trans. Software Eng. 48 (3) (2022)
Zhe Zhao, Yedi Zhang, Guangke Chen, Fu Song, Taolue Chen, Jiaxiang Liu
CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks. SAS (2022)
Guang Yang, Yu Zhou, Wenhua Yang, Tao Yue, Xiang Chen, Taolue Chen
How Important are Good Method Names in Neural Code Generation? A Model Robustness Perspective. CoRR (2022)
Yu Zhou, Yanqi Su, Taolue Chen, Zhiqiu Huang, Harald C. Gall, Sebastiano Panichella
User Review-Based Change File Localization for Mobile Applications. IEEE Trans. Software Eng. 47 (12) (2021)
Giuseppe Primiero, Franco Raimondi, Taolue Chen
A theory of change for prioritised resilient and evolvable software systems. Synth. 198 (23) (2021)
Raid Rafi Omar Al-Nima, Tingting Han, Saadoon A. M. Al-Sumaidaee, Taolue Chen, Wai Lok Woo
Robustness and performance of Deep Reinforcement Learning. Appl. Soft Comput. 105 (2021)
Pengfei Gao, Hongyi Xie, Fu Song, Taolue Chen
A Hybrid Approach to Formal Verification of Higher-Order Masked Arithmetic Programs. ACM Trans. Softw. Eng. Methodol. 30 (3) (2021)
Juanjuan Shen, Yu Zhou, Yongchao Wang, Xiang Chen, Tingting Han, Taolue Chen
Evaluating Code Summarization with Improved Correlation with Human Assessment. QRS (2021)
Yongchao Wang, Yu Zhou, Taolue Chen, Jingxuan Zhang, Wenhua Yang, Zhiqiu Huang
Hybrid Collaborative Filtering-Based API Recommendation. QRS (2021)
Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song, Taolue Chen
BDD4BNN: A BDD-Based Quantitative Analysis Framework for Binarized Neural Networks. CAV (1) (2021)
Taolue Chen, Alejandro Flores-Lamas, Matthew Hague, Zhilei Han, Denghang Hu, Shuanglong Kan, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu
Solving String Constraints With Regex-Dependent Functions Through Transducers With Priorities And Variables. CoRR (2021)
Yu Zhou, Haonan Jin, Xinying Yang, Taolue Chen, Krishna Narasimhan, Harald C. Gall
BRAID: an API recommender supporting implicit user feedback. ESEC/SIGSOFT FSE (2021)
Yu Zhou, Xiaoqing Zhang, Juanjuan Shen, Tingting Han, Taolue Chen, Harald C. Gall
Adversarial Robustness of Deep Code Comment Generation. CoRR (2021)
Yongjie Xu, Fu Song, Taolue Chen
ESampler: Efficient Sampling of Satisfying Assignments for Boolean Formulas. SETTA (2021)
Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song, Taolue Chen
BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks. CoRR (2021)
Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, Jim Woodcock
Learning safe neural network controllers with barrier certificates. Formal Aspects Comput. 33 (3) (2021)
Yu Zhou, Xinying Yang, Taolue Chen, Zhiqiu Huang, Xiaoxing Ma, Harald C. Gall
Boosting API Recommendation with Implicit Feedback. CoRR (2020)
Liyu Fang, Zhiqiu Huang, Yu Zhou, Taolue Chen
Adaptive Code Completion with Meta-learning. Internetware (2020)
Pengfei Gao, Hongyi Xie, Fu Song, Taolue Chen
A Hybrid Approach to Formal Verification of Higher-Order Masked Arithmetic Programs. CoRR (2020)
Taolue Chen, Matthew Hague, Jinlong He, Denghang Hu, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu
A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type. CoRR (2020)
Yue-Huan Wang, Zenan Li, Jingwei Xu, Ping Yu, Taolue Chen, Xiaoxing Ma
Predicted Robustness as QoS for Deep Neural Network Models. J. Comput. Sci. Technol. 35 (5) (2020)
Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu
Synthesizing barrier certificates using neural networks. HSCC (2020)
Xie Li, Taolue Chen, Zhilin Wu, Mingji Xia
Computing Linear Arithmetic Representation of Reachability Relation of One-Counter Automata. SETTA (2020)
Yu Zhou, Changzhi Wang, Xin Yan, Taolue Chen, Sebastiano Panichella, Harald C. Gall
Automatic Detection and Repair Recommendation of Directive Defects in Java API Documentation. IEEE Trans. Software Eng. 46 (9) (2020)
Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, Jim Woodcock
Learning Safe Neural Network Controllers with Barrier Certificates. SETTA (2020)
Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, Jim Woodcock
Learning Safe Neural Network Controllers with Barrier Certificates. CoRR (2020)
Raid Rafi Omar Al-Nima, Tingting Han, Taolue Chen, Satnam Singh Dlay, Jonathon A. Chambers
Finger Texture Biometric Characteristic: a Survey. CoRR (2020)
Xiaoqing Zhang, Yu Zhou, Tingting Han, Taolue Chen
Training Deep Code Comment Generation Models via Data Augmentation. Internetware (2020)
Yu Zhou, Tingting Han, Taolue Chen, Shiqi Zhou
Probabilistic analysis of QoS-aware service composition with explicit environment models. IET Softw. 14 (1) (2020)
Taolue Chen, Matthew Hague, Jinlong He, Denghang Hu, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu
A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type. ATVA (2020)
Raid Rafi Omar Al-Nima, Tingting Han, Taolue Chen
Road Tracking Using Deep Reinforcement Learning for Self-driving Car Applications. CORES (2019)
Pengfei Gao, Fu Song, Taolue Chen, Yao Zeng, Ting Su
Model-based Automated Testing of JavaScript Web Applications via Longer Test Sequences. CoRR (2019)
Yu Zhou, Xin Yan, Taolue Chen, Sebastiano Panichella, Harald C. Gall
DRONE: a tool to detect and repair directive defects in Java APIs documentation. ICSE (Companion Volume) (2019)
Pengfei Gao, Hongyi Xie, Jun Zhang, Fu Song, Taolue Chen
Quantitative Verification of Masked Arithmetic Programs Against Side-Channel Attacks. TACAS (1) (2019)
Yu Zhou, Xin Yan, Wenhua Yang, Taolue Chen, Zhiqiu Huang
Augmenting Java method comments generation with context information based on neural networks. J. Syst. Softw. 156 (2019)
Chong Gao, Taolue Chen, Zhilin Wu
Separation Logic with Linearly Compositional Inductive Predicates and Set Data Constraints. SOFSEM (2019)
Taolue Chen, Matthew Hague, Anthony W. Lin, Philipp Rümmer, Zhilin Wu
Decision procedures for path feasibility of string-manipulating programs with complex operations. Proc. ACM Program. Lang. 3 (POPL) (2019)
Jinlong He, Taolue Chen, Ping Wang, Zhilin Wu, Jun Yan
Android Multitasking Mechanism: Formal Semantics and Static Analysis of Apps. APLAS (2019)
Guisen Wu, Liyun Dai, Zhiming Liu, Taolue Chen, Jun Pang, Hongyang Qu
Online Observability of Boolean Control Networks. CoRR (2019)
Yu Zhou, Yanqi Su, Taolue Chen, Zhiqiu Huang, Harald C. Gall, Sebastiano Panichella
User Review-Based Change File Localization for Mobile Applications. CoRR (2019)
Fu Song, Yedi Zhang, Taolue Chen, Yu Tang, Zhiwu Xu
-Calculus. AAAI (2019)
Yedi Zhang, Fu Song, Taolue Chen
Making Agents' Abilities Explicit. IEEE Access 7 (2019)
Pengfei Gao, Hongyi Xie, Jun Zhang, Fu Song, Taolue Chen
Quantitative Verification of Masked Arithmetic Programs against Side-Channel Attacks. CoRR (2019)
Raid Rafi Omar Al-Nima, Tingting Han, Saadoon A. M. Al-Sumaidaee, Taolue Chen
Deep finger texture learning for verifying people. IET Biom. 8 (1) (2019)
Taolue Chen, Matthew Hague, Anthony W. Lin, Philipp Rümmer, Zhilin Wu
Decision Procedures for Path Feasibility of String-Manipulating Programs with Complex Operations. CoRR (2018)
Yedi Zhang, Fu Song, Taolue Chen
Making Agents' Abilities Explicit. CoRR (2018)
Liyun Dai, Taolue Chen, Zhiming Liu, Bican Xia, Naijun Zhan, Kim G. Larsen
Parameter Synthesis Problems for one parametric clock Timed Automata. CoRR (2018)
Taolue Chen, Tingting Han, Yongzhi Cao
Polynomial-time algorithms for computing distances of fuzzy transition systems. Theor. Comput. Sci. 727 (2018)
Taolue Chen, Yan Chen, Matthew Hague, Anthony W. Lin, Zhilin Wu
What is decidable about string constraints with the ReplaceAll function. Proc. ACM Program. Lang. 2 (POPL) (2018)
Chong Gao, Taolue Chen, Zhilin Wu
Separation Logic with Linearly Compositional Inductive Predicates and Set Data Constraints. CoRR (2018)
Taolue Chen, Jinlong He, Fu Song, Guozhen Wang, Zhilin Wu, Jun Yan
Android Stack Machine. CAV (2) (2018)
Liyun Dai, Bo Liu, Zhiming Liu, Taolue Chen
Parameter Synthesis Problems for Parametric Timed Automata. CoRR (2018)
Hengyang Wu, Taolue Chen, Tingting Han, Yixiang Chen
Bisimulations for fuzzy transition systems revisited. Int. J. Approx. Reason. 99 (2018)
Giuseppe Primiero, Franco Raimondi, Taolue Chen, Rajagopal Nagarajan
A Proof-Theoretic Trust and Reputation Model for VANET. EuroS&P Workshops (2017)
Taolue Chen, Fu Song, Zhilin Wu
Tractability of Separation Logic with Inductive Definitions: Beyond Lists. CONCUR (2017)

Taolue Chen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Taolue Chen