Write a Blog >>
PLDI 2021
Sun 20 - Sat 26 June 2021 Virtual Conference

This program is tentative and subject to change.

Wed 23 Jun 2021 13:55 - 14:00 at PLDI-B - Talks 2B: Language Design and Programming Models
Thu 24 Jun 2021 01:55 - 02:00 at PLDI-B - Talks 2B: Language Design and Programming Models

Achieving parallel performance and scalability involves making compromises between parallel and sequential computation. If not contained, the overheads of parallelism can easily outweigh its benefits, sometimes by orders of magnitude. Today, we expect programmers to implement this compromise by optimizing their code manually. This process is labor intensive, requires deep expertise, and reduces code quality. Recent work on heartbeat scheduling shows a promising approach that manifests the potentially vast amounts of available, latent parallelism, at a regular rate, based on even beats in time. The idea is to amortize the overheads of parallelism over the useful work performed between the beats. Heartbeat scheduling is promising in theory, but the reality is complicated: it has no known practical implementation.

In this paper, we propose a practical approach to heartbeat scheduling that involves equipping the assembly language with a small set of primitives. These primitives leverage existing kernel and hardware support for interrupts to allow parallelism to remain latent, until a heartbeat, when it can be manifested with low cost. Our Task Parallel Assembly Language (TPAL) is a compact, RISC-like assembly language. We specify TPAL through an abstract machine and implement the abstract machine as compiler transformations for C/C++ code and a specialized run-time system. We present an evaluation on both the Linux and the Nautilus kernels, considering a range of heartbeat interrupt mechanisms. The evaluation shows that TPAL can dramatically reduce the overheads of parallelism without compromising scalability.

This program is tentative and subject to change.

Conference Day
Wed 23 Jun

Displayed time zone: Eastern Time (US & Canada) change

13:30 - 14:05
Talks 2B: Language Design and Programming ModelsPLDI at PLDI-B +12h
13:30
5m
Talk
Wire Sorts: A Language Abstraction for Safe Hardware Composition
PLDI
Michael ChristensenUniversity of California at Santa Barbara, Timothy SherwoodUniversity of California at Santa Barbara, Jonathan BalkindUniversity of California at Santa Barbara, Ben HardekopfUniversity of California at Santa Barbara
DOI
13:35
5m
Talk
Scooter & Sidecar: A Domain-Specific Approach to Writing Secure Database Migrations
PLDI
John RennerUniversity of California at San Diego, Alex Sanchez-SternUniversity of California at San Diego, Fraser BrownStanford University, Sorin LernerUniversity of California at San Diego, Deian StefanUniversity of California at San Diego
DOI
13:40
5m
Talk
Unqomp: Synthesizing Uncomputation in Quantum Circuits
PLDI
Anouk ParadisETH Zurich, Benjamin BichselETH Zurich, Samuel SteffenETH Zurich, Martin VechevETH Zurich
DOI
13:45
5m
Talk
Gleipnir: Toward Practical Error Analysis for Quantum Programs
PLDI
Runzhou TaoColumbia University, Yunong ShiUniversity of Chicago, Jianan YaoColumbia University, John HuiColumbia University, Frederic T. ChongUniversity of Chicago, Ronghui GuColumbia University
DOI
13:50
5m
Talk
Quantum Abstract Interpretation
PLDI
Nengkun YuUTS, Jens PalsbergUniversity of California at Los Angeles
DOI
13:55
5m
Talk
Task Parallel Assembly Language for Uncompromising Parallelism
PLDI
Mike RaineyCarnegie Mellon University, Ryan R. NewtonFacebook, Kyle HaleIllinois Institute of Technology, Nikos HardavellasNorthwestern University, Simone CampanoniNorthwestern University, Peter DindaNorthwestern University, Umut A. AcarCarnegie Mellon University
DOI
14:00
5m
Talk
DIY Assistant: A Multi-modal End-User Programmable Virtual Assistant
PLDI
Michael FischerStanford University, Giovanni CampagnaStanford University, Euirim ChoiStanford University, Monica S. LamStanford University
DOI Media Attached

Conference Day
Thu 24 Jun

Displayed time zone: Eastern Time (US & Canada) change

01:30 - 02:05
Talks 2B: Language Design and Programming ModelsPLDI at PLDI-B
01:30
5m
Talk
Wire Sorts: A Language Abstraction for Safe Hardware Composition
PLDI
Michael ChristensenUniversity of California at Santa Barbara, Timothy SherwoodUniversity of California at Santa Barbara, Jonathan BalkindUniversity of California at Santa Barbara, Ben HardekopfUniversity of California at Santa Barbara
DOI
01:35
5m
Talk
Scooter & Sidecar: A Domain-Specific Approach to Writing Secure Database Migrations
PLDI
John RennerUniversity of California at San Diego, Alex Sanchez-SternUniversity of California at San Diego, Fraser BrownStanford University, Sorin LernerUniversity of California at San Diego, Deian StefanUniversity of California at San Diego
DOI
01:40
5m
Talk
Unqomp: Synthesizing Uncomputation in Quantum Circuits
PLDI
Anouk ParadisETH Zurich, Benjamin BichselETH Zurich, Samuel SteffenETH Zurich, Martin VechevETH Zurich
DOI
01:45
5m
Talk
Gleipnir: Toward Practical Error Analysis for Quantum Programs
PLDI
Runzhou TaoColumbia University, Yunong ShiUniversity of Chicago, Jianan YaoColumbia University, John HuiColumbia University, Frederic T. ChongUniversity of Chicago, Ronghui GuColumbia University
DOI
01:50
5m
Talk
Quantum Abstract Interpretation
PLDI
Nengkun YuUTS, Jens PalsbergUniversity of California at Los Angeles
DOI
01:55
5m
Talk
Task Parallel Assembly Language for Uncompromising Parallelism
PLDI
Mike RaineyCarnegie Mellon University, Ryan R. NewtonFacebook, Kyle HaleIllinois Institute of Technology, Nikos HardavellasNorthwestern University, Simone CampanoniNorthwestern University, Peter DindaNorthwestern University, Umut A. AcarCarnegie Mellon University
DOI
02:00
5m
Talk
DIY Assistant: A Multi-modal End-User Programmable Virtual Assistant
PLDI
Michael FischerStanford University, Giovanni CampagnaStanford University, Euirim ChoiStanford University, Monica S. LamStanford University
DOI Media Attached