Yanju Chen - RankMe

46 papers A* 11Misc 3Journal 25Unranked 6

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Automated Repair of OpenID Connect Programs (Extended Version). CoRR Tamjid Al Rahat, Yanju Chen, Yu Feng, Yuan Tian
2025	A*	`conf`	Automated Repair of OpenID Connect Programs. ASE Tamjid Al Rahat, Yanju Chen, Yu Feng, Yuan Tian
2025	J	`jnl`	Designing a resilient supply chain network: A multi-objective data-driven distributionally robust optimization method. Comput. Oper. Res. Shengjie Chen, Yanju Chen
2025	J	`jnl`	Designing a sustainable-resilient vaccine cold chain network in uncertain environments. Comput. Chem. Eng. Yanju Chen, Mengxuan Chen, Tianran Hu
2025	—	`conf`	Stateful Behavior Inference and Runtime Enforcement for Vehicle Network Security. VehicleSec 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
2025	J	`jnl`	Tabby: A Synthesis-Aided Compiler for High-Performance Zero-Knowledge Proof Circuits. Proc. ACM Program. Lang. Junrui Liu, Jiaxin Song, Yanning Chen, Hanzhi Liu, Hongbo Wen, Luke Pearson, Yanju Chen, Yu Feng
2025	J	`jnl`	Thunderbolt: A Formally Verified Protocol for Off-Chain Bitcoin Transfers. IACR Cryptol. ePrint Arch. Hongbo Wen, Hanzhi Liu, Jingyu Ke, Yanju Chen, Dahlia Malkhi, Yu Feng
2024	A*	`conf`	FORAY: Towards Effective Attack Synthesis against Deep Logical Vulnerabilities in DeFi Protocols. CCS Hongbo Wen, Hanzhi Liu, Jiaxin Song, Yanju Chen, Wenbo Guo, Yu Feng
2024	J	`jnl`	FORAY: Towards Effective Attack Synthesis against Deep Logical Vulnerabilities in DeFi Protocols. CoRR Hongbo Wen, Hanzhi Liu, Jiaxin Song, Yanju Chen, Wenbo Guo, Yu Feng
2024	A*	`conf`	Practical Security Analysis of Zero-Knowledge Proof Circuits. USENIX Security Symposium Hongbo Wen, Jon Stephens, Yanju Chen, Kostas Ferles, Shankara Pailoor, Kyle Charbonnet, Isil Dillig, Yu Feng
2024	J	`jnl`	Push-Button Verification for BitVM Implementations. IACR Cryptol. ePrint Arch. Hanzhi Liu, Jingyu Ke, Hongbo Wen, Robin Linus, Lukas George, Manish Bista, Hakan Karakus, Domo, Junrui Liu, Yanju Chen, Yu Feng
2024	A*	`conf`	Refinement Types for Visualization. ASE Jingtao Xia, Junrui Liu, Nicholas Brown, Yanju Chen, Yu Feng
2024	J	`jnl`	Scutum: Temporal Verification for Cross-Rollup Bridges via Goal-Driven Reduction. IACR Cryptol. ePrint Arch. Yanju Chen, Juson Xia, Bo Wen, Kyle Charbonnet, Hongbo Wen, Hanzhi Liu, Luke Pearson, Yu Feng
2023	J	`jnl`	Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs. Proc. ACM Program. Lang. Shankara Pailoor, Yanju Chen, Franklyn Wang, Clara Rodríguez-Núñez, Jacob Van Geffen, Jason Morton, Michael Chu, Brian Gu, Yu Feng, Isil Dillig
2023	J	`jnl`	Automated Detection of Underconstrained Circuits for Zero-Knowledge Proofs. IACR Cryptol. ePrint Arch. Shankara Pailoor, Yanju Chen, Franklyn Wang, Clara Rodríguez-Núñez, Jacob Van Gaffen, Jason Morton, Michael Chu, Brian Gu, Yu Feng, Isil Dillig
2023	J	`jnl`	Conflict-Driven Synthesis for Layout Engines. Proc. ACM Program. Lang. Junrui Liu, Yanju Chen, Eric Atkinson, Yu Feng, Rastislav Bodík
2023	—	`—`	Deduction-Powered Neural Program Synthesis: A Synergistic Perspective Yanju Chen
2023	J	`jnl`	Designing a resilient supply chain network under ambiguous information and disruption risk. Comput. Chem. Eng. Shengjie Chen, Yanju Chen
2023	A*	`conf`	Fast and Reliable Program Synthesis via User Interaction. ASE Yanju Chen, Chenglong Wang, Xinyu Wang, Osbert Bastani, Yu Feng
2023	J	`jnl`	Optimising two-stage robust supplier selection and order allocation problem under risk-averse criterion. Int. J. Prod. Res. Yuqiang Feng, Yanju Chen, Yankui Liu
2023	J	`jnl`	Practical Security Analysis of Zero-Knowledge Proof Circuits. IACR Cryptol. ePrint Arch. Hongbo Wen, Jon Stephens, Yanju Chen, Kostas Ferles, Shankara Pailoor, Kyle Charbonnet, Isil Dillig, Yu Feng
2022	J	`jnl`	A robust multi-supplier multi-period inventory model with uncertain market demand and carbon emission constraint. Comput. Ind. Eng. Yuqiang Feng, Yankui Liu, Yanju Chen
2022	J	`jnl`	Automated Transpilation of Imperative to Functional Code using Neural-Guided Program Synthesis (Extended Version). CoRR Benjamin Mariano, Yanju Chen, Yu Feng, Greg Durrett, Isil Dillig
2022	J	`jnl`	Automated transpilation of imperative to functional code using neural-guided program synthesis. Proc. ACM Program. Lang. Benjamin Mariano, Yanju Chen, Yu Feng, Greg Durrett, Isil Dillig
2022	J	`jnl`	Distributionally robust location-allocation models of distribution centers for fresh products with uncertain demands. Expert Syst. Appl. Yuqiang Feng, Yan-Kui Liu, Yanju Chen
2022	A*	`conf`	Learning Contract Invariants Using Reinforcement Learning. ASE Junrui Liu, Yanju Chen, Bryan Tan, Isil Dillig, Yu Feng
2022	A*	`conf`	SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds. SP Priyanka Bose, Dipanjan Das, Yanju Chen, Yu Feng, Christopher Kruegel, Giovanni Vigna
2022	J	`jnl`	Synthesis-powered optimization of smart contracts via data type refactoring. Proc. ACM Program. Lang. Yanju Chen, Yuepeng Wang, Maruth Goyal, James Dong, Yu Feng, Isil Dillig
2022	A*	`conf`	Tree traversal synthesis using domain-specific symbolic compilation. ASPLOS Yanju Chen, Junrui Liu, Yu Feng, Rastislav Bodík
2022	A*	`conf`	Visualization question answering using introspective program synthesis. PLDI Yanju Chen, Xifeng Yan, Yu Feng
2021	J	`jnl`	SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds. CoRR Priyanka Bose, Dipanjan Das, Yanju Chen, Yu Feng, Christopher Kruegel, Giovanni Vigna
2020	A*	`conf`	Demystifying Loops in Smart Contracts. ASE Benjamin Mariano, Yanju Chen, Yu Feng, Shuvendu K. Lahiri, Isil Dillig
2020	—	`conf`	Program Synthesis Using Deduction-Guided Reinforcement Learning. CAV (2) Yanju Chen, Chenglong Wang, Osbert Bastani, Isil Dillig, Yu Feng
2019	J	`jnl`	Developing Multiobjective Equilibrium Optimization Method for Sustainable Uncertain Supply Chain Planning Problems. IEEE Trans. Fuzzy Syst. Yankui Liu, Yanju Chen, Guoqing Yang
2019	—	`conf`	Maximal multi-layer specification synthesis. ESEC/SIGSOFT FSE Yanju Chen, Ruben Martins, Yu Feng
2019	J	`jnl`	Trinity: An Extensible Synthesis Framework for Data Science. Proc. VLDB Endow. Ruben Martins, Jia Chen, Yanju Chen, Yu Feng, Isil Dillig
2018	J	`jnl`	Modeling a two-stage supply contract problem in a hybrid uncertain environment. Comput. Ind. Eng. Wenfei Li, Yankui Liu, Yanju Chen
2018	J	`jnl`	Optimizing portfolio selection problems under credibilistic CVaR criterion. J. Intell. Fuzzy Syst. Naiqi Liu, Yanju Chen, Yankui Liu
2018	J	`jnl`	Solving equilibrium standby redundancy optimization problem by hybrid PSO algorithm. Soft Comput. Yanju Chen, Jinwu Gao, Guoqing Yang, Yankui Liu
2017	A*	`conf`	Automatic Emphatic Information Extraction from Aligned Acoustic Data and Its Application on Sentence Compression. AAAI Yanju Chen, Rong Pan
2011	—	`conf`	Mean-Entropy Model for Portfolio Selection with Type-2 Fuzzy Returns. ICIC (3) Ying Liu, Yanju Chen
2011	—	`conf`	Standby Redundancy Optimization with Type-2 Fuzzy Lifetimes. ICSI (1) Yanju Chen, Ying Liu
2010	Misc	`conf`	Expectation formulas for reduced fuzzy variables. ICMLC Ying Liu, Yanju Chen
2006	—	`conf`	The Infinite Dimensional Product Possibility Space and Its Applications. ICIC (2) Yan-Kui Liu, Baoding Liu, Yanju Chen
2005	Misc	`conf`	Fuzzy Portfolio Selection Problems Based on Credibility Theory. ICMLC Yanju Chen, Yan-Kui Liu, Junfen Chen
2005	Misc	`conf`	Some Characteristics of Fuzzy Integrals as a Multiple Classifiers Fusion Method. ICMLC Huimin Feng, Xuefei Li, Tiegang Fan, Yanju Chen