Fuzzy Portfolio Selection Problems Based on Credibility Theory. - Yanju Chen; Yan-Kui Liu; Junfen Chen (ICMLC, 2005)

Some Characteristics of Fuzzy Integrals as a Multiple Classifiers Fusion Method. - Huimin Feng; Xuefei Li; Tiegang Fan; Yanju Chen (ICMLC, 2005)

The Infinite Dimensional Product Possibility Space and Its Applications. - Yan-Kui Liu; Baoding Liu; Yanju Chen (ICIC (2), 2006)

Expectation formulas for reduced fuzzy variables. - Ying Liu 016; Yanju Chen (ICMLC, 2010)

Mean-Entropy Model for Portfolio Selection with Type-2 Fuzzy Returns. - Ying Liu 016; Yanju Chen (ICIC (3), 2011)

Standby Redundancy Optimization with Type-2 Fuzzy Lifetimes. - Yanju Chen; Ying Liu 016 (ICSI (1), 2011)

Automatic Emphatic Information Extraction from Aligned Acoustic Data and Its Application on Sentence Compression. - Yanju Chen; Rong Pan (AAAI, 2017)

Modeling a two-stage supply contract problem in a hybrid uncertain environment. - Wenfei Li; Yankui Liu; Yanju Chen (Comput. Ind. Eng., 2018)

Optimizing portfolio selection problems under credibilistic CVaR criterion. - Naiqi Liu; Yanju Chen; Yankui Liu (J. Intell. Fuzzy Syst., 2018)

Solving equilibrium standby redundancy optimization problem by hybrid PSO algorithm. - Yanju Chen; Jinwu Gao; Guoqing Yang; Yankui Liu (Soft Comput., 2018)

Maximal multi-layer specification synthesis. - Yanju Chen; Ruben Martins; Yu Feng 001 (ESEC/SIGSOFT FSE, 2019)

Trinity: An Extensible Synthesis Framework for Data Science. - Ruben Martins; Jia Chen; Yanju Chen; Yu Feng 001; Isil Dillig (Proc. VLDB Endow., 2019)

Developing Multiobjective Equilibrium Optimization Method for Sustainable Uncertain Supply Chain Planning Problems. - Yankui Liu; Yanju Chen; Guoqing Yang (IEEE Trans. Fuzzy Syst., 2019)

Program Synthesis Using Deduction-Guided Reinforcement Learning. - Yanju Chen; Chenglong Wang; Osbert Bastani; Isil Dillig; Yu Feng 001 (CAV (2), 2020)

Demystifying Loops in Smart Contracts. - Benjamin Mariano; Yanju Chen; Yu Feng 001; Shuvendu K. Lahiri; Isil Dillig (ASE, 2020)

Tree traversal synthesis using domain-specific symbolic compilation. - Yanju Chen; Junrui Liu; Yu Feng 001; Rastislav Bodík (ASPLOS, 2022)

Learning Contract Invariants Using Reinforcement Learning. - Junrui Liu; Yanju Chen; Bryan Tan; Isil Dillig; Yu Feng 001 (ASE, 2022)

Visualization question answering using introspective program synthesis. - Yanju Chen; Xifeng Yan; Yu Feng 001 (PLDI, 2022)

SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds. - Priyanka Bose; Dipanjan Das 002; Yanju Chen; Yu Feng 001; Christopher Kruegel; Giovanni Vigna (SP, 2022)

A robust multi-supplier multi-period inventory model with uncertain market demand and carbon emission constraint. - Yuqiang Feng; Yankui Liu; Yanju Chen (Comput. Ind. Eng., 2022)

Automated Transpilation of Imperative to Functional Code using Neural-Guided Program Synthesis (Extended Version). - Benjamin Mariano; Yanju Chen; Yu Feng 001; Greg Durrett; Isil Dillig (CoRR, 2022)

Distributionally robust location-allocation models of distribution centers for fresh products with uncertain demands. - Yuqiang Feng; Yan-Kui Liu; Yanju Chen (Expert Syst. Appl., 2022)

