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

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
Chair(s): Amir Shaikhha University of Edinburgh
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
Chair(s): Willow Ahrens Massachusetts Institute of Technology
10:30
20m
Talk
Optimizations and abstractions for sparse machine learningRecorded
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
Chair(s): Rohan Yadav Stanford University
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 TensorsRecorded
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
File Attached
09:40
25m
Talk
Lightweight Semantics Engineering with Redex
RPLS
Matthew Flatt University of Utah
File Attached
14:00 - 15:20
Session 3RPLS at Cosmos

Verification and Reasoning

14:05
25m
Talk
Lightweight Hypervisor Verification: Putting the Hardware Burger on a DietRemote
RPLS
Nate Foster Cornell University; Jane Street
File Attached
14:30
25m
Talk
P4-Based Automated Reasoning (P4-BAR) using Symbolic Execution at Google
RPLS
File Attached
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

Specifications for Real-World Programming Languages

15:40
25m
Talk
MiniRust: A Core Language for Specifying Rust
RPLS
Ralf Jung ETH Zurich
File Attached
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
19:30 - 21:30
LCTES Committee DinnerLCTES / Catering at Cosmos
19:30
2h
Dinner
Dinner
Catering

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:003018:003019:003020:003021:0030
Cosmos