balloon_head
balloon_head
balloon_head
balloon_head

User-Schedulable Languages (USLs) have emerged over the last decade as a promising new approach to developing high-performance code. USLs provide experts with great control over how to optimize their program for diverse hardware targets. USLs have demonstrated it’s practicality in domains including image processing pipelines, machine learning kernels, sparse linear algebra, physical simulations, novel hardware designs, and more. Connections to related approaches and fields are numerous, ranging from database query plans and indexing schemes, over manual control of compiler passes, performance auto-tuning and other forms of system configuration, to strategic rewriting and tactic languages in proof assistance, and more.

This inaugural Workshop on User-Schedulable Languages co-located with ASPLOS 2025 on the 31th of March 2025 in Rotterdam will consist of a mix of submitted and invited talks on USLs in all these manifestations, reflecting on past developments, exploring current trends and plotting out a research agenda for the future. We welcome talks about the foundations of USLs as well as their practical deployments, designs of new USLs in interesting domains, issues in the implementation and analysis of USLs, and historical surveys or position papers.

Program
TimeTalk
9:00Introduction
9:10 - 9:40Mary Hall on Scheduling Languages: A Past, Present, and Future Taxonomy
9:40 - 10:00Thomas Koehler on A Case For Interactive Optimization Assistants
10:00 - 10:20Carl-Johan Seger on Design of Domain Specific Hardware
10:20 - 10:30Shared Q&A of all the prior speakers

10:30 - 11:00Coffee Break

11:00 - 11:20Alex Aiken on User-Schedulable Aspects of Supercomputer Programming Models: What Works?
11:20 - 11:40Alex Reinking on Halide: Industrial experience, design retrospective, and future directions
11:40 - 12:00Alex Zinenko on Transform dialect: a compiler IR for schedule languages
12:00-12:30Panel on the challenges of making Scheduling Languages mainstream
12:30End of the Workshop
Confirmed Speakers
Organizers