Yanju Chen

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 28

Top Topics

Automated Detection

Program Synthesis

Top Venues

Proc. ACM Program. Lang.

IACR Cryptol. ePrint Arch.

Publications

Hongbo Wen, Hanzhi Liu, Jiaxin Song, Yanju Chen, Wenbo Guo, Yu Feng
FORAY: Towards Effective Attack Synthesis against Deep Logical Vulnerabilities in DeFi Protocols. CoRR (2024)
Hongbo Wen, Jon Stephens, Yanju Chen, Kostas Ferles, Shankara Pailoor, Kyle Charbonnet, Isil Dillig, Yu Feng
Practical Security Analysis of Zero-Knowledge Proof Circuits. USENIX Security Symposium (2024)
Shankara Pailoor, Yanju Chen, Franklyn Wang, Clara Rodríguez, Jacob Van Geffen, Jason Morton, Michael Chu, Brian Gu, Yu Feng, Isil Dillig
Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Shengjie Chen, Yanju Chen
Designing a resilient supply chain network under ambiguous information and disruption risk. Comput. Chem. Eng. 179 (2023)
Hongbo Wen, Jon Stephens, Yanju Chen, Kostas Ferles, Shankara Pailoor, Kyle Charbonnet, Isil Dillig, Yu Feng
Practical Security Analysis of Zero-Knowledge Proof Circuits. IACR Cryptol. ePrint Arch. 2023 (2023)
Yuqiang Feng, Yanju Chen, Yankui Liu
Optimising two-stage robust supplier selection and order allocation problem under risk-averse criterion. Int. J. Prod. Res. 61 (19) (2023)
Junrui Liu, Yanju Chen, Eric Atkinson, Yu Feng, Rastislav Bodík
Conflict-Driven Synthesis for Layout Engines. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Yanju Chen, Chenglong Wang, Xinyu Wang, Osbert Bastani, Yu Feng
Fast and Reliable Program Synthesis via User Interaction. ASE (2023)
Shankara Pailoor, Yanju Chen, Franklyn Wang, Clara Rodríguez, Jacob Van Gaffen, Jason Morton, Michael Chu, Brian Gu, Yu Feng, Isil Dillig
Automated Detection of Underconstrained Circuits for Zero-Knowledge Proofs. IACR Cryptol. ePrint Arch. 2023 (2023)
Yuqiang Feng, Yan-Kui Liu, Yanju Chen
Distributionally robust location-allocation models of distribution centers for fresh products with uncertain demands. Expert Syst. Appl. 209 (2022)
Yuqiang Feng, Yankui Liu, Yanju Chen
A robust multi-supplier multi-period inventory model with uncertain market demand and carbon emission constraint. Comput. Ind. Eng. 165 (2022)
Benjamin Mariano, Yanju Chen, Yu Feng, Greg Durrett, Isil Dillig
Automated Transpilation of Imperative to Functional Code using Neural-Guided Program Synthesis (Extended Version). CoRR (2022)
Yanju Chen, Junrui Liu, Yu Feng, Rastislav Bodík
Tree traversal synthesis using domain-specific symbolic compilation. ASPLOS (2022)
Yanju Chen, Yuepeng Wang, Maruth Goyal, James Dong, Yu Feng, Isil Dillig
Synthesis-powered optimization of smart contracts via data type refactoring. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Junrui Liu, Yanju Chen, Bryan Tan, Isil Dillig, Yu Feng
Learning Contract Invariants Using Reinforcement Learning. ASE (2022)
Priyanka Bose, Dipanjan Das, Yanju Chen, Yu Feng, Christopher Kruegel, Giovanni Vigna
SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds. IEEE Symposium on Security and Privacy (2022)
Yanju Chen, Xifeng Yan, Yu Feng
Visualization question answering using introspective program synthesis. PLDI (2022)
Benjamin Mariano, Yanju Chen, Yu Feng, Greg Durrett, Isil Dillig
Automated transpilation of imperative to functional code using neural-guided program synthesis. Proc. ACM Program. Lang. 6 (OOPSLA) (2022)
Priyanka Bose, Dipanjan Das, Yanju Chen, Yu Feng, Christopher Kruegel, Giovanni Vigna
SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds. CoRR (2021)
Yanju Chen, Chenglong Wang, Osbert Bastani, Isil Dillig, Yu Feng
Program Synthesis Using Deduction-Guided Reinforcement Learning. CAV (2) (2020)
Benjamin Mariano, Yanju Chen, Yu Feng, Shuvendu K. Lahiri, Isil Dillig
Demystifying Loops in Smart Contracts. ASE (2020)
Yanju Chen, Ruben Martins, Yu Feng
Maximal multi-layer specification synthesis. ESEC/SIGSOFT FSE (2019)
Ruben Martins, Jia Chen, Yanju Chen, Yu Feng, Isil Dillig
Trinity: An Extensible Synthesis Framework for Data Science. Proc. VLDB Endow. 12 (12) (2019)
Yankui Liu, Yanju Chen, Guoqing Yang
Developing Multiobjective Equilibrium Optimization Method for Sustainable Uncertain Supply Chain Planning Problems. IEEE Trans. Fuzzy Syst. 27 (5) (2019)
Naiqi Liu, Yanju Chen, Yankui Liu
Optimizing portfolio selection problems under credibilistic CVaR criterion. J. Intell. Fuzzy Syst. 34 (1) (2018)
Wenfei Li, Yankui Liu, Yanju Chen
Modeling a two-stage supply contract problem in a hybrid uncertain environment. Comput. Ind. Eng. 123 (2018)
Yanju Chen, Jinwu Gao, Guoqing Yang, Yankui Liu
Solving equilibrium standby redundancy optimization problem by hybrid PSO algorithm. Soft Comput. 22 (17) (2018)
Yanju Chen, Rong Pan
Automatic Emphatic Information Extraction from Aligned Acoustic Data and Its Application on Sentence Compression. AAAI (2017)
Yanju Chen, Ying Liu
Standby Redundancy Optimization with Type-2 Fuzzy Lifetimes. ICSI (1) (2011)
Ying Liu, Yanju Chen
Mean-Entropy Model for Portfolio Selection with Type-2 Fuzzy Returns. ICIC (3) (2011)
Ying Liu, Yanju Chen
Expectation formulas for reduced fuzzy variables. ICMLC (2010)
Yan-Kui Liu, Baoding Liu, Yanju Chen
The Infinite Dimensional Product Possibility Space and Its Applications. ICIC (2) (2006)
Huimin Feng, Xuefei Li, Tiegang Fan, Yanju Chen
Some Characteristics of Fuzzy Integrals as a Multiple Classifiers Fusion Method. ICMLC (2005)
Yanju Chen, Yan-Kui Liu, Junfen Chen
Fuzzy Portfolio Selection Problems Based on Credibility Theory. ICMLC (2005)