Hi all,
Tomorrow Roman Wixinger will present his semester project “Uncomputation and Entanglement in High-level Quantum Programming Languages”, conducted under the supervision of Prof. Christian Mendl at TU München. See below for the abstract. We start as usual at 2pm on zoom: https://ethz.zoom.us/j/362994444.
Best,
Joe
Quantum programming languages traditionally focus on the hardware level and are therefore not really good at representing the intentions of the programmer. Explicit formulation of uncomputation, which is essential for the safe and efficient use of the qubits, makes the code unnecessarily complex. In recent work, Vechev et al. (2020) introduced Silq, a high-level language that allows for safe, automatic uncomputation just using its type system. This feature makes the code significantly shorter and more intuitive. The type system can also ensure that any program that compiles is physical. In this project, we compared Silq’s solution of handling uncomputation with other approaches and give an overview of the features of quantum languages. We have also tried to understand whether a qubit can be safely discarded by directly looking at the entanglement.