Cunxi Yu - RankMe

116 papers A* 16A 14B 1C 4Misc 3Journal 59Unranked 18

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	All-Optical Segmentation via Diffractive Neural Networks for Autonomous Driving. CoRR Yingjie Li, Daniel Robinson, Weilu Gao, Cunxi Yu
2026	J	`jnl`	Differentiable Initialization-Accelerated CPU-GPU Hybrid Combinatorial Scheduling. CoRR Mingju Liu, Jiaqi Yin, Alvaro Velasquez, Cunxi Yu
2026	J	`jnl`	GaloisSAT: Differentiable Boolean Satisfiability Solving via Finite Field Algebra. CoRR Curie Kim, Carsten Portner, Mingju Liu, Steve Dai, Haoxing Ren, Brucek Khailany, Alvaro Velasquez, Ismail Alkhouri, Cunxi Yu
2026	J	`jnl`	GauS: Differentiable Scheduling Optimization via Gaussian Reparameterization. CoRR Yaohui Cai, Vesal Bakhtazad, Cunxi Yu, Zhiru Zhang
2026	J	`jnl`	HoloGraph: All-Optical Graph Learning via Light Diffraction. CoRR Yingjie Li, Shanglin Zhou, Caiwen Ding, Cunxi Yu
2026	J	`jnl`	MapTune: Versatile ASIC Technology Mapping via Reinforcement Learning Guided Library Tuning. ACM Trans. Design Autom. Electr. Syst. Mingju Liu, Daniel Robinson, Yingjie Li, Johannes Maximilian Kühn, Rongjian Liang, Haoxing Ren, Cunxi Yu
2026	—	`conf`	ReVEAL: GNN-Guided Reverse Engineering for Formal Verification of Optimized Multipliers. TACAS (2) Chen Chen, Daniela Kaufmann, Chenhui Deng, Zhan Song, Hongce Zhang, Cunxi Yu
2025	J	`jnl`	A Scalable Lift-and-Project Differentiable Approach For the Maximum Cut Problem. CoRR Ismail Alkhouri, Mian Wu, Cunxi Yu, Jia Liu, Rongrong Wang, Alvaro Velasquez
2025	—	`conf`	ASPEN: LLM-Guided E-Graph Rewriting for RTL Datapath Optimization. MLCAD Niansong Zhang, Chenhui Deng, Johannes Maximilian Kühn, Chia-Tung Ho, Cunxi Yu, Zhiru Zhang, Haoxing Ren
2025	J	`jnl`	Autonomous Code Evolution Meets NP-Completeness. CoRR Cunxi Yu, Rongjian Liang, Chia-Tung Ho, Haoxing Ren
2025	A*	`conf`	BoolE: Exact Symbolic Reasoning via Boolean Equality Saturation. DAC Jiaqi Yin, Zhan Song, Chen Chen, Qihao Hu, Cunxi Yu
2025	J	`jnl`	BoolE: Exact Symbolic Reasoning via Boolean Equality Saturation. CoRR Jiaqi Yin, Zhan Song, Chen Chen, Qihao Hu, Cunxi Yu
2025	A*	`conf`	Differentiable Quadratic Optimization For the Maximum Independent Set Problem. ICML Ismail Alkhouri, Cedric Le Denmat, Yingjie Li, Cunxi Yu, Jia Liu, Rongrong Wang, Alvaro Velasquez
2025	A*	`conf`	E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis. DAC Chen Chen, Guangyu Hu, Cunxi Yu, Yuzhe Ma, Hongce Zhang
2025	J	`jnl`	E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis. CoRR Chen Chen, Guangyu Hu, Cunxi Yu, Yuzhe Ma, Hongce Zhang
2025	A	`conf`	GROOT: Graph Edge Re-growth and Partitioning for the Verification of Large Designs in Logic Synthesis. ICCAD Kiran Thorat, Hongwu Peng, Yuebo Luo, Xi Xie, Shaoyi Huang, Amit Hasan, Jiahui Zhao, Yingjie Li, Zhijie Shi, Cunxi Yu, Caiwen Ding
2025	J	`jnl`	GROOT: Graph Edge Re-growth and Partitioning for the Verification of Large Designs in Logic Synthesis. CoRR Kiran Thorat, Hongwu Peng, Yuebo Luo, Xi Xie, Shaoyi Huang, Amit Hasan, Jiahui Zhao, Yingjie Li, Zhijie Shi, Cunxi Yu, Caiwen Ding
2025	—	`conf`	HEC: Equivalence Verification Checking for Code Transformation via Equality Saturation. USENIX ATC Jiaqi Yin, Zhan Song, Nicolas Bohm Agostini, Antonino Tumeo, Cunxi Yu
2025	J	`jnl`	HEC: Equivalence Verification Checking for Code Transformation via Equality Saturation. CoRR Jiaqi Yin, Zhan Song, Nicolas Bohm Agostini, Antonino Tumeo, Cunxi Yu
2025	—	`conf`	Mapping Fusion: Improving FPGA Technology Mapping with ASIC Mapper. MLCAD Cunxi Yu
2025	J	`jnl`	Mapping Fusion: Improving FPGA Technology Mapping with ASIC Mapper. CoRR Cunxi Yu
2025	—	`conf`	Optimizing CUDA Graph Scheduling with Reinforcement Learning - A Case Study in SSTA Propagation. MLCAD Cheng-Hsiang Chiu, Chedi Morchdi, Chih-Chun Chang, Cunxi Yu, Yi Zhou, Tsung-Wei Huang
2025	J	`jnl`	ReVEAL: GNN-Guided Reverse Engineering for Formal Verification of Optimized Multipliers. CoRR Chen Chen, Daniela Kaufmann, Chenhui Deng, Zhan Song, Hongce Zhang, Cunxi Yu
2025	A	`conf`	Revisit Choice Network for Synthesis and Technology Mapping. ICCAD Chen Chen, Jiaqi Yin, Cunxi Yu
2025	J	`jnl`	Revisit Choice Network for Synthesis and Technology Mapping. CoRR Chen Chen, Jiaqi Yin, Cunxi Yu
2025	A	`conf`	SGSS: Streaming 6-DoF Navigation of Gaussian Splat Scenes. MMSys Mufeng Zhu, Mingju Liu, Cunxi Yu, Cheng-Hsin Hsu, Yao Liu
2025	J	`jnl`	SchemaCoder: Automatic Log Schema Extraction Coder with Residual Q-Tree Boosting. CoRR Lily Jiaxin Wan, Chia-Tung Ho, Rongjian Liang, Cunxi Yu, Deming Chen, Haoxing Ren
2025	—	`conf`	SmoothE: Differentiable E-Graph Extraction. ASPLOS (1) Yaohui Cai, Kaixin Yang, Chenhui Deng, Cunxi Yu, Zhiru Zhang
2025	J	`jnl`	TurboSAT: Gradient-Guided Boolean Satisfiability Accelerated on GPU-CPU Hybrid System. CoRR Steve Dai, Cunxi Yu, Kalyan Krishnamani, Brucek Khailany
2025	A	`conf`	e-boost: Boosted E-Graph Extraction with Adaptive Heuristics and Exact Solving. ICCAD Jiaqi Yin, Zhan Song, Chen Chen, Yaohui Cai, Zhiru Zhang, Cunxi Yu
2025	J	`jnl`	e-boost: Boosted E-Graph Extraction with Adaptive Heuristics and Exact Solving. CoRR Jiaqi Yin, Zhan Song, Chen Chen, Yaohui Cai, Zhiru Zhang, Cunxi Yu
2024	A	`conf`	BoolGebra: Attributed Graph-Learning for Boolean Algebraic Manipulation. DATE Yingjie Li, Anthony Agnesina, Yanqing Zhang, Haoxing Ren, Cunxi Yu
2024	J	`jnl`	BoolGebra: Attributed Graph-learning for Boolean Algebraic Manipulation. CoRR Yingjie Li, Anthony Agnesina, Yanqing Zhang, Haoxing Ren, Cunxi Yu
2024	J	`jnl`	DAG-Aware Synthesis Orchestration. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Yingjie Li, Mingju Liu, Haoxing Ren, Alan Mishchenko, Cunxi Yu
2024	J	`jnl`	Dataless Quadratic Neural Networks for the Maximum Independent Set Problem. CoRR Ismail Alkhouri, Cedric Le Denmat, Yingjie Li, Cunxi Yu, Jia Liu, Rongrong Wang, Alvaro Velasquez
2024	A*	`conf`	Differentiable Combinatorial Scheduling at Scale. ICML Mingju Liu, Yingjie Li, Jiaqi Yin, Zhiru Zhang, Cunxi Yu
2024	J	`jnl`	Differentiable Combinatorial Scheduling at Scale. CoRR Mingju Liu, Yingjie Li, Jiaqi Yin, Zhiru Zhang, Cunxi Yu
2024	A*	`conf`	E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis. DAC Chen Chen, Guangyu Hu, Dongsheng Zuo, Cunxi Yu, Yuzhe Ma, Hongce Zhang
2024	J	`jnl`	E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis. CoRR Chen Chen, Guangyu Hu, Dongsheng Zuo, Cunxi Yu, Yuzhe Ma, Hongce Zhang
2024	—	`book`	FPGA EDA - Design Principles and Implementation Kaihui Tu, Xifan Tang, Cunxi Yu, Lana Josipovic, Zhufei Chu
2024	A*	`conf`	Less is More: Hop-Wise Graph Attention for Scalable and Generalizable Learning on Circuits. DAC Chenhui Deng, Zichao Yue, Cunxi Yu, Gokce Sarar, Ryan Carey, Rajeev Jain, Zhiru Zhang
2024	J	`jnl`	Less is More: Hop-Wise Graph Attention for Scalable and Generalizable Learning on Circuits. CoRR Chenhui Deng, Zichao Yue, Cunxi Yu, Gokce Sarar, Ryan Carey, Rajeev Jain, Zhiru Zhang
2024	C	`conf`	Linear Algebra Approach to Verification of Modular $(2^{n}-1)$ Multipliers. VLSI-SoC Jiteshri Dasari, Cunxi Yu, Maciej J. Ciesielski
2024	A	`conf`	MapTune: Advancing ASIC Technology Mapping via Reinforcement Learning Guided Library Tuning. ICCAD Mingju Liu, Daniel Robinson, Yingjie Li, Cunxi Yu
2024	J	`jnl`	MapTune: Advancing ASIC Technology Mapping via Reinforcement Learning Guided Library Tuning. CoRR Mingju Liu, Daniel Robinson, Yingjie Li, Cunxi Yu
2024	J	`jnl`	Survey of Machine Learning for Software-assisted Hardware Design Verification: Past, Present, and Prospect. ACM Trans. Design Autom. Electr. Syst. Nan Wu, Yingjie Li, Hang Yang, Hanqiu Chen, Steve Dai, Cong Hao, Cunxi Yu, Yuan Xie
2024	—	`conf`	Verification and Debugging of Modular (2 VLSI-SoC (Selected Papers) Jiteshri Dasari, Cunxi Yu, Maciej J. Ciesielski
2023	A	`conf`	AIM: Accelerating Arbitrary-Precision Integer Multiplication on Heterogeneous Reconfigurable Computing Platform Versal ACAP. ICCAD Zhuoping Yang, Jinming Zhuang, Jiaqi Yin, Cunxi Yu, Alex K. Jones, Peipei Zhou
2023	J	`jnl`	AIM: Accelerating Arbitrary-precision Integer Multiplication on Heterogeneous Reconfigurable Computing Platform Versal ACAP. CoRR Zhuoping Yang, Jinming Zhuang, Jiaqi Yin, Cunxi Yu, Alex K. Jones, Peipei Zhou
2023	A	`conf`	Accelerating Exact Combinatorial Optimization via RL-based Initialization - A Case Study in Scheduling. ICCAD Jiaqi Yin, Cunxi Yu
2023	J	`jnl`	Accelerating Exact Combinatorial Optimization via RL-based Initialization - A Case Study in Scheduling. CoRR Jiaqi Yin, Cunxi Yu
2023	J	`jnl`	DAG-aware Synthesis Orchestration. CoRR Yingjie Li, Mingju Liu, Mark Ren, Alan Mishchenko, Cunxi Yu
2023	A*	`conf`	Equality Saturation for Datapath Synthesis: A Pathway to Pareto Optimality. DAC Ecenur Ustun, Cunxi Yu, Zhiru Zhang
2023	J	`jnl`	FlowTune: End-to-End Automatic Logic Optimization Exploration via Domain-Specific Multiarmed Bandit. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Walter Lau Neto, Yingjie Li, Pierre-Emmanuel Gaillardon, Cunxi Yu
2023	A*	`conf`	Gamora: Graph Learning based Symbolic Reasoning for Large-Scale Boolean Networks. DAC Nan Wu, Yingjie Li, Cong Hao, Steve Dai, Cunxi Yu, Yuan Xie
2023	J	`jnl`	Gamora: Graph Learning based Symbolic Reasoning for Large-Scale Boolean Networks. CoRR Nan Wu, Yingjie Li, Cong Hao, Steve Dai, Cunxi Yu, Yuan Xie
2023	A	`conf`	Invited Paper: Verilog-to-PyG - A Framework for Graph Learning and Augmentation on RTL Designs. ICCAD Yingjie Li, Mingju Liu, Alan Mishchenko, Cunxi Yu
2023	—	`conf`	LightRidge: An End-to-end Agile Design Framework for Diffractive Optical Neural Networks. ASPLOS (4) Yingjie Li, Ruiyang Chen, Minhan Lou, Berardi Sensale Rodriguez, Weilu Gao, Cunxi Yu
2023	J	`jnl`	LightRidge: An End-to-end Agile Design Framework for Diffractive Optical Neural Networks. CoRR Yingjie Li, Ruiyang Chen, Minhan Lou, Berardi Sensale Rodriguez, Weilu Gao, Cunxi Yu
2023	A*	`conf`	Physics-aware Roughness Optimization for Diffractive Optical Neural Networks. DAC Shanglin Zhou, Yingjie Li, Minhan Lou, Weilu Gao, Zhijie Shi, Cunxi Yu, Caiwen Ding
2023	J	`jnl`	Physics-aware Roughness Optimization for Diffractive Optical Neural Networks. CoRR Shanglin Zhou, Yingjie Li, Minhan Lou, Weilu Gao, Zhijie Shi, Cunxi Yu, Caiwen Ding
2023	A*	`conf`	RESPECT: Reinforcement Learning based Edge Scheduling on Pipelined Coral Edge TPUs. DAC Jiaqi Yin, Yingjie Li, Daniel Robinson, Cunxi Yu
2023	J	`jnl`	RESPECT: Reinforcement Learning based Edge Scheduling on Pipelined Coral Edge TPUs. CoRR Jiaqi Yin, Yingjie Li, Daniel Robinson, Cunxi Yu
2023	J	`jnl`	Rubik's Optical Neural Networks: Multi-task Learning with Physics-aware Rotation Architecture. CoRR Yingjie Li, Weilu Gao, Cunxi Yu
2023	J	`jnl`	Verilog-to-PyG - A Framework for Graph Learning and Augmentation on RTL Designs. CoRR Yingjie Li, Mingju Liu, Alan Mishchenko, Cunxi Yu
2022	J	`jnl`	Device-system Co-design of Photonic Neuromorphic Processor using Reinforcement Learning. CoRR Yingheng Tang, Princess Tara Zamani, Ruiyang Chen, Jianzhu Ma, Minghao Qi, Cunxi Yu, Weilu Gao
2022	J	`jnl`	End-to-end Automatic Logic Optimization Exploration via Domain-specific Multi-armed Bandit. CoRR Walter Lau Neto, Yingjie Li, Pierre-Emmanuel Gaillardon, Cunxi Yu
2022	Misc	`conf`	Exact Memory- and Communication-aware Scheduling of DNNs on Pipelined Edge TPUs. SEC Jiaqi Yin, Zhiru Zhang, Cunxi Yu
2022	Misc	`conf`	IMpress: Large Integer Multiplication Expression Rewriting for FPGA HLS. FCCM Ecenur Ustun, Ismail San, Jiaqi Yin, Cunxi Yu, Zhiru Zhang
2022	A	`conf`	Physics-Aware Differentiable Discrete Codesign for Diffractive Optical Neural Networks. ICCAD Yingjie Li, Ruiyang Chen, Weilu Gao, Cunxi Yu
2022	J	`jnl`	Physics-aware Complex-valued Adversarial Machine Learning in Reconfigurable Diffractive All-optical Neural Network. CoRR Ruiyang Chen, Yingjie Li, Minhan Lou, Jichao Fan, Yingheng Tang, Berardi Sensale Rodriguez, Cunxi Yu, Weilu Gao
2022	J	`jnl`	Physics-aware Differentiable Discrete Codesign for Diffractive Optical Neural Networks. CoRR Yingjie Li, Ruiyang Chen, Weilu Gao, Cunxi Yu
2022	J	`jnl`	Physics-informed recurrent neural network for time dynamics in optical resonances. Nat. Comput. Sci. Yingheng Tang, Jichao Fan, Xinwei Li, Jianzhu Ma, Minghao Qi, Cunxi Yu, Weilu Gao
2021	A*	`conf`	Late Breaking Results: Physical Adversarial Attacks of Diffractive Deep Neural Networks. DAC Yingjie Li, Cunxi Yu
2021	—	`conf`	Read your Circuit: Leveraging Word Embedding to Guide Logic Optimization. ASP-DAC Walter Lau Neto, Matheus Trevisan Moreira, Luca G. Amarù, Cunxi Yu, Pierre-Emmanuel Gaillardon
2021	A*	`conf`	SLAP: A Supervised Learning Approach for Priority Cuts Technology Mapping. DAC Walter Lau Neto, Matheus T. Moreira, Yingjie Li, Luca G. Amarù, Cunxi Yu, Pierre-Emmanuel Gaillardon
2020	J	`jnl`	Artificial Intelligence Accelerators based on Graphene Optoelectronic Devices. CoRR Weilu Gao, Cunxi Yu, Ruiyang Chen
2020	J	`jnl`	Contrastive Weight Regularization for Large Minibatch SGD. CoRR Qiwei Yuan, Weizhe Hua, Yi Zhou, Cunxi Yu
2020	—	`conf`	Decision Making in Synthesis cross Technologies using LSTMs and Transfer Learning. MLCAD Cunxi Yu, Wang Zhou
2020	A	`conf`	FlowTune: Practical Multi-armed Bandits in Boolean Optimization. ICCAD Cunxi Yu
2020	J	`jnl`	Multi-Task Learning in Diffractive Deep Neural Networks via Hardware-Software Co-design. CoRR Yingjie Li, Ruiyang Chen, Berardi Sensale Rodriguez, Weilu Gao, Cunxi Yu
2020	J	`jnl`	Understanding Algebraic Rewriting for Arithmetic Circuit Verification: A Bit-Flow Model. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Maciej J. Ciesielski, Tiankai Su, Atif Yasin, Cunxi Yu
2019	J	`jnl`	Formal Analysis of Galois Field Arithmetic Circuits-Parallel Verification and Reverse Engineering. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Cunxi Yu, Maciej J. Ciesielski
2019	Misc	`conf`	LAMDA: Learning-Assisted Multi-stage Autotuning for FPGA Design Closure. FCCM Ecenur Ustun, Shaojie Xiang, Jinny Gui, Cunxi Yu, Zhiru Zhang
2019	A*	`conf`	Painting on Placement: Forecasting Routing Congestion using Conditional Generative Adversarial Nets. DAC Cunxi Yu, Zhiru Zhang
2019	J	`jnl`	Painting on Placement: Forecasting Routing Congestion using Conditional Generative Adversarial Nets. CoRR Cunxi Yu, Zhiru Zhang
2019	J	`jnl`	Spectral Approach to Verifying Non-linear Arithmetic Circuits. CoRR Cunxi Yu, Tiankai Su, Atif Yasin, Maciej J. Ciesielski
2019	—	`conf`	Spectral approach to verifying non-linear arithmetic circuits. ASP-DAC Cunxi Yu, Tiankai Su, Atif Yasin, Maciej J. Ciesielski
2018	J	`jnl`	Algorithmic Obfuscation over GF(2 CoRR Cunxi Yu, Daniel E. Holcomb
2018	C	`conf`	Computer Algebraic Approach to Verification and Debugging of Galois Field Multipliers. ISCAS Tiankai Su, Atif Yasin, Cunxi Yu, Maciej J. Ciesielski
2018	J	`jnl`	Developing Synthesis Flows Without Human Knowledge. CoRR Cunxi Yu, Houping Xiao, Giovanni De Micheli
2018	A*	`conf`	Developing synthesis flows without human knowledge. DAC Cunxi Yu, Houping Xiao, Giovanni De Micheli
2018	—	`conf`	End-to-End Industrial Study of Retiming. ISVLSI Cunxi Yu, Chau-Chin Huang, Gi-Joon Nam, Mihir Choudhury, Victor N. Kravets, Andrew Sullivan, Maciej J. Ciesielski, Giovanni De Micheli
2018	J	`jnl`	Fast Algebraic Rewriting Based on And-Inverter Graphs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Cunxi Yu, Maciej J. Ciesielski, Alan Mishchenko
2018	J	`jnl`	Formal Analysis of Galois Field Arithmetics - Parallel Verification and Reverse Engineering. CoRR Cunxi Yu, Maciej J. Ciesielski
2018	—	`conf`	Generating Safety Guidance for Medical Injection with Three-Compartment Pharmacokinetics Model. ISVLSI Cunxi Yu, Heinz Riener, Francesca Stradolini, Giovanni De Micheli
2018	J	`jnl`	Performance Estimation of Synthesis Flows cross Technologies using LSTMs and Transfer Learning. CoRR Cunxi Yu, Wang Zhou
2018	B	`conf`	Rewriting Environment for Arithmetic Circuit Verification. LPAR Cunxi Yu, Atif Yasin, Tiankai Su, Alan Mishchenko, Maciej J. Ciesielski
2018	J	`jnl`	Survey on Applications of Formal Methods in Reverse Engineering and Intellectual Property Protection. J. Hardw. Syst. Secur. Shahrzad Keshavarz, Cunxi Yu, Samaneh Ghandali, Xiaolin Xu, Daniel E. Holcomb
2017	J	`jnl`	Advanced Datapath Synthesis using Graph Isomorphism. CoRR Cunxi Yu, Mihir Choudhury, Andrew Sullivan, Maciej J. Ciesielski
2017	A	`conf`	Advanced datapath synthesis using graph isomorphism. ICCAD Cunxi Yu, Mihir Choudhury, Andrew Sullivan, Maciej J. Ciesielski
2017	—	`conf`	Efficient parallel verification of Galois field multipliers. ASP-DAC Cunxi Yu, Maciej J. Ciesielski
2017	—	`conf`	Formal Verification of Truncated Multipliers Using Algebraic Approach and Re-Synthesis. ISVLSI Tiankai Su, Cunxi Yu, Atif Yasin, Maciej J. Ciesielski
2017	J	`jnl`	Incremental SAT-Based Reverse Engineering of Camouflaged Logic Circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Cunxi Yu, Xiangyu Zhang, Duo Liu, Maciej J. Ciesielski, Daniel E. Holcomb
2017	A	`conf`	Reverse engineering of irreducible polynomials in GF(2 DATE Cunxi Yu, Daniel E. Holcomb, Maciej J. Ciesielski
2016	—	`conf`	Analyzing Imprecise Adders Using BDDs - A Case Study. ISVLSI Cunxi Yu, Maciej J. Ciesielski
2016	C	`conf`	Automatic word-level abstraction of datapath. ISCAS Cunxi Yu, Maciej J. Ciesielski
2016	A*	`conf`	DAG-aware logic synthesis of datapaths. DAC Cunxi Yu, Maciej J. Ciesielski, Mihir Choudhury, Andrew Sullivan
2016	J	`jnl`	Efficient Parallel Verification of Galois Field Multipliers. CoRR Cunxi Yu, Maciej J. Ciesielski
2016	—	`conf`	Formal Verification Using Don't-Care and Vanishing Polynomials. ISVLSI Cunxi Yu, Maciej J. Ciesielski
2016	J	`jnl`	Formal Verification of Arithmetic Circuits by Function Extraction. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Cunxi Yu, Walter Brown, Duo Liu, André Rossi, Maciej J. Ciesielski
2016	A	`conf`	Oracle-guided incremental SAT solving to reverse engineer camouflaged logic circuits. DATE Duo Liu, Cunxi Yu, Xiangyu Zhang, Daniel E. Holcomb
2016	J	`jnl`	Reverse Engineering of Irreducible Polynomials in GF(2^m) Arithmetic. CoRR Cunxi Yu, Daniel E. Holcomb, Maciej J. Ciesielski
2015	—	`conf`	Logic Debugging of Arithmetic Circuits. ISVLSI Samaneh Ghandali, Cunxi Yu, Duo Liu, Walter Brown, Maciej J. Ciesielski
2015	C	`conf`	Verification of arithmetic datapath designs using word-level approach - A case study. ISCAS Cunxi Yu, Walter Brown, Maciej J. Ciesielski
2015	A*	`conf`	Verification of gate-level arithmetic circuits by function extraction. DAC Maciej J. Ciesielski, Cunxi Yu, Walter Brown, Duo Liu, André Rossi