The T-Complexity Costs of Error Correction for Control Flow in Quantum Computation von Yuan, Charles, Carbin, Michael

Volltext

Tower: data structures in Quantum superposition von Yuan, Charles, Carbin, Michael

Volltext

Programming and reasoning with partial observability von Atkinson, Eric, Carbin, Michael

Volltext

Twist: sound reasoning for purity and entanglement in Quantum programs von Yuan, Charles, McNally, Christopher, Carbin, Michael

Volltext

Quantum Control Machine: The Limits of Control Flow in Quantum Programming von Yuan, Charles, Villanyi, Agnes, Carbin, Michael

Volltext

Turaco: Complexity-Guided Data Sampling for Training Neural Surrogates of Programs von Renda, Alex, Ding, Yi, Carbin, Michael

Volltext

Exploiting Errors for Efficiency: A Survey from Circuits to Applications von Stanley-Marbell, Phillip, Alaghi, Armin, Carbin, Michael, Darulova, Eva, Dolecek, Lara, Gerstlauer, Andreas, Gillani, Ghayoor, Jevdjic, Djordje, Moreau, Thierry, Cacciotti, Mattia, Daglis, Alexandros, Jerger, Natalie Enright, Falsafi, Babak, Misailovic, Sasa, Sampson, Adrian, Zufferey, Damien

Volltext

Simplifying dependent reductions in the polyhedral model von Yang, Cambridge, Atkinson, Eric, Carbin, Michael

Volltext

Semi-symbolic inference for efficient streaming probabilistic programming von Atkinson, Eric, Yuan, Charles, Baudart, Guillaume, Mandel, Louis, Carbin, Michael

Volltext

Trace types and denotational semantics for sound programmable inference in probabilistic languages von Lew, Alexander K., Cusumano-Towner, Marco F., Sherman, Benjamin, Carbin, Michael, Mansinghka, Vikash K.

Volltext

ₛ: computable semantics for differentiable programming with higher-order functions and datatypes von Sherman, Benjamin, Michel, Jesse, Carbin, Michael

Volltext

Sound and robust solid modeling via exact real arithmetic and continuity von Sherman, Benjamin, Michel, Jesse, Carbin, Michael

Volltext

Statically bounded-memory delayed sampling for probabilistic streams von Atkinson, Eric, Baudart, Guillaume, Mandel, Louis, Yuan, Charles, Carbin, Michael

Volltext

Leto: verifying application-specific hardware fault tolerance with programmable execution models von Boston, Brett, Gong, Zoe, Carbin, Michael

Volltext

Optimizing CNNs on Multicores for Scalability, Performance and Goodput von Rajbhandari, Samyam, He, Yuxiong, Ruwase, Olatunji, Carbin, Michael, Chilimbi, Trishul

Volltext

Dynamic knobs for responsive power-aware computing von Hoffmann, Henry, Sidiroglou, Stelios, Carbin, Michael, Misailovic, Sasa, Agarwal, Anant, Rinard, Martin

Volltext

Distributions for Compositionally Differentiating Parametric Discontinuities von Michel, Jesse, Mu, Kevin, Yang, Xuanda, Bangaru, Sai Praveen, Collins, Elias Rojas, Bernstein, Gilbert, Ragan-Kelley, Jonathan, Carbin, Michael, Li, Tzu-Mao

Volltext

Using datalog with binary decision diagrams for program analysis von WHALEY, John, AVOTS, Dzintars, CARBIN, Michael, LAM, Monica S

Volltext

Verifying quantitative reliability for programs that execute on unreliable hardware von Carbin, Michael, Misailovic, Sasa, Rinard, Martin C.

Volltext

The T-Complexity Costs of Error Correction for Control Flow in Quantum Computation von Yuan, Charles, Carbin, Michael

Volltext