PLDI 2025
Mon 16 - Fri 20 June 2025 Seoul, South Korea
VenueThe Westin Josun Seoul
Room nameCosmos
Floor0
Room InformationNo extra information available
Program

This program is tentative and subject to change.

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 16 Jun

Displayed time zone: Seoul change

09:00 - 10:10
Session 1Sparse at Cosmos
09:00
20m
Talk
Insum: Sparse GPU Kernels Simplified and Optimized with Indirect Einsums
Sparse
Saman Amarasinghe Massachusetts Institute of Technology
09:20
20m
Talk
Intelligent Auto-Tuning for High-Performance Sparse Tensor Algebra
Sparse
Jiajia Li North Carolina State University
09:40
20m
Talk
Loop Fusion in Matrix Multiplications with Sparse Dependence
Sparse
Kazem Cheshmi McMaster University
10:00
10m
Talk
Panel 1
Sparse
Saman Amarasinghe Massachusetts Institute of Technology, Kazem Cheshmi McMaster University, Jiajia Li North Carolina State University
10:30 - 12:00
Session 2Sparse at Cosmos
10:30
20m
Talk
Optimizations and abstractions for sparse machine learning
Sparse
Charith Mendis University of Illinois at Urbana-Champaign
10:50
20m
Talk
Distributed Sparse Computing with Legate Sparse
Sparse
Rohan Yadav Stanford University
11:10
20m
Talk
Optimizing Recursive Sparse Computations
Sparse
Amir Shaikhha University of Edinburgh
11:30
20m
Talk
Panel 2
Sparse
Charith Mendis University of Illinois at Urbana-Champaign, Rohan Yadav Stanford University, Amir Shaikhha University of Edinburgh
14:00 - 15:20
Session 3Sparse at Cosmos
14:00
20m
Talk
PyData/Sparse & Finch: extending sparse computing in the Python ecosystem
Sparse
Hameer Abbasi Quansight, Mateusz Sokol Quansight Labs
14:20
20m
Talk
Compiling and Compressing Structured Tensors
Sparse
14:40
20m
Talk
Sparsity-Aware Autoscheduling for Numpy with Finch and Galley
Sparse
Willow Ahrens Massachusetts Institute of Technology
15:00
20m
Talk
Panel 3
Sparse
Hameer Abbasi Quansight, Emilien Bauer , Willow Ahrens Massachusetts Institute of Technology, Mateusz Sokol Quansight Labs

Tue 17 Jun

Displayed time zone: Seoul change

09:00 - 10:10
Session 1RPLS at Cosmos

K and Redex

09:15
25m
Talk
Programming Languages Must Have Formal Semantics. Period.
RPLS
Xiaohong Chen University of Illinois at Urbana-Champaign
09:40
25m
Talk
Lightweight Semantics Engineering with Redex
RPLS
Matthew Flatt University of Utah
10:30 - 12:00
Session 2RPLS at Cosmos

Mechanized Specifications for WebAssembly and JavaScript

10:30
25m
Talk
SpecTec, a Single Source of Truth
RPLS
10:55
25m
Talk
Trusted JavaScript Language Environments with ESMeta
RPLS
Jihyeok Park Korea University
11:20
25m
Talk
The Software Supporting the JavaScript Language Specification
RPLS
14:00 - 15:20
Session 3RPLS at Cosmos
14:05
25m
Talk
Lightweight Hypervisor Verification: Putting the Hardware Burger on a Diet
RPLS
Nate Foster Cornell University; Jane Street
14:30
25m
Talk
P4-Based Automated Reasoning (P4-BAR) using Symbolic Execution at Google
RPLS
14:55
25m
Talk
Verification of WebAssembly Features
RPLS
Philippa Gardner Imperial College London, Conrad Watt Nanyang Technological University
15:40 - 17:30
Session 4RPLS at Cosmos
15:40
25m
Talk
MiniRust: A Core Language for Specifying Rust
RPLS
Ralf Jung ETH Zurich
16:05
25m
Talk
Production Language Specification - Requirements for Multiple UsagesRemote
RPLS
Peter Sewell University of Cambridge
16:30
60m
Panel
Panel: Mechanized Specifications for Real-World Programming Languages
RPLS
M: Sukyoung Ryu KAIST, P: Xiaohong Chen University of Illinois at Urbana-Champaign, P: Jonathan DiLorenzo Google, P: Michael Ficarra F5, P: Ralf Jung ETH Zurich

Mon 16 Jun

Displayed time zone: Seoul change

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Cosmos

Tue 17 Jun

Displayed time zone: Seoul change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Cosmos