Scalable Optimal Layout Synthesis for NISQ Quantum Processors
Author: Wan-Hsuan Lin, Jason Kimko, Bochen Tan, Nikolaj Bjorner, and Jason Cong
Published in Proceedings of ACM/IEEE Design Automation Conference (DAC), 2023
Publications
Language Equation Solving via Boolean Automata Manipulation
Author: Wan-Hsuan Lin*, Chia-Hsuan Su, and Jie-Hong Roland Jiang
Published in Proceedings of IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 2022
Domain-Specific Quantum Architecture Optimization
Author: Wan-Hsuan Lin, Bochen Tan, Murphy Yuezhen Niu, Jason Kimko, and Jason Cong
Published in Journal on Emerging and Selected Topics in Circuits and Systems (JETCAS), 2022
Language Equation Solving via Boolean Automata Manipulation [Best paper nomination]
Author: Wan-Hsuan Lin*, Chia-Hsuan Su, and Jie-Hong Roland Jiang
Published in International Workshop on Logic & Synthesis (IWLS), 2022
A Bridge-based Compression Algorithm for Topological Quantum Circuits
Author: Wei-Hsiang Tseng, Chen-Hao Hsu, Wan-Hsuan Lin*, and Yao-Wen Chang
Published in IEEE Transactions on Computer-Aided Design of Integrated Circuits ans Systems (TCAD), 2022