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

This program is tentative and subject to change.

Thu 24 Jun 2021 09:20 - 09:25 at PLDI-B - Talks 3B: Architectures and Systems
Thu 24 Jun 2021 21:20 - 21:25 at PLDI-B - Talks 3B: Architectures and Systems

Text editing is powerful, but some types of expressions are more naturally represented and manipulated graphically. Examples include expressions that compute colors, music, animations, tabular data, plots, diagrams, and other domain-specific data structures. This paper introduces live literals, or livelits, which allow clients to fill holes of types like these by directly manipulating a user-defined GUI embedded persistently into code. Uniquely, livelits are compositional: a livelit GUI can itself embed spliced expressions, which are typed, lexically scoped, and can in turn embed other livelits. Livelits are also uniquely live: a livelit can provide continuous feedback about the run-time implications of the client's choices even when splices mention bound variables, because the system continuously gathers closures associated with the hole that the livelit is filling. We integrate livelits into Hazel, a live hole-driven programming environment, and describe case studies that exercise these novel capabilities. We then define a simply typed livelit calculus, which specifies how livelits operate as live graphical macros. The metatheory of macro expansion has been mechanized in Agda.

This program is tentative and subject to change.

Conference Day
Thu 24 Jun

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

09:00 - 09:40
Talks 3B: Architectures and SystemsPLDI at PLDI-B +12h
09:00
5m
Talk
Reticle: A Virtual Machine for Programming Modern FPGAs
PLDI
Luis VegaUniversity of Washington, Joseph McMahanUniversity of Washington, Adrian SampsonCornell University, Dan GrossmanUniversity of Washington, Luis CezeUniversity of Washington
DOI
09:05
5m
Talk
Revamping Hardware Persistency Models: View-Based and Axiomatic Persistency Models for Intel-x86 and Armv8
PLDI
Kyeongmin ChoKAIST, Sung-Hwan LeeSeoul National University, Azalea RaadImperial College London, Jeehoon KangKAIST
DOI
09:10
5m
Talk
Developer and User-Transparent Compiler Optimization for Interactive Applications
PLDI
Paschalis MpeisUniversity of Edinburgh, Pavlos PetoumenosUniversity of Manchester, Kim HazelwoodFacebook AI Research, Hugh LeatherFacebook
Link to publication DOI Media Attached
09:15
5m
Talk
Perceus: Garbage Free Reference Counting with Reuse
PLDI
Alex ReinkingMicrosoft Research, Ningning XieUniversity of Hong Kong, Leonardo de MouraMicrosoft Research, Daan LeijenMicrosoft Research
DOI
09:20
5m
Talk
Filling Typed Holes with Live GUIs
PLDI
Cyrus OmarUniversity of Michigan, David MoonUniversity of Michigan, Andrew BlinnUniversity of Michigan, Ian VoyseyCarnegie Mellon University, Nick CollinsUniversity of Chicago, Ravi ChughUniversity of Chicago
DOI
09:25
5m
Talk
Boosting SMT Solver Performance on Mixed-Bitwise-Arithmetic Expressions
PLDI
Dongpeng XuUniversity of New Hampshire, Binbin LiuUniversity of New Hampshire; University of Science and Technology of China, Weijie FengUniversity of Science and Technology of China, Jiang MingUniversity of Texas at Arlington, Qilong ZhengUniversity of Science and Technology of China, Jing LiUniversity of Science and Technology of China, Qiaoyan YuUniversity of New Hampshire
DOI
09:30
5m
Talk
Automatically Enforcing Fresh and Consistent Inputs in Intermittent Systems
PLDI
Milijana SurbatovichCarnegie Mellon University, Limin JiaCarnegie Mellon University, Brandon LuciaCarnegie Mellon University
DOI
09:35
5m
Talk
Bliss: Auto-tuning Complex Applications using a Pool of Diverse Lightweight Learning Models
PLDI
Rohan Basu RoyNortheastern University, Tirthak PatelNortheastern University, Vijay GadepallyMIT Lincoln Laboratory, Devesh TiwariNortheastern University
DOI
21:00 - 21:40
Talks 3B: Architectures and SystemsPLDI at PLDI-B
21:00
5m
Talk
Reticle: A Virtual Machine for Programming Modern FPGAs
PLDI
Luis VegaUniversity of Washington, Joseph McMahanUniversity of Washington, Adrian SampsonCornell University, Dan GrossmanUniversity of Washington, Luis CezeUniversity of Washington
DOI
21:05
5m
Talk
Revamping Hardware Persistency Models: View-Based and Axiomatic Persistency Models for Intel-x86 and Armv8
PLDI
Kyeongmin ChoKAIST, Sung-Hwan LeeSeoul National University, Azalea RaadImperial College London, Jeehoon KangKAIST
DOI
21:10
5m
Talk
Developer and User-Transparent Compiler Optimization for Interactive Applications
PLDI
Paschalis MpeisUniversity of Edinburgh, Pavlos PetoumenosUniversity of Manchester, Kim HazelwoodFacebook AI Research, Hugh LeatherFacebook
Link to publication DOI Media Attached
21:15
5m
Talk
Perceus: Garbage Free Reference Counting with Reuse
PLDI
Alex ReinkingMicrosoft Research, Ningning XieUniversity of Hong Kong, Leonardo de MouraMicrosoft Research, Daan LeijenMicrosoft Research
DOI
21:20
5m
Talk
Filling Typed Holes with Live GUIs
PLDI
Cyrus OmarUniversity of Michigan, David MoonUniversity of Michigan, Andrew BlinnUniversity of Michigan, Ian VoyseyCarnegie Mellon University, Nick CollinsUniversity of Chicago, Ravi ChughUniversity of Chicago
DOI
21:25
5m
Talk
Boosting SMT Solver Performance on Mixed-Bitwise-Arithmetic Expressions
PLDI
Dongpeng XuUniversity of New Hampshire, Binbin LiuUniversity of New Hampshire; University of Science and Technology of China, Weijie FengUniversity of Science and Technology of China, Jiang MingUniversity of Texas at Arlington, Qilong ZhengUniversity of Science and Technology of China, Jing LiUniversity of Science and Technology of China, Qiaoyan YuUniversity of New Hampshire
DOI
21:30
5m
Talk
Automatically Enforcing Fresh and Consistent Inputs in Intermittent Systems
PLDI
Milijana SurbatovichCarnegie Mellon University, Limin JiaCarnegie Mellon University, Brandon LuciaCarnegie Mellon University
DOI
21:35
5m
Talk
Bliss: Auto-tuning Complex Applications using a Pool of Diverse Lightweight Learning Models
PLDI
Rohan Basu RoyNortheastern University, Tirthak PatelNortheastern University, Vijay GadepallyMIT Lincoln Laboratory, Devesh TiwariNortheastern University
DOI