Journal article · Accepted
Finding equations of the fake projective plane (C18, p=3, {2I})
Bojue Wang and
Lev Borisov
Journal of the Korean Mathematical Society, accepted for
publication.
Develops explicit equations for a new pair of fake projective
planes using cyclic covers, quotients, and computational algebra.
arXivPDF
Conference paper · 2024
G-PASTA: GPU-Accelerated Partitioning Algorithm for Static Timing
Analysis
Boyang Zhang, Dian-Lun Lin, Che Chang, Cheng-Hsiang Chiu,
Bojue Wang, Wan Luan Lee, Chih-Chun Chang,
Donghao Fang, and Tsung-Wei Huang
61st ACM/IEEE Design Automation Conference (DAC 2024).
Uses GPU computing to accelerate task-dependency-graph
partitioning by up to 41.8× and improve overall static timing
analysis performance by up to 43% on large designs.
ACM Digital LibraryPDF