Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
Thu 18 Jun 2020 14:20 - 14:40 at PLDI Research Papers live stream - Language Design I Chair(s): Adrian Sampson

Existing quantum languages force the programmer to work at a low level of abstraction leading to unintuitive and cluttered code. A fundamental reason is that dropping temporary values from the program state requires explicitly applying quantum operations that safely uncompute these values.

We present Silq, the first quantum language that addresses this challenge by supporting safe, automatic uncomputation. This enables an intuitive semantics that implicitly drops temporary values, as in classical computation. To ensure physicality of Silq's semantics, its type system leverages novel annotations to reject unphysical programs.

Our experimental evaluation demonstrates that Silq programs are not only easier to read and write, but also significantly shorter than equivalent programs in other quantum languages (on average -46% for Q#, -38% for Quipper), while using only half the number of quantum primitives.

Thu 18 Jun
Times are displayed in time zone: Pacific Time (US & Canada) change

14:20 - 15:40
14:20
20m
Talk
Silq: A High-Level Quantum Language with Safe Uncomputation and Intuitive Semantics
PLDI Research Papers
Benjamin BichselETH Zurich, Switzerland, Maximilian BaaderETH Zurich, Switzerland, Timon GehrETH Zurich, Switzerland, Martin VechevETH Zurich, Switzerland
14:40
20m
Talk
The Essence of Bluespec: A Core Language for Rule-Based Hardware Design
PLDI Research Papers
Thomas BourgeatMassachusetts Institute of Technology, USA, Clément Pit-ClaudelMassachusetts Institute of Technology, USA, Adam ChlipalaMassachusetts Institute of Technology, ArvindMassachusetts Institute of Technology, USA
15:00
20m
Talk
LLHD: A Multi-level Intermediate Representation for Hardware Description Languages
PLDI Research Papers
Fabian SchuikiETH Zurich, Switzerland, Andreas KurthETH Zurich, Switzerland, Tobias GrosserETH Zurich, Switzerland, Luca BeniniETH Zurich, Switzerland
Link to publication Pre-print
15:20
20m
Talk
On the Principles of Differentiable Quantum Programming Languages
PLDI Research Papers
Shaopeng ZhuUniversity of Maryland, USA, Shih-Han HungUniversity of Maryland, USA, Shouvanik ChakrabartiUniversity of Maryland, USA, Xiaodi WuUniversity of Maryland, USA