Write a Blog >>
PLDI 2021
Sun 20 - Sat 26 June 2021 PLDI
Wed 23 Jun 2021 14:00 - 14:05 at PLDI-B - Talks 2B: Language Design and Programming Models
Thu 24 Jun 2021 02:00 - 02:05 at PLDI-B - Talks 2B: Language Design and Programming Models

While Alexa can perform over 100,000 skills, its capability covers only a fraction of what is possible on the web. Individuals need and want to automate a long tail of web-based tasks which often involve visiting different websites and require programming concepts such as function composition, conditional, and iterative evaluation. This paper presents DIYA (Do-It-Yourself Assistant), a new system that empowers users to create personalized web-based virtual assistant skills that require the full generality of composable control constructs, without having to learn a formal programming language.

With DIYA, the user demonstrates their task of interest in the browser and issues a few simple voice commands, such as naming the skills and adding conditions on the action. DIYA turns these multi-modal specifications into voice-invocable skills written in the ThingTalk 2.0 programming language we designed for this purpose. DIYA is a prototype that works in the Chrome browser.
Our user studies show that 81% of the proposed routines can be expressed using DIYA. DIYA is easy to learn, and 80% of users surveyed find DIYA useful.

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