1.3k citations · 2.1k across the 35 of their papers we have counts for
Showing 2018 · cs.PLShow all
2 papers · 2 filters
cs.PL2018★ 1 cited
Verifying Programs Under Custom Application-Specific Execution Models
Brett Boston, Zoe Gong, Michael Carbin
Researchers have recently designed a number of application-specific fault tolerance mechanisms that enable applications to either be naturally resilient to errors or include additi…
cs.PL2018
Verifying Handcoded Probabilistic Inference Procedures
Eric Atkinson, Cambridge Yang, Michael Carbin
Researchers have recently proposed several systems that ease the process of performing Bayesian probabilistic inference. These include systems for automatic inference algorithm syn…