PLDI 2025
Mon 16 - Fri 20 June 2025 Seoul, South Korea

This program is tentative and subject to change.

Mon 16 Jun 2025 17:00 - 17:10 at Grand Ball Room 1 - AI and Accelerator Architecture + WIP

Vector processing is crucial for boosting processor performance and efficiency, particularly with data-parallel tasks. The RISC-V "V" Vector Extension (RVV) enhances algorithm efficiency by supporting vector registers of dynamic sizes and their grouping. Nevertheless, for very long vectors, the static number of RVV vector registers and its power-of-two grouping can lead to performance restrictions. To counteract this limitation, this work introduces Zoozve, a RISC-V vector instruction extension that eliminates the need for strip-mining. Zoozve allows for flexible vector register length and count configurations to boost data computation parallelism. With a data-adaptive register allocation approach, Zoozve permits any register groupings and accurately aligns vector lengths, cutting down register overhead and alleviating performance declines from strip-mining. Additionally, the paper details Zoozve's compiler and hardware implementations using LLVM and SystemVerilog. Initial results indicate Zoozve yields a minimum 10.10$\times$ reduction in dynamic instruction count for fast Fourier transform (FFT), with a mere 5.2% increase in overall silicon area.

This program is tentative and subject to change.

Mon 16 Jun

Displayed time zone: Seoul change

15:40 - 17:20
AI and Accelerator Architecture + WIPLCTES at Grand Ball Room 1
15:40
20m
Talk
SPARQ: An Accelerator Architecture for Large Language Models with Joint Sparsity and Quantization Techniques
LCTES
Seonggyu Choi Sungkyunkwan University, Hyungmin Cho Sungkyunkwan University
DOI
16:00
20m
Talk
ADaPS: Adaptive Data Partitioning to Parallelize CNN Inference on Resource-Constrained Hardware
LCTES
Jaume Mateu Cuadrat Seoul National University, Bernhard Egger Seoul National University
DOI
16:20
20m
Talk
Graphitron: A Domain Specific Language for FPGA-Based Graph Processing Accelerator Generation
LCTES
Xinmiao Zhang SKLP, Institute of Computing Technology, CAS, Zheng Feng Institute of Computing Technology at Chinese Academy of Sciences, Shengwen Liang SKLP, Institute of Computing Technology, CAS, Xinyu Chen Hong Kong University of Science and Technology, Lei Zhang ICT CAS, Cheng Liu ICT CAS
DOI
16:40
20m
Talk
Modeling and Verification of Sigma Delta Neural Networks using Satisfiability Modulo Theory
LCTES
Sirshendu Das Indian Statistical Institute, Ansuman Banerjee Indian Statistical Institute, Swarup Kumar Mohalik Ericsson Research
DOI
17:00
10m
Talk
Zoozve: A Strip-Mining-Free RISC-V Vector Extension with Arbitrary Register Grouping Compilation Support (WIP)
LCTES
Siyi Xu Shanghai University, Limin Jiang Shanghai University, Yintao Liu Shanghai University, Yihao Shen Shanghai University, Yi Shi Shanghai University, Shan Cao Shanghai University, Zhiyuan Jiang Shanghai University
DOI
17:10
10m
Talk
Towards Macro-Aware C-to-Rust Transpilation (WIP)
LCTES
Robbe De Greef Vrije Universiteit Brussel, Attilio Discepoli Vrije Universiteit Brussel, Esteban Aguililla Klein Université Libre de Bruxelles, Théo Engels Royal Military Academy of Belgium, Ken Hasselmann Royal Military Academy of Belgium, Antonio Paolillo Vrije Universiteit Brussel
DOI