# Cunxi Yu

Orcid: 0000-0003-3481-307X
According to our database

Collaborative distances:

^{1}, Cunxi Yu authored at least 63 papers between 2015 and 2024.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

2024

CoRR, 2024

CoRR, 2024

E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis.

CoRR, 2024

Less is More: Hop-Wise Graph Attention for Scalable and Generalizable Learning on Circuits.

CoRR, 2024

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

Springer, ISBN: 978-981-99-7754-3, 2024

2023

FlowTune: End-to-End Automatic Logic Optimization Exploration via Domain-Specific Multiarmed Bandit.

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., June, 2023

CoRR, 2023

CoRR, 2023

Rubik's Optical Neural Networks: Multi-task Learning with Physics-aware Rotation Architecture.

CoRR, 2023

Accelerating Exact Combinatorial Optimization via RL-based Initialization - A Case Study in Scheduling.

Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023

AIM: Accelerating Arbitrary-Precision Integer Multiplication on Heterogeneous Reconfigurable Computing Platform Versal ACAP.

Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023

Invited Paper: Verilog-to-PyG - A Framework for Graph Learning and Augmentation on RTL Designs.

Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023

Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023

RESPECT: Reinforcement Learning based Edge Scheduling on Pipelined Coral Edge TPUs.

Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023

Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023

Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023

LightRidge: An End-to-end Agile Design Framework for Diffractive Optical Neural Networks.

Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023

2022

Physics-informed recurrent neural network for time dynamics in optical resonances.

Nat. Comput. Sci., 2022

Device-system Co-design of Photonic Neuromorphic Processor using Reinforcement Learning.

CoRR, 2022

Physics-aware Complex-valued Adversarial Machine Learning in Reconfigurable Diffractive All-optical Neural Network.

CoRR, 2022

End-to-end Automatic Logic Optimization Exploration via Domain-specific Multi-armed Bandit.

CoRR, 2022

Proceedings of the 7th IEEE/ACM Symposium on Edge Computing, 2022

Physics-Aware Differentiable Discrete Codesign for Diffractive Optical Neural Networks.

Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, 2022

Proceedings of the 30th IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, 2022

2021

Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

Late Breaking Results: Physical Adversarial Attacks of Diffractive Deep Neural Networks.

Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

Proceedings of the ASPDAC '21: 26th Asia and South Pacific Design Automation Conference, 2021

2020

Understanding Algebraic Rewriting for Arithmetic Circuit Verification: A Bit-Flow Model.

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Multi-Task Learning in Diffractive Deep Neural Networks via Hardware-Software Co-design.

CoRR, 2020

CoRR, 2020

CoRR, 2020

Decision Making in Synthesis cross Technologies using LSTMs and Transfer Learning.

Proceedings of the MLCAD '20: 2020 ACM/IEEE Workshop on Machine Learning for CAD, 2020

Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2020

2019

Formal Analysis of Galois Field Arithmetic Circuits-Parallel Verification and Reverse Engineering.

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019

Proceedings of the 27th IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, 2019

Painting on Placement: Forecasting Routing Congestion using Conditional Generative Adversarial Nets.

Proceedings of the 56th Annual Design Automation Conference 2019, 2019

Proceedings of the 24th Asia and South Pacific Design Automation Conference, 2019

2018

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

Survey on Applications of Formal Methods in Reverse Engineering and Intellectual Property Protection.

J. Hardw. Syst. Secur., 2018

Performance Estimation of Synthesis Flows cross Technologies using LSTMs and Transfer Learning.

CoRR, 2018

CoRR, 2018

Formal Analysis of Galois Field Arithmetics - Parallel Verification and Reverse Engineering.

CoRR, 2018

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

Generating Safety Guidance for Medical Injection with Three-Compartment Pharmacokinetics Model.

Proceedings of the 2018 IEEE Computer Society Annual Symposium on VLSI, 2018

Proceedings of the 2018 IEEE Computer Society Annual Symposium on VLSI, 2018

Computer Algebraic Approach to Verification and Debugging of Galois Field Multipliers.

Proceedings of the IEEE International Symposium on Circuits and Systems, 2018

Proceedings of the 55th Annual Design Automation Conference, 2018

2017

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017

Formal Verification of Truncated Multipliers Using Algebraic Approach and Re-Synthesis.

Proceedings of the 2017 IEEE Computer Society Annual Symposium on VLSI, 2017

Proceedings of the 2017 IEEE/ACM International Conference on Computer-Aided Design, 2017

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

Proceedings of the 22nd Asia and South Pacific Design Automation Conference, 2017

2016

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016

CoRR, 2016

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2016

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2016

Proceedings of the IEEE International Symposium on Circuits and Systems, 2016

Oracle-guided incremental SAT solving to reverse engineer camouflaged logic circuits.

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

Proceedings of the 53rd Annual Design Automation Conference, 2016

2015

Proceedings of the 2015 IEEE Computer Society Annual Symposium on VLSI, 2015

Verification of arithmetic datapath designs using word-level approach - A case study.

Proceedings of the 2015 IEEE International Symposium on Circuits and Systems, 2015

Proceedings of the 52nd Annual Design Automation Conference, 2015