CGO 2026
Sat 31 January - Wed 4 February 2026 Sydney, Australia
co-located with HPCA/CGO/PPoPP/CC 2026
Mon 2 Feb 2026 11:50 - 12:10 at Bronte - Abstractions Chair(s): Antonino Tumeo

Python dominates AI development and is the most widely used dynamic programming language, but synthesizing its polymorphic functions into hardware remains challenging. Existing HLS solutions support only static subsets of Python, forcing CPU offload with costly communication overhead.
We present Pyls, the first framework that synthesizes dynamically polymorphic Python into monolithic hardware via Left-Child Right-Sibling (LCRS) encoding. Key to our approach is representing all Python objects as LCRS trees, enabling uniform hardware handling of dynamic types. Pyls automatically converts objects to fixed-width formats, generates XLS IR designs, and implements a tree memory architecture for efficient runtime type resolution. On FPGA platforms, Pyls demonstrates speedups of $5.19\times$ and $3.98\times$ over two ASIC CPUs, $303.29\times$ over a soft-core processor, and $282.66\times$ over a heterogeneous SoC design.

Mon 2 Feb

Displayed time zone: Hobart change

11:30 - 12:50
AbstractionsMain Conference at Bronte
Chair(s): Antonino Tumeo Pacific Northwest National Laboratory
11:30
20m
Talk
Partial-Evaluation Templates: Accelerating Partial Evaluation with Pre-compiled Templates
Main Conference
Florian Huemer JKU Linz, Aleksandar Prokopec Oracle Labs, David Leopoldseder Oracle Labs, Raphael Mosaner Oracle Labs, Hanspeter Mössenböck JKU Linz
Pre-print
11:50
20m
Talk
Pyls: Enabling Python Hardware Synthesis with Dynamic Polymorphism via LCRS Encoding
Main Conference
Bolei Tong Wuhan University, Yongyan Fang Wuhan University, Wang Chaorui Wuhan University, Qingan Li Wuhan University, China, Jingling Xue UNSW Sydney, YUAN Mengting School of Computer Science, Wuhan University, Wuhan, China
Pre-print
12:10
20m
Talk
SkeleShare: Algorithmic Skeletons and Equality Saturation for Hardware Resource Sharing
Main Conference
Jonathan Van der Cruysse McGill University, Tzung-Han Juang McGill University, Shakiba Bolbolian Khah McGill University, Christophe Dubach McGill University
Pre-print Media Attached
12:30
20m
Talk
Ember: A Compiler for Embedding Operations on Decoupled Access-Execute Architectures
Main Conference
Marco Siracusa Barcelona Supercomputing Center; Universitat Politècnica de Catalunya, Olivia Hsu Stanford University, Víctor Soria-Pardos Barcelona Supercomputing Center, Joshua Randall Arm, Arnaud Grasset Arm, Eric Biscondi Arm, Douglas J. Joseph Arm, Randy Allen Barcelona Supercomputing Center, Fredrik Kjolstad Stanford University, Miquel Moreto Technical Univeristy of Catalonia, Adrià Armejach Sanosa Barcelona Supercomputing Center & Universitat Politècnica de Catalunya
Pre-print Media Attached