default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDYanju Chen
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
[j15]Yanju Chen, Mengxuan Chen, Tianran Hu:
Designing a sustainable-resilient vaccine cold chain network in uncertain environments. Comput. Chem. Eng. 194: 108936 (2025)- [j14]Shengjie Chen
, Yanju Chen:
Designing a resilient supply chain network: A multi-objective data-driven distributionally robust optimization method. Comput. Oper. Res. 173: 106868 (2025) - [c19]Achintya Desai, Ruochen Dai, Yanju Chen, Ky Ho, Austin Kee, Sophie Bulatovic, Md Shafiuzzaman, Ken Yihang Bai, Il Ung Jeong, David Siu, Tuba Yavuz, Tevfik Bultan:
Stateful Behavior Inference and Runtime Enforcement for Vehicle Network Security. VehicleSec 2025: 1-17 - [i8]Hongbo Wen, Hanzhi Liu, Jingyu Ke, Yanju Chen, Dahlia Malkhi, Yu Feng:
Thunderbolt: A Formally Verified Protocol for Off-Chain Bitcoin Transfers. IACR Cryptol. ePrint Arch. 2025: 709 (2025) - 2024
- [c18]Hongbo Wen, Hanzhi Liu, Jiaxin Song, Yanju Chen, Wenbo Guo, Yu Feng:
FORAY: Towards Effective Attack Synthesis against Deep Logical Vulnerabilities in DeFi Protocols. CCS 2024: 1001-1015 - [c17]Jingtao Xia, Junrui Liu, Nicholas Brown, Yanju Chen, Yu Feng:
Refinement Types for Visualization. ASE 2024: 1871-1881 - [c16]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 - [i7]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 abs/2407.06348 (2024) - [i6]Hanzhi Liu, Jingyu Ke, Hongbo Wen, Robin Linus, Lukas George, Manish Bista, Hakan Karakus, Domo, Junrui Liu, Yanju Chen, Yu Feng:
Push-Button Verification for BitVM Implementations. IACR Cryptol. ePrint Arch. 2024: 1768 (2024) - [i5]Yanju Chen, Juson Xia, Bo Wen, Kyle Charbonnet, Hongbo Wen, Hanzhi Liu, Luke Pearson, Yu Feng:
Scutum: Temporal Verification for Cross-Rollup Bridges via Goal-Driven Reduction. IACR Cryptol. ePrint Arch. 2024: 1834 (2024) - 2023
- [b1]Yanju Chen:
Deduction-Powered Neural Program Synthesis: A Synergistic Perspective. University of California, Santa Barbara, USA, 2023 - [j13]Shengjie Chen, Yanju Chen:
Designing a resilient supply chain network under ambiguous information and disruption risk. Comput. Chem. Eng. 179: 108428 (2023) - [j12]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): 6356-6380 (2023) - [j11]Junrui Liu, Yanju Chen, Eric Atkinson, Yu Feng, Rastislav Bodík:
Conflict-Driven Synthesis for Layout Engines. Proc. ACM Program. Lang. 7(PLDI): 638-659 (2023) - [j10]Shankara Pailoor, Yanju Chen, Franklyn Wang, Clara Rodríguez-Núñez, 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): 1510-1532 (2023) - [c15]Yanju Chen, Chenglong Wang, Xinyu Wang, Osbert Bastani, Yu Feng:
Fast and Reliable Program Synthesis via User Interaction. ASE 2023: 963-975 - [i4]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: 190 (2023) - [i3]Shankara Pailoor, Yanju Chen, Franklyn Wang, Clara Rodríguez-Núñez, 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: 512 (2023) - 2022
- [j9]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: 107937 (2022) - [j8]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: 118180 (2022) - [j7]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(OOPSLA1): 1-27 (2022) - [j6]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): 560-588 (2022) - [c14]Yanju Chen, Junrui Liu, Yu Feng, Rastislav Bodík:
Tree traversal synthesis using domain-specific symbolic compilation. ASPLOS 2022: 1030-1042 - [c13]Junrui Liu, Yanju Chen, Bryan Tan, Isil Dillig, Yu Feng:
Learning Contract Invariants Using Reinforcement Learning. ASE 2022: 63:1-63:11 - [c12]Yanju Chen, Xifeng Yan, Yu Feng:
Visualization question answering using introspective program synthesis. PLDI 2022: 137-151 - [c11]Priyanka Bose, Dipanjan Das, Yanju Chen, Yu Feng, Christopher Kruegel, Giovanni Vigna:
SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds. SP 2022: 161-178 - [i2]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 abs/2203.09452 (2022) - 2021
- [i1]Priyanka Bose, Dipanjan Das, Yanju Chen, Yu Feng, Christopher Kruegel, Giovanni Vigna:
SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds. CoRR abs/2104.08638 (2021) - 2020
- [c10]Yanju Chen, Chenglong Wang, Osbert Bastani, Isil Dillig, Yu Feng:
Program Synthesis Using Deduction-Guided Reinforcement Learning. CAV (2) 2020: 587-610 - [c9]Benjamin Mariano, Yanju Chen, Yu Feng, Shuvendu K. Lahiri, Isil Dillig:
Demystifying Loops in Smart Contracts. ASE 2020: 262-274
2010 – 2019
- 2019
- [j5]Ruben Martins, Jia Chen, Yanju Chen, Yu Feng, Isil Dillig:
Trinity: An Extensible Synthesis Framework for Data Science. Proc. VLDB Endow. 12(12): 1914-1917 (2019) - [j4]Yankui Liu, Yanju Chen, Guoqing Yang:
Developing Multiobjective Equilibrium Optimization Method for Sustainable Uncertain Supply Chain Planning Problems. IEEE Trans. Fuzzy Syst. 27(5): 1037-1051 (2019) - [c8]Yanju Chen, Ruben Martins, Yu Feng:
Maximal multi-layer specification synthesis. ESEC/SIGSOFT FSE 2019: 602-612 - 2018
- [j3]Wenfei Li, Yankui Liu, Yanju Chen:
Modeling a two-stage supply contract problem in a hybrid uncertain environment. Comput. Ind. Eng. 123: 289-302 (2018) - [j2]Naiqi Liu, Yanju Chen, Yankui Liu:
Optimizing portfolio selection problems under credibilistic CVaR criterion. J. Intell. Fuzzy Syst. 34(1): 335-347 (2018) - [j1]Yanju Chen, Jinwu Gao, Guoqing Yang, Yankui Liu:
Solving equilibrium standby redundancy optimization problem by hybrid PSO algorithm. Soft Comput. 22(17): 5631-5645 (2018) - 2017
- [c7]Yanju Chen, Rong Pan:
Automatic Emphatic Information Extraction from Aligned Acoustic Data and Its Application on Sentence Compression. AAAI 2017: 3422-3428 - 2011
- [c6]Ying Liu, Yanju Chen:
Mean-Entropy Model for Portfolio Selection with Type-2 Fuzzy Returns. ICIC (3) 2011: 345-352 - [c5]Yanju Chen, Ying Liu:
Standby Redundancy Optimization with Type-2 Fuzzy Lifetimes. ICSI (1) 2011: 329-337 - 2010
- [c4]Ying Liu, Yanju Chen:
Expectation formulas for reduced fuzzy variables. ICMLC 2010: 568-552
2000 – 2009
- 2006
- [c3]Yan-Kui Liu, Baoding Liu, Yanju Chen:
The Infinite Dimensional Product Possibility Space and Its Applications. ICIC (2) 2006: 984-989 - 2005
- [c2]Yanju Chen, Yan-Kui Liu, Junfen Chen:
Fuzzy Portfolio Selection Problems Based on Credibility Theory. ICMLC 2005: 377-386 - [c1]Huimin Feng, Xuefei Li, Tiegang Fan, Yanju Chen:
Some Characteristics of Fuzzy Integrals as a Multiple Classifiers Fusion Method. ICMLC 2005: 1014-1024
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-10-28 22:53 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
