Publications

Journal article

Finding equations of the fake projective plane (C18, p=3, {2I})

Lev Borisov and Bojue Wang

Journal of the Korean Mathematical Society 63 (2026), no. 5, 963–978.

Develops explicit equations for a new pair of fake projective planes using cyclic covers, quotients, and computational algebra.

JournalarXivPDF

Conference paper

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