Showing 1 - 20 results of 49 for search 'Carbin, Michael', query time: 0.04s
Refine Results
-
1
Overparameterization: A connection between software 1.0 and software 2.0 by Carbin, Michael James
Published 2021
Article -
2
-
3
Programming and reasoning with partial observability by Atkinson, Eric, Carbin, Michael
Published 2021
Article -
4
Programming and reasoning with partial observability by Atkinson, Eric, Carbin, Michael
Published 2022
Article -
5
Tower: Data Structures in Quantum Superposition by Yuan, Charles, Carbin, Michael
Published 2022
Article -
6
-
7
Automatically identifying critical behaviors in programs by Carbin, Michael (Michael James)
Published 2010
Thesis -
8
Logical reasoning for approximate and unreliable computation by Carbin, Michael (Michael James)
Published 2015
Thesis -
9
-
10
Simplifying dependent reductions in the polyhedral model by Yang, Cambridge, Atkinson, Eric, Carbin, Michael
Published 2021
Article -
11
-
12
Programming with neural surrogates of programs by Renda, Alex, Ding, Yi, Carbin, Michael
Published 2022
Article -
13
-
14
-
15
-
16
-
17
-
18
Reactive probabilistic programming by Atkinson, Eric Hamilton, Sherman, Benjamin, Carbin, Michael James
Published 2021
Article -
19
VeGen: a vectorizer generator for SIMD and beyond by Chen, Yishen, Mendis, Charith, Carbin, Michael, Amarasinghe, Saman
Published 2022
Article -
20