Taolue Chen
Birkbeck, University of London
H-index: 29
Europe-United Kingdom
Top articles of Taolue Chen
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Context-aware code generation with synchronous bidirectional decoder | Journal of Systems and Software | Xiangyu Zhang Yu Zhou Guang Yang Tingting Han Taolue Chen | 2024/4/16 |
Towards Efficient Verification of Constant-Time Cryptographic Implementations | arXiv preprint arXiv:2402.13506 | Luwei Cai Fu Song Taolue Chen | 2024/2/21 |
EasyBC: A Cryptography-Specific Language for Security Analysis of Block Ciphers against Differential Cryptanalysis | PU SUN FU SONG YUQI CHEN TAOLUE CHEN | 2024 | |
Compositional Verification of First-Order Masking Countermeasures against Power Side-Channel Attacks | ACM Transactions on Software Engineering and Methodology | Pengfei Gao Fu Song Taolue Chen | 2023 |
Compositional Verification of Efficient Masking Countermeasures against Side-Channel Attacks | Proceedings of the ACM on Programming Languages | Pengfei Gao Yedi Zhang Fu Song Taolue Chen Francois-Xavier Standaert | 2023/10/16 |
Chain-of-Thought in Neural Code Generation: From and For Lightweight Language Models | arXiv preprint arXiv:2312.05562 | Guang Yang Yu Zhou Xiang Chen Xiangyu Zhang Terry Yue Zhuo | 2023/12/9 |
Learning with Logical Constraints but without Shortcut Satisfaction | arXiv preprint arXiv:2403.00329 | Zenan Li Zehua Liu Yuan Yao Jingwei Xu Taolue Chen | 2024/3/1 |
SAT-based Formal Fault-Resistance Verification of Cryptographic Circuits | arXiv preprint arXiv:2307.00561 | Huiyu Tan Pengfei Gao Taolue Chen Fu Song Zhilin Wu | 2023/7/2 |
Syntax-aware retrieval augmented code generation | Xiangyu Zhang Yu Zhou Guang Yang Taolue Chen | 2023/12 | |
Automated Verification of Correctness for Masked Arithmetic Programs | arXiv preprint arXiv:2305.16596 | Mingyang Liu Fu Song Taolue Chen | 2023/5/26 |
Advancing Transformer Architecture in Long-Context Large Language Models: A Comprehensive Survey | Yunpeng Huang Jingwei Xu Zixu Jiang Junyu Lai Zenan Li | 2023/11/21 | |
A Syntax-Guided Multi-Task Learning Approach for Turducken-Style Code Generation | arXiv preprint arXiv:2303.05061 | Guang Yang Yu Zhou Xiang Chen Xiangyu Zhang Yiran Xu | 2023/3/9 |
Neuro-symbolic Learning Yielding Logical Constraints | Advances in Neural Information Processing Systems | Zenan Li Yunpeng Huang Zhaoyu Li Yuan Yao Jingwei Xu | 2024/2/13 |
Test Reuse Based on Adaptive Semantic Matching across Android Mobile Applications | arXiv preprint arXiv:2301.00530 | Shuqi Liu Yu Zhou Tingting Han Taolue Chen | 2023/1/2 |
Assessing and Improving Syntactic Adversarial Robustness of Pre-trained Models for Code Translation | arXiv preprint arXiv:2310.18587 | Guang Yang Yu Zhou Xiangyu Zhang Xiang Chen Tingting Han | 2023/10/28 |
ADEPT: A Testing Platform for Simulated Autonomous Driving | Sen Wang Zhuheng Sheng Jingwei Xu Taolue Chen Junjun Zhu | 2022/10/10 | |
Sequence-Aware API Recommendation based on Collaborative Filtering | International Journal of Software Engineering and Knowledge Engineering | Yongchao Wang Yu Zhou Taolue Chen Jingxuan Zhang Wenhua Yang | 2022/8/19 |
QVIP: An ILP-based formal verification approach for quantized neural networks | Yedi Zhang Zhe Zhao Guangke Chen Fu Song Min Zhang | 2022/10/10 | |
ESampler: Boosting sampling of satisfying assignments for Boolean formulas via derivation | Journal of Systems Architecture | Yongjie Xu Fu Song Taolue Chen | 2022/6/16 |
DeJITLeak: Eliminating JIT-Induced Timing Side-Channel Leaks | Qi Qin JulianAndres JiYang Fu Song Taolue Chen Xinyu Xing | 2022/11/7 |