Cunxi Yu
Orcid: 0000-0003-3481-307X
According to our database1,
Cunxi Yu
authored at least 64 papers
between 2015 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
MapTune: Advancing ASIC Technology Mapping via Reinforcement Learning Guided Library Tuning.
CoRR, 2024
CoRR, 2024
CoRR, 2024
Less is More: Hop-Wise Graph Attention for Scalable and Generalizable Learning on Circuits.
CoRR, 2024
Proceedings of the Forty-first International Conference on Machine Learning, 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
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
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
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
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
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
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