Search filters

List of works by Michael Carbin

Generalizable and interpretable learning for configuration extrapolation

scientific article published on 19 August 2021

Programming with neural surrogates of programs

scientific article published on 16 October 2021

Quantum Control Machine: The Limits of Control Flow in Quantum Programming

scientific article published on 29 April 2024

Semi-symbolic inference for efficient streaming probabilistic programming

scientific article published on 31 October 2022

Statically bounded-memory delayed sampling for probabilistic streams

scientific article published on 15 October 2021

The T-Complexity Costs of Error Correction for Control Flow in Quantum Computation

scientific article published on 20 June 2024

Tower: data structures in Quantum superposition

scientific article published on 31 October 2022

Turaco: Complexity-Guided Data Sampling for Training Neural Surrogates of Programs

scientific article published on 16 October 2023

Twist: sound reasoning for purity and entanglement in Quantum programs

scientific article published on 12 January 2022

Paulina is supported by:

About Paulina

Help