Publications

2025

  1. DAC
    BoolE: Exact Symbolic Reasoning via Boolean Equality Saturation
    Jiaqi Yin, Zhan Song, Chen Chen, and 2 more authors
    In 2025 62th ACM/IEEE Design Automation Conference (DAC), 2025
    PDF Video Slides
  2. USENIX ATC
    HEC: Equivalence Verification Checking for Code Transformation via Equality Saturation
    Jiaqi Yin, Zhan Song, Nicolas Bohm Agostini, and 2 more authors
    In 2025 USENIX Annual Technical Conference (USENIX ATC), 2025
    PDF Video Slides
  3. ICCAD
    e-boost: Boosted E-Graph Extraction with Adaptive Heuristics and Exact Solving
    Jiaqi Yin, Zhan Song, Chen Chen, and 3 more authors
    In 2025 IEEE/ACM International Conference on Computer Aided Design (ICCAD), 2025
  4. ICCAD
    Revisit Choice Network for Synthesis and Technology Mapping
    Chen Chen, Jiaqi Yin, and Cunxi Yu
    In 2025 IEEE/ACM International Conference on Computer Aided Design (ICCAD), 2025

2024

  1. ICML
    Differentiable Combinatorial Scheduling at Scale
    Mingju Liu, Yingjie Li, Jiaqi Yin, and 2 more authors
    In 41st International Conference on Machine Learning (ICML), 2024
    PDF

2023

  1. ICCAD
    Aim: Accelerating arbitrary-precision integer multiplication on heterogeneous reconfigurable computing platform versal acap
    Zhuoping Yang, Jinming Zhuang, Jiaqi Yin, and 3 more authors
    In 2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD), 2023
    PDF Video Slides
  2. ICCAD
    Accelerating exact combinatorial optimization via rl-based initialization-a case study in scheduling
    Jiaqi Yin and Cunxi Yu
    In 2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD), 2023
    PDF Video Slides
  3. DAC
    Respect: Reinforcement learning based edge scheduling on pipelined coral edge tpus
    Jiaqi Yin, Yingjie Li, Daniel Robinson, and 1 more author
    In 2023 60th ACM/IEEE Design Automation Conference (DAC), 2023
    PDF Video Slides

2022

  1. FCCM
    Impress: Large integer multiplication expression rewriting for fpga hls
    Ecenur Ustun, Ismail San, Jiaqi Yin, and 2 more authors
    In 2022 IEEE 30th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM), 2022
    PDF Video Slides
  2. SEC
    Exact memory-and communication-aware scheduling of dnns on pipelined edge TPUs
    Jiaqi Yin, Zhiru Zhang, and Cunxi Yu
    In 2022 IEEE/ACM 7th Symposium on Edge Computing (SEC), 2022
    PDF Slides