Cunxi Yu

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 73

Top Topics

Formal Verification

Reverse Engineer

Top Venues

Publications

Mingju Liu, Daniel Robinson, Yingjie Li, Cunxi Yu
MapTune: Advancing ASIC Technology Mapping via Reinforcement Learning Guided Library Tuning. CoRR (2024)
Yingjie Li, Anthony Agnesina, Yanqing Zhang, Haoxing Ren, Cunxi Yu
BoolGebra: Attributed Graph-Learning for Boolean Algebraic Manipulation. DATE (2024)
Mingju Liu, Yingjie Li, Jiaqi Yin, Zhiru Zhang, Cunxi Yu
Differentiable Combinatorial Scheduling at Scale. CoRR (2024)
Yingjie Li, Anthony Agnesina, Yanqing Zhang, Haoxing Ren, Cunxi Yu
BoolGebra: Attributed Graph-learning for Boolean Algebraic Manipulation. CoRR (2024)
Chenhui Deng, Zichao Yue, Cunxi Yu, Gokce Sarar, Ryan Carey, Rajeev Jain, Zhiru Zhang
Less is More: Hop-Wise Graph Attention for Scalable and Generalizable Learning on Circuits. CoRR (2024)
Chen Chen, Guangyu Hu, Dongsheng Zuo, Cunxi Yu, Yuzhe Ma, Hongce Zhang
E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis. CoRR (2024)
Ismail Alkhouri, Cedric Le Denmat, Yingjie Li, Cunxi Yu, Jia Liu, Rongrong Wang, Alvaro Velasquez
Dataless Quadratic Neural Networks for the Maximum Independent Set Problem. CoRR (2024)
Yingjie Li, Ruiyang Chen, Minhan Lou, Berardi Sensale Rodriguez, Weilu Gao, Cunxi Yu
LightRidge: An End-to-end Agile Design Framework for Diffractive Optical Neural Networks. ASPLOS (4) (2023)
Jiaqi Yin, Cunxi Yu
Accelerating Exact Combinatorial Optimization via RL-based Initialization - A Case Study in Scheduling. ICCAD (2023)
Yingjie Li, Mingju Liu, Alan Mishchenko, Cunxi Yu
Invited Paper: Verilog-to-PyG - A Framework for Graph Learning and Augmentation on RTL Designs. ICCAD (2023)
Jiaqi Yin, Yingjie Li, Daniel Robinson, Cunxi Yu
RESPECT: Reinforcement Learning based Edge Scheduling on Pipelined Coral Edge TPUs. CoRR (2023)
Yingjie Li, Mingju Liu, Mark Ren, Alan Mishchenko, Cunxi Yu
DAG-aware Synthesis Orchestration. CoRR (2023)
Walter Lau Neto, Yingjie Li, Pierre-Emmanuel Gaillardon, Cunxi Yu
FlowTune: End-to-End Automatic Logic Optimization Exploration via Domain-Specific Multiarmed Bandit. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42 (6) (2023)
Nan Wu, Yingjie Li, Cong Hao, Steve Dai, Cunxi Yu, Yuan Xie
Gamora: Graph Learning based Symbolic Reasoning for Large-Scale Boolean Networks. CoRR (2023)
Shanglin Zhou, Yingjie Li, Minhan Lou, Weilu Gao, Zhijie Shi, Cunxi Yu, Caiwen Ding
Physics-aware Roughness Optimization for Diffractive Optical Neural Networks. CoRR (2023)
Yingjie Li, Weilu Gao, Cunxi Yu
Rubik's Optical Neural Networks: Multi-task Learning with Physics-aware Rotation Architecture. CoRR (2023)
Nan Wu, Yingjie Li, Cong Hao, Steve Dai, Cunxi Yu, Yuan Xie
Gamora: Graph Learning based Symbolic Reasoning for Large-Scale Boolean Networks. DAC (2023)
Zhuoping Yang, Jinming Zhuang, Jiaqi Yin, Cunxi Yu, Alex K. Jones, Peipei Zhou
AIM: Accelerating Arbitrary-precision Integer Multiplication on Heterogeneous Reconfigurable Computing Platform Versal ACAP. CoRR (2023)
Ecenur Ustun, Cunxi Yu, Zhiru Zhang
Equality Saturation for Datapath Synthesis: A Pathway to Pareto Optimality. DAC (2023)
Jiaqi Yin, Yingjie Li, Daniel Robinson, Cunxi Yu
RESPECT: Reinforcement Learning based Edge Scheduling on Pipelined Coral Edge TPUs. DAC (2023)
Shanglin Zhou, Yingjie Li, Minhan Lou, Weilu Gao, Zhijie Shi, Cunxi Yu, Caiwen Ding
Physics-aware Roughness Optimization for Diffractive Optical Neural Networks. DAC (2023)
Zhuoping Yang, Jinming Zhuang, Jiaqi Yin, Cunxi Yu, Alex K. Jones, Peipei Zhou
AIM: Accelerating Arbitrary-Precision Integer Multiplication on Heterogeneous Reconfigurable Computing Platform Versal ACAP. ICCAD (2023)
Yingjie Li, Ruiyang Chen, Minhan Lou, Berardi Sensale Rodriguez, Weilu Gao, Cunxi Yu
LightRidge: An End-to-end Agile Design Framework for Diffractive Optical Neural Networks. CoRR (2023)
Jiaqi Yin, Cunxi Yu
Accelerating Exact Combinatorial Optimization via RL-based Initialization - A Case Study in Scheduling. CoRR (2023)
Yingjie Li, Mingju Liu, Alan Mishchenko, Cunxi Yu
Verilog-to-PyG - A Framework for Graph Learning and Augmentation on RTL Designs. CoRR (2023)
Ecenur Ustun, Ismail San, Jiaqi Yin, Cunxi Yu, Zhiru Zhang
IMpress: Large Integer Multiplication Expression Rewriting for FPGA HLS. FCCM (2022)
Yingheng Tang, Princess Tara Zamani, Ruiyang Chen, Jianzhu Ma, Minghao Qi, Cunxi Yu, Weilu Gao
Device-system Co-design of Photonic Neuromorphic Processor using Reinforcement Learning. CoRR (2022)
Ruiyang Chen, Yingjie Li, Minhan Lou, Jichao Fan, Yingheng Tang, Berardi Sensale Rodriguez, Cunxi Yu, Weilu Gao
Physics-aware Complex-valued Adversarial Machine Learning in Reconfigurable Diffractive All-optical Neural Network. CoRR (2022)
Yingjie Li, Ruiyang Chen, Weilu Gao, Cunxi Yu
Physics-aware Differentiable Discrete Codesign for Diffractive Optical Neural Networks. CoRR (2022)
Walter Lau Neto, Yingjie Li, Pierre-Emmanuel Gaillardon, Cunxi Yu
End-to-end Automatic Logic Optimization Exploration via Domain-specific Multi-armed Bandit. CoRR (2022)
Yingheng Tang, Jichao Fan, Xinwei Li, Jianzhu Ma, Minghao Qi, Cunxi Yu, Weilu Gao
Physics-informed recurrent neural network for time dynamics in optical resonances. Nat. Comput. Sci. 2 (3) (2022)
Yingjie Li, Ruiyang Chen, Weilu Gao, Cunxi Yu
Physics-Aware Differentiable Discrete Codesign for Diffractive Optical Neural Networks. ICCAD (2022)
Jiaqi Yin, Zhiru Zhang, Cunxi Yu
Exact Memory- and Communication-aware Scheduling of DNNs on Pipelined Edge TPUs. SEC (2022)
Walter Lau Neto, Matheus T. Moreira, Yingjie Li, Luca G. Amarù, Cunxi Yu, Pierre-Emmanuel Gaillardon
SLAP: A Supervised Learning Approach for Priority Cuts Technology Mapping. DAC (2021)
Yingjie Li, Cunxi Yu
Late Breaking Results: Physical Adversarial Attacks of Diffractive Deep Neural Networks. DAC (2021)
Walter Lau Neto, Matheus Trevisan Moreira, Luca G. Amarù, Cunxi Yu, Pierre-Emmanuel Gaillardon
Read your Circuit: Leveraging Word Embedding to Guide Logic Optimization. ASP-DAC (2021)
Cunxi Yu, Wang Zhou
Decision Making in Synthesis cross Technologies using LSTMs and Transfer Learning. MLCAD (2020)
Yingjie Li, Ruiyang Chen, Berardi Sensale Rodriguez, Weilu Gao, Cunxi Yu
Multi-Task Learning in Diffractive Deep Neural Networks via Hardware-Software Co-design. CoRR (2020)
Maciej J. Ciesielski, Tiankai Su, Atif Yasin, Cunxi Yu
Understanding Algebraic Rewriting for Arithmetic Circuit Verification: A Bit-Flow Model. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (6) (2020)
Cunxi Yu
FlowTune: Practical Multi-armed Bandits in Boolean Optimization. ICCAD (2020)
Weilu Gao, Cunxi Yu, Ruiyang Chen
Artificial Intelligence Accelerators based on Graphene Optoelectronic Devices. CoRR (2020)
Qiwei Yuan, Weizhe Hua, Yi Zhou, Cunxi Yu
Contrastive Weight Regularization for Large Minibatch SGD. CoRR (2020)
Cunxi Yu, Zhiru Zhang
Painting on Placement: Forecasting Routing Congestion using Conditional Generative Adversarial Nets. CoRR (2019)
Cunxi Yu, Tiankai Su, Atif Yasin, Maciej J. Ciesielski
Spectral approach to verifying non-linear arithmetic circuits. ASP-DAC (2019)
Ecenur Ustun, Shaojie Xiang, Jinny Gui, Cunxi Yu, Zhiru Zhang
LAMDA: Learning-Assisted Multi-stage Autotuning for FPGA Design Closure. FCCM (2019)
Cunxi Yu, Maciej J. Ciesielski
Formal Analysis of Galois Field Arithmetic Circuits-Parallel Verification and Reverse Engineering. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 38 (2) (2019)
Cunxi Yu, Zhiru Zhang
Painting on Placement: Forecasting Routing Congestion using Conditional Generative Adversarial Nets. DAC (2019)
Cunxi Yu, Tiankai Su, Atif Yasin, Maciej J. Ciesielski
Spectral Approach to Verifying Non-linear Arithmetic Circuits. CoRR (2019)
Tiankai Su, Atif Yasin, Cunxi Yu, Maciej J. Ciesielski
Computer Algebraic Approach to Verification and Debugging of Galois Field Multipliers. ISCAS (2018)
Cunxi Yu, Houping Xiao, Giovanni De Micheli
Developing Synthesis Flows Without Human Knowledge. CoRR (2018)
Cunxi Yu, Heinz Riener, Francesca Stradolini, Giovanni De Micheli
Generating Safety Guidance for Medical Injection with Three-Compartment Pharmacokinetics Model. ISVLSI (2018)
Cunxi Yu, Houping Xiao, Giovanni De Micheli
Developing synthesis flows without human knowledge. DAC (2018)
Cunxi Yu, Daniel E. Holcomb
). CoRR (2018)
Shahrzad Keshavarz, Cunxi Yu, Samaneh Ghandali, Xiaolin Xu, Daniel E. Holcomb
Survey on Applications of Formal Methods in Reverse Engineering and Intellectual Property Protection. J. Hardw. Syst. Secur. 2 (3) (2018)
Cunxi Yu, Maciej J. Ciesielski, Alan Mishchenko
Fast Algebraic Rewriting Based on And-Inverter Graphs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (9) (2018)
Cunxi Yu, Chau-Chin Huang, Gi-Joon Nam, Mihir Choudhury, Victor N. Kravets, Andrew Sullivan, Maciej J. Ciesielski, Giovanni De Micheli
End-to-End Industrial Study of Retiming. ISVLSI (2018)
Cunxi Yu, Atif Yasin, Tiankai Su, Alan Mishchenko, Maciej J. Ciesielski
Rewriting Environment for Arithmetic Circuit Verification. LPAR (2018)
Cunxi Yu, Wang Zhou
Performance Estimation of Synthesis Flows cross Technologies using LSTMs and Transfer Learning. CoRR (2018)
Cunxi Yu, Maciej J. Ciesielski
Formal Analysis of Galois Field Arithmetics - Parallel Verification and Reverse Engineering. CoRR (2018)
Cunxi Yu, Mihir Choudhury, Andrew Sullivan, Maciej J. Ciesielski
Advanced datapath synthesis using graph isomorphism. ICCAD (2017)
Cunxi Yu, Maciej J. Ciesielski
Efficient parallel verification of Galois field multipliers. ASP-DAC (2017)
Cunxi Yu, Mihir Choudhury, Andrew Sullivan, Maciej J. Ciesielski
Advanced Datapath Synthesis using Graph Isomorphism. CoRR (2017)
Cunxi Yu, Daniel E. Holcomb, Maciej J. Ciesielski
) arithmetic. DATE (2017)
Cunxi Yu, Xiangyu Zhang, Duo Liu, Maciej J. Ciesielski, Daniel E. Holcomb
Incremental SAT-Based Reverse Engineering of Camouflaged Logic Circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 36 (10) (2017)
Tiankai Su, Cunxi Yu, Atif Yasin, Maciej J. Ciesielski
Formal Verification of Truncated Multipliers Using Algebraic Approach and Re-Synthesis. ISVLSI (2017)
Cunxi Yu, Maciej J. Ciesielski
Efficient Parallel Verification of Galois Field Multipliers. CoRR (2016)
Duo Liu, Cunxi Yu, Xiangyu Zhang, Daniel E. Holcomb
Oracle-guided incremental SAT solving to reverse engineer camouflaged logic circuits. DATE (2016)
Cunxi Yu, Daniel E. Holcomb, Maciej J. Ciesielski
Reverse Engineering of Irreducible Polynomials in GF(2^m) Arithmetic. CoRR (2016)
Cunxi Yu, Maciej J. Ciesielski
Automatic word-level abstraction of datapath. ISCAS (2016)
Cunxi Yu, Maciej J. Ciesielski
Formal Verification Using Don't-Care and Vanishing Polynomials. ISVLSI (2016)
Cunxi Yu, Maciej J. Ciesielski, Mihir Choudhury, Andrew Sullivan
DAG-aware logic synthesis of datapaths. DAC (2016)
Cunxi Yu, Walter Brown, Duo Liu, André Rossi, Maciej J. Ciesielski
Formal Verification of Arithmetic Circuits by Function Extraction. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 35 (12) (2016)
Cunxi Yu, Maciej J. Ciesielski
Analyzing Imprecise Adders Using BDDs - A Case Study. ISVLSI (2016)
Maciej J. Ciesielski, Cunxi Yu, Walter Brown, Duo Liu, André Rossi
Verification of gate-level arithmetic circuits by function extraction. DAC (2015)
Samaneh Ghandali, Cunxi Yu, Duo Liu, Walter Brown, Maciej J. Ciesielski
Logic Debugging of Arithmetic Circuits. ISVLSI (2015)
Cunxi Yu, Walter Brown, Maciej J. Ciesielski
Verification of arithmetic datapath designs using word-level approach - A case study. ISCAS (2015)