by Robert Rand and Michael Hicks on Feb 6, 2020 | Tags: compilers, formal verification, language design, program synthesis, quantum computing, type systems
As quantum computers become more practical, there is a rich opportunity to advance the development of tools to assist in the process of programming them, both now and in the future. To encourage more PL-minded researchers to work in this exciting new area, we established the Workshop on Programming Languages for Quantum Computing (PLanQC).
Read more...
by Sarita V. Adve, Ratislav Bodik, and Luis Ceze on Dec 19, 2019 | Tags: architecture, hardware specialization, language design, programming tools
We share the results of a DARPA ISAT study, I-USHER: Interfaces to Unlock the Specialized HardwarE Revolution, arguing for new hardware/software interfaces to enable the revolution promised by hardware specialization.
Read more...
by Jens Palsberg on Jul 26, 2019 | Tags: algorithm, architecture, language design, quantum computing
Quantum computing may be more powerful than classical computing but has a radically different programming model. Current languages are in their infancy; future languages are likely to be different. Now is a great time for language designers and implementers to try new ideas.
Read more...