93 research outputs found
Space-Efficient Gradual Typing in Coercion-Passing Style
Herman et al. pointed out that the insertion of run-time checks into a gradually typed program could hamper tail-call optimization and, as a result, worsen the space complexity of the program. To address the problem, they proposed a space-efficient coercion calculus, which was subsequently improved by Siek et al. The semantics of these calculi involves eager composition of run-time checks expressed by coercions to prevent the size of a term from growing. However, it relies also on a nonstandard reduction rule, which does not seem easy to implement. In fact, no compiler implementation of gradually typed languages fully supports the space-efficient semantics faithfully.
In this paper, we study coercion-passing style, which Herman et al. have already mentioned, as a technique for straightforward space-efficient implementation of gradually typed languages. A program in coercion-passing style passes "the rest of the run-time checks" around - just like continuation-passing style (CPS), in which "the rest of the computation" is passed around - and (unlike CPS) composes coercions eagerly. We give a formal coercion-passing translation from ?S by Siek et al. to ?S?, which is a new calculus of first-class coercions tailored for coercion-passing style, and prove correctness of the translation. We also implement our coercion-passing style transformation for the Grift compiler developed by Kuhlenschmidt et al. An experimental result shows stack overflow can be prevented properly at the cost of up to 3 times slower execution for most partially typed practical programs
Quantum magnonics: magnon meets superconducting qubit
The techniques of microwave quantum optics are applied to collective spin
excitations in a macroscopic sphere of ferromagnetic insulator. We demonstrate,
in the single-magnon limit, strong coupling between a magnetostatic mode in the
sphere and a microwave cavity mode. Moreover, we introduce a superconducting
qubit in the cavity and couple the qubit with the magnon excitation via the
virtual photon excitation. We observe the magnon-vacuum-induced Rabi splitting.
The hybrid quantum system enables generation and characterization of
non-classical quantum states of magnons.Comment: 10 pages, 6 figure
Breaking the trade-off between fast control and long lifetime of a superconducting qubit
The rapid development in designs and fabrication techniques of
superconducting qubits has helped making coherence times of qubits longer. In
the near future, however, the radiative decay of a qubit into its control line
will be a fundamental limitation, imposing a trade-off between fast control and
long lifetime of the qubit. In this work, we successfully break this trade-off
by strongly coupling another superconducting qubit along the control line. This
second qubit, which we call a Josephson quantum filter (JQF), prevents the
qubit from emitting microwave photons and thus suppresses its relaxation, while
faithfully transmitting large-amplitude control microwave pulses due to the
saturation of the quantum filter, enabling fast qubit control. We observe an
improvement of the qubit relaxation time without a reduction of the Rabi
frequency. This device could potentially help in the realization of a
large-scale superconducting quantum information processor in terms of the
heating of the qubit environments and the crosstalk between qubits.Comment: 22 pages, 13 figures, 1 tabl
- …