Yanju Chen

According to our database, Yanju Chen authored at least 37 papers between 2005 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

Designing a resilient supply chain network: A multi-objective data-driven distributionally robust optimization method.

Shengjie Chen, Yanju Chen

Comput. Oper. Res., 2025

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

IACR Cryptol. ePrint Arch., 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

IACR Cryptol. ePrint Arch., 2024

Refinement Types for Visualization.

Jingtao Xia, Junrui Liu, Nicholas Brown, Yanju Chen, Yu Feng

Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 2024

FORAY: Towards Effective Attack Synthesis against Deep Logical Vulnerabilities in DeFi Protocols.

Hongbo Wen, Hanzhi Liu, Jiaxin Song, Yanju Chen, Wenbo Guo, Yu Feng

Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024

2023

Designing a resilient supply chain network under ambiguous information and disruption risk.

Shengjie Chen, Yanju Chen

Comput. Chem. Eng., November, 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., October, 2023

Deduction-Powered Neural Program Synthesis: A Synergistic Perspective

Yanju Chen

PhD thesis, 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, Isil Dillig

Proc. ACM Program. Lang., 2023

Conflict-Driven Synthesis for Layout Engines.

Junrui Liu, Yanju Chen, Eric Atkinson, Yu Feng, Rastislav Bodík

Proc. ACM Program. Lang., 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

IACR Cryptol. ePrint Arch., 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, Isil Dillig

IACR Cryptol. ePrint Arch., 2023

Fast and Reliable Program Synthesis via User Interaction.

Yanju Chen, Chenglong Wang, Xinyu Wang, Osbert Bastani, Yu Feng

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

2022

Automated transpilation of imperative to functional code using neural-guided program synthesis.

Benjamin Mariano, Yanju Chen, Yu Feng, Greg Durrett, Isil Dillig

Proc. ACM Program. Lang., 2022

Synthesis-powered optimization of smart contracts via data type refactoring.

Yanju Chen, Yuepeng Wang, Maruth Goyal, James Dong, Yu Feng, Isil Dillig

Proc. ACM Program. Lang., 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

Automated Transpilation of Imperative to Functional Code using Neural-Guided Program Synthesis (Extended Version).

Benjamin Mariano, Yanju Chen, Yu Feng, Greg Durrett, Isil Dillig

CoRR, 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

SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds.

Priyanka Bose, Dipanjan Das, Yanju Chen, Yu Feng, Christopher Kruegel, Giovanni Vigna

Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022

Visualization question answering using introspective program synthesis.

Yanju Chen, Xifeng Yan, Yu Feng

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

Learning Contract Invariants Using Reinforcement Learning.

Junrui Liu, Yanju Chen, Bryan Tan, Isil Dillig, Yu Feng

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Tree traversal synthesis using domain-specific symbolic compilation.

Yanju Chen, Junrui Liu, Yu Feng, Rastislav Bodík

Proceedings of the ASPLOS '22: 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Lausanne, Switzerland, 28 February 2022, 2022

2020

Demystifying Loops in Smart Contracts.

Benjamin Mariano, Yanju Chen, Yu Feng, Shuvendu K. Lahiri, Isil Dillig

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Program Synthesis Using Deduction-Guided Reinforcement Learning.

Yanju Chen, Chenglong Wang, Osbert Bastani, Isil Dillig, Yu Feng

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

Developing Multiobjective Equilibrium Optimization Method for Sustainable Uncertain Supply Chain Planning Problems.

Yankui Liu, Yanju Chen, Guoqing Yang

IEEE Trans. Fuzzy Syst., 2019

Trinity: An Extensible Synthesis Framework for Data Science.

Ruben Martins, Jia Chen, Yanju Chen, Yu Feng, Isil Dillig

Proc. VLDB Endow., 2019

Maximal multi-layer specification synthesis.

Yanju Chen, Ruben Martins, Yu Feng

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

2018

Solving equilibrium standby redundancy optimization problem by hybrid PSO algorithm.

Yanju Chen, Jinwu Gao, Guoqing Yang, Yankui Liu

Soft Comput., 2018

Optimizing portfolio selection problems under credibilistic CVaR criterion.

Naiqi Liu, Yanju Chen, Yankui Liu

J. Intell. Fuzzy Syst., 2018

Modeling a two-stage supply contract problem in a hybrid uncertain environment.

Wenfei Li, Yankui Liu, Yanju Chen

Comput. Ind. Eng., 2018

2017

Automatic Emphatic Information Extraction from Aligned Acoustic Data and Its Application on Sentence Compression.

Yanju Chen, Rong Pan

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2011

Standby Redundancy Optimization with Type-2 Fuzzy Lifetimes.

Yanju Chen, Ying Liu

Proceedings of the Advances in Swarm Intelligence - Second International Conference, 2011

Mean-Entropy Model for Portfolio Selection with Type-2 Fuzzy Returns.

Ying Liu, Yanju Chen

Proceedings of the Bio-Inspired Computing and Applications, 2011

2010

Expectation formulas for reduced fuzzy variables.

Ying Liu, Yanju Chen

Proceedings of the International Conference on Machine Learning and Cybernetics, 2010

2006

The Infinite Dimensional Product Possibility Space and Its Applications.

Yan-Kui Liu, Baoding Liu, Yanju Chen

Proceedings of the Computational Intelligence, 2006

2005

Some Characteristics of Fuzzy Integrals as a Multiple Classifiers Fusion Method.

Huimin Feng, Xuefei Li, Tiegang Fan, Yanju Chen

Proceedings of the Advances in Machine Learning and Cybernetics, 2005

Fuzzy Portfolio Selection Problems Based on Credibility Theory.

Yanju Chen, Yan-Kui Liu, Junfen Chen

Proceedings of the Advances in Machine Learning and Cybernetics, 2005