Synthesis-powered optimization of smart contracts via data type refactoring. - Yanju Chen; Yuepeng Wang 001; Maruth Goyal; James Dong; Yu Feng 001; Isil Dillig (Proc. ACM Program. Lang., 2022)

Automated transpilation of imperative to functional code using neural-guided program synthesis. - Benjamin Mariano; Yanju Chen; Yu Feng 001; Greg Durrett; Isil Dillig (Proc. ACM Program. Lang., 2022)

Fast and Reliable Program Synthesis via User Interaction. - Yanju Chen; Chenglong Wang; Xinyu Wang 006; Osbert Bastani; Yu Feng 001 (ASE, 2023)

Automated Detection of Underconstrained Circuits for Zero-Knowledge Proofs. - Shankara Pailoor; Yanju Chen; Franklyn Wang; Clara Rodríguez-Núñez; Jacob Van Gaffen; Jason Morton; Michael Chu; Brian Gu; Yu Feng 001; Isil Dillig (IACR Cryptol. ePrint Arch., 2023)

Practical Security Analysis of Zero-Knowledge Proof Circuits. - Hongbo Wen; Jon Stephens; Yanju Chen; Kostas Ferles; Shankara Pailoor; Kyle Charbonnet; Isil Dillig; Yu Feng 001 (IACR Cryptol. ePrint Arch., 2023)

Conflict-Driven Synthesis for Layout Engines. - Junrui Liu; Yanju Chen; Eric Atkinson; Yu Feng 001; Rastislav Bodík (Proc. ACM Program. Lang., 2023)

Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs. - Shankara Pailoor; Yanju Chen; Franklyn Wang; Clara Rodríguez-Núñez; Jacob Van Geffen; Jason Morton; Michael Chu; Brian Gu; Yu Feng 001; Isil Dillig (Proc. ACM Program. Lang., 2023)

Deduction-Powered Neural Program Synthesis: A Synergistic Perspective - Yanju Chen (2023)

Optimising two-stage robust supplier selection and order allocation problem under risk-averse criterion. - Yuqiang Feng; Yanju Chen; Yankui Liu (Int. J. Prod. Res., 2023)

Designing a resilient supply chain network under ambiguous information and disruption risk. - Shengjie Chen; Yanju Chen (Comput. Chem. Eng., 2023)

FORAY: Towards Effective Attack Synthesis against Deep Logical Vulnerabilities in DeFi Protocols. - Hongbo Wen; Hanzhi Liu; Jiaxin Song; Yanju Chen; Wenbo Guo 002; Yu Feng 001 (CCS, 2024)

Refinement Types for Visualization. - Jingtao Xia; Junrui Liu; Nicholas Brown; Yanju Chen; Yu Feng 001 (ASE, 2024)

Scutum: Temporal Verification for Cross-Rollup Bridges via Goal-Driven Reduction. - Yanju Chen; Juson Xia; Bo Wen; Kyle Charbonnet; Hongbo Wen; Hanzhi Liu; Luke Pearson; Yu Feng 001 (IACR Cryptol. ePrint Arch., 2024)

Push-Button Verification for BitVM Implementations. - Hanzhi Liu; Jingyu Ke; Hongbo Wen; Robin Linus; Lukas George; Manish Bista; Hakan Karakus; Domo; Junrui Liu; Yanju Chen; Yu Feng 001 (IACR Cryptol. ePrint Arch., 2024)

Designing a sustainable-resilient vaccine cold chain network in uncertain environments. - Yanju Chen; Mengxuan Chen; Tianran Hu (Comput. Chem. Eng., 2025)

Designing a resilient supply chain network: A multi-objective data-driven distributionally robust optimization method. - Shengjie Chen; Yanju Chen (Comput. Oper. Res., 2025)

Thunderbolt: A Formally Verified Protocol for Off-Chain Bitcoin Transfers. - Hongbo Wen; Hanzhi Liu; Jingyu Ke; Yanju Chen; Dahlia Malkhi; Yu Feng 001 (IACR Cryptol. ePrint Arch., 2025)