| 2024 | CCS | FORAY: Towards Effective Attack Synthesis against Deep Logical Vulnerabilities in DeFi Protocols. | Hongbo Wen, Hanzhi Liu, Jiaxin Song, Yanju Chen, Wenbo Guo, Yu Feng |
| 2022 | ASPLOS | Tree traversal synthesis using domain-specific symbolic compilation. | Yanju Chen, Junrui Liu, Yu Feng, Rastislav Bodk |
| 2022 | PLDI | Visualization question answering using introspective program synthesis. | Yanju Chen, Xifeng Yan, Yu Feng |
| 2022 | SP | SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds. | Priyanka Bose, Dipanjan Das, Yanju Chen, Yu Feng, Christopher Kruegel, Giovanni Vigna |
| 2020 | CAV | Program Synthesis Using Deduction-Guided Reinforcement Learning. | Yanju Chen, Chenglong Wang, Osbert Bastani, Isil Dillig, Yu Feng |
| 2017 | AAAI | Automatic Emphatic Information Extraction from Aligned Acoustic Data and Its Application on Sentence Compression. | Yanju Chen, Rong Pan |
| 2010 | ICMLC | Expectation formulas for reduced fuzzy variables. | Ying Liu, Yanju Chen |
| 2005 | ICMLC | Fuzzy Portfolio Selection Problems Based on Credibility Theory. | Yanju Chen, Yan-Kui Liu, Junfen Chen |
| 2005 | ICMLC | Some Characteristics of Fuzzy Integrals as a Multiple Classifiers Fusion Method. | Huimin Feng, Xuefei Li, Tiegang Fan, Yanju Chen |