| 2026 | VTS | FVRuleLearner: Operator-Level Reasoning Tree (Op-Tree)-Based Rules Learning for Formal Verification. | Lily Jiaxin Wan, Chia-Tung Ho, Yunsheng Bai, Cunxi Yu, Deming Chen, Haoxing Ren |
| 2026 | TACAS | ReVEAL: GNN-Guided Reverse Engineering for Formal Verification of Optimized Multipliers. | Chen Chen, Daniela Kaufmann, Chenhui Deng, Zhan Song, Hongce Zhang, Cunxi Yu |
| 2025 | ASPLOS | SmoothE: Differentiable E-Graph Extraction. | Yaohui Cai, Kaixin Yang, Chenhui Deng, Cunxi Yu, Zhiru Zhang |
| 2025 | DAC | E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis. | Chen Chen, Guangyu Hu, Cunxi Yu, Yuzhe Ma, Hongce Zhang |
| 2025 | DAC | BoolE: Exact Symbolic Reasoning via Boolean Equality Saturation. | Jiaqi Yin, Zhan Song, Chen Chen, Qihao Hu, Cunxi Yu |
| 2025 | ICCAD | Revisit Choice Network for Synthesis and Technology Mapping. | Chen Chen, Jiaqi Yin, Cunxi Yu |
| 2025 | ICCAD | GROOT: Graph Edge Re-growth and Partitioning for the Verification of Large Designs in Logic Synthesis. | Kiran Thorat, Hongwu Peng, Yuebo Luo, Xi Xie, Shaoyi Huang, Amit Hasan, Jiahui Zhao, Yingjie Li, Zhijie Shi, Cunxi Yu, Caiwen Ding |
| 2025 | ICCAD | e-boost: Boosted E-Graph Extraction with Adaptive Heuristics and Exact Solving. | Jiaqi Yin, Zhan Song, Chen Chen, Yaohui Cai, Zhiru Zhang, Cunxi Yu |
| 2025 | ICML | Differentiable Quadratic Optimization For the Maximum Independent Set Problem. | Ismail Alkhouri, Cedric Le Denmat, Yingjie Li, Cunxi Yu, Jia Liu, Rongrong Wang, Alvaro Velasquez |
| 2025 | MMSys | SGSS: Streaming 6-DoF Navigation of Gaussian Splat Scenes. | Mufeng Zhu, Mingju Liu, Cunxi Yu, Cheng-Hsin Hsu, Yao Liu |
| 2025 | USENIX | HEC: Equivalence Verification Checking for Code Transformation via Equality Saturation. | Jiaqi Yin, Zhan Song, Nicolas Bohm Agostini, Antonino Tumeo, Cunxi Yu |
| 2024 | DAC | E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis. | Chen Chen, Guangyu Hu, Dongsheng Zuo, Cunxi Yu, Yuzhe Ma, Hongce Zhang |
| 2024 | DAC | Less is More: Hop-Wise Graph Attention for Scalable and Generalizable Learning on Circuits. | Chenhui Deng, Zichao Yue, Cunxi Yu, Gokce Sarar, Ryan Carey, Rajeev Jain, Zhiru Zhang |
| 2024 | DATE | BoolGebra: Attributed Graph-Learning for Boolean Algebraic Manipulation. | Yingjie Li, Anthony Agnesina, Yanqing Zhang, Haoxing Ren, Cunxi Yu |
| 2024 | ICCAD | MapTune: Advancing ASIC Technology Mapping via Reinforcement Learning Guided Library Tuning. | Mingju Liu, Daniel Robinson, Yingjie Li, Cunxi Yu |
| 2024 | ICML | Differentiable Combinatorial Scheduling at Scale. | Mingju Liu, Yingjie Li, Jiaqi Yin, Zhiru Zhang, Cunxi Yu |
| 2023 | ASPLOS | LightRidge: An End-to-end Agile Design Framework for Diffractive Optical Neural Networks. | Yingjie Li, Ruiyang Chen, Minhan Lou, Berardi Sensale Rodriguez, Weilu Gao, Cunxi Yu |
| 2023 | DAC | Equality Saturation for Datapath Synthesis: A Pathway to Pareto Optimality. | Ecenur Ustun, Cunxi Yu, Zhiru Zhang |
| 2023 | DAC | Gamora: Graph Learning based Symbolic Reasoning for Large-Scale Boolean Networks. | Nan Wu, Yingjie Li, Cong Hao, Steve Dai, Cunxi Yu, Yuan Xie |
| 2023 | DAC | RESPECT: Reinforcement Learning based Edge Scheduling on Pipelined Coral Edge TPUs. | Jiaqi Yin, Yingjie Li, Daniel Robinson, Cunxi Yu |
| 2023 | DAC | Physics-aware Roughness Optimization for Diffractive Optical Neural Networks. | Shanglin Zhou, Yingjie Li, Minhan Lou, Weilu Gao, Zhijie Shi, Cunxi Yu, Caiwen Ding |
| 2023 | ICCAD | Invited Paper: Verilog-to-PyG - A Framework for Graph Learning and Augmentation on RTL Designs. | Yingjie Li, Mingju Liu, Alan Mishchenko, Cunxi Yu |
| 2023 | ICCAD | AIM: Accelerating Arbitrary-Precision Integer Multiplication on Heterogeneous Reconfigurable Computing Platform Versal ACAP. | Zhuoping Yang, Jinming Zhuang, Jiaqi Yin, Cunxi Yu, Alex K. Jones, Peipei Zhou |
| 2023 | ICCAD | Accelerating Exact Combinatorial Optimization via RL-based Initialization - A Case Study in Scheduling. | Jiaqi Yin, Cunxi Yu |
| 2022 | FCCM | IMpress: Large Integer Multiplication Expression Rewriting for FPGA HLS. | Ecenur Ustun, Ismail San, Jiaqi Yin, Cunxi Yu, Zhiru Zhang |
| 2022 | ICCAD | Physics-Aware Differentiable Discrete Codesign for Diffractive Optical Neural Networks. | Yingjie Li, Ruiyang Chen, Weilu Gao, Cunxi Yu |
| 2021 | ASPDAC | Read your Circuit: Leveraging Word Embedding to Guide Logic Optimization. | Walter Lau Neto, Matheus Trevisan Moreira, Luca G. Amar, Cunxi Yu, Pierre-Emmanuel Gaillardon |
| 2021 | DAC | Late Breaking Results: Physical Adversarial Attacks of Diffractive Deep Neural Networks. | Yingjie Li, Cunxi Yu |
| 2021 | DAC | SLAP: A Supervised Learning Approach for Priority Cuts Technology Mapping. | Walter Lau Neto, Matheus T. Moreira, Yingjie Li, Luca G. Amar, Cunxi Yu, Pierre-Emmanuel Gaillardon |
| 2020 | ICCAD | FlowTune: Practical Multi-armed Bandits in Boolean Optimization. | Cunxi Yu |
| 2019 | ASPDAC | Spectral approach to verifying non-linear arithmetic circuits. | Cunxi Yu, Tiankai Su, Atif Yasin, Maciej J. Ciesielski |
| 2019 | DAC | Painting on Placement: Forecasting Routing Congestion using Conditional Generative Adversarial Nets. | Cunxi Yu, Zhiru Zhang |
| 2019 | FCCM | LAMDA: Learning-Assisted Multi-stage Autotuning for FPGA Design Closure. | Ecenur Ustun, Shaojie Xiang, Jinny Gui, Cunxi Yu, Zhiru Zhang |
| 2018 | DAC | Developing synthesis flows without human knowledge. | Cunxi Yu, Houping Xiao, Giovanni De Micheli |
| 2018 | ISCAS | Computer Algebraic Approach to Verification and Debugging of Galois Field Multipliers. | Tiankai Su, Atif Yasin, Cunxi Yu, Maciej J. Ciesielski |
| 2018 | LPAR | Rewriting Environment for Arithmetic Circuit Verification. | Cunxi Yu, Atif Yasin, Tiankai Su, Alan Mishchenko, Maciej J. Ciesielski |
| 2017 | ASPDAC | Efficient parallel verification of Galois field multipliers. | Cunxi Yu, Maciej J. Ciesielski |
| 2017 | DATE | Reverse engineering of irreducible polynomials in GF(2 | Cunxi Yu, Daniel E. Holcomb, Maciej J. Ciesielski |
| 2017 | ICCAD | Advanced datapath synthesis using graph isomorphism. | Cunxi Yu, Mihir Choudhury, Andrew Sullivan, Maciej J. Ciesielski |
| 2016 | DAC | DAG-aware logic synthesis of datapaths. | Cunxi Yu, Maciej J. Ciesielski, Mihir Choudhury, Andrew Sullivan |
| 2016 | DATE | Oracle-guided incremental SAT solving to reverse engineer camouflaged logic circuits. | Duo Liu, Cunxi Yu, Xiangyu Zhang, Daniel E. Holcomb |
| 2016 | ISCAS | Automatic word-level abstraction of datapath. | Cunxi Yu, Maciej J. Ciesielski |
| 2015 | DAC | Verification of gate-level arithmetic circuits by function extraction. | Maciej J. Ciesielski, Cunxi Yu, Walter Brown, Duo Liu, Andr Rossi |
| 2015 | ISCAS | Verification of arithmetic datapath designs using word-level approach - A case study. | Cunxi Yu, Walter Brown, Maciej J. Ciesielski |