Matches in SemOpenAlex for { <https://semopenalex.org/work/W2899277098> ?p ?o ?g. }
- W2899277098 endingPage "31" @default.
- W2899277098 startingPage "1" @default.
- W2899277098 abstract "We propose trace abstraction modulo probability, a proof technique for verifying high-probability accuracy guarantees of probabilistic programs. Our proofs overapproximate the set of program traces using failure automata, finite-state automata that upper bound the probability of failing to satisfy a target specification. We automate proof construction by reducing probabilistic reasoning to logical reasoning: we use program synthesis methods to select axioms for sampling instructions, and then apply Craig interpolation to prove that traces fail the target specification with only a small probability. Our method handles programs with unknown inputs, parameterized distributions, infinite state spaces, and parameterized specifications. We evaluate our technique on a range of randomized algorithms drawn from the differential privacy literature and beyond. To our knowledge, our approach is the first to automatically establish accuracy properties of these algorithms." @default.
- W2899277098 created "2018-11-09" @default.
- W2899277098 creator A5033286190 @default.
- W2899277098 creator A5050593520 @default.
- W2899277098 creator A5075808482 @default.
- W2899277098 date "2019-01-02" @default.
- W2899277098 modified "2023-09-26" @default.
- W2899277098 title "Trace abstraction modulo probability" @default.
- W2899277098 cites W1495732641 @default.
- W2899277098 cites W1498004481 @default.
- W2899277098 cites W1503537039 @default.
- W2899277098 cites W1510368738 @default.
- W2899277098 cites W1528660673 @default.
- W2899277098 cites W1565898282 @default.
- W2899277098 cites W1841626152 @default.
- W2899277098 cites W1873763122 @default.
- W2899277098 cites W1879823367 @default.
- W2899277098 cites W1949522686 @default.
- W2899277098 cites W1993116423 @default.
- W2899277098 cites W2000108089 @default.
- W2899277098 cites W2009611335 @default.
- W2899277098 cites W2012992615 @default.
- W2899277098 cites W2013823004 @default.
- W2899277098 cites W2033942886 @default.
- W2899277098 cites W2041467928 @default.
- W2899277098 cites W2052092737 @default.
- W2899277098 cites W2089139117 @default.
- W2899277098 cites W2100960835 @default.
- W2899277098 cites W2105544671 @default.
- W2899277098 cites W2114633883 @default.
- W2899277098 cites W2139338362 @default.
- W2899277098 cites W2141670510 @default.
- W2899277098 cites W2149907859 @default.
- W2899277098 cites W2155049725 @default.
- W2899277098 cites W2169784622 @default.
- W2899277098 cites W221832247 @default.
- W2899277098 cites W2233431969 @default.
- W2899277098 cites W2293154396 @default.
- W2899277098 cites W2293685560 @default.
- W2899277098 cites W2395654200 @default.
- W2899277098 cites W2435583538 @default.
- W2899277098 cites W2494200839 @default.
- W2899277098 cites W2527393991 @default.
- W2899277098 cites W2548604229 @default.
- W2899277098 cites W2555835184 @default.
- W2899277098 cites W2565511473 @default.
- W2899277098 cites W2593267253 @default.
- W2899277098 cites W2599449751 @default.
- W2899277098 cites W2762833920 @default.
- W2899277098 cites W2767778696 @default.
- W2899277098 cites W2799052418 @default.
- W2899277098 cites W2799093299 @default.
- W2899277098 cites W2799169208 @default.
- W2899277098 cites W2913788705 @default.
- W2899277098 cites W3100287873 @default.
- W2899277098 cites W3123629616 @default.
- W2899277098 cites W4205228770 @default.
- W2899277098 cites W4212792638 @default.
- W2899277098 cites W4233556240 @default.
- W2899277098 cites W4248861293 @default.
- W2899277098 cites W72346910 @default.
- W2899277098 cites W88990729 @default.
- W2899277098 doi "https://doi.org/10.1145/3290352" @default.
- W2899277098 hasPublicationYear "2019" @default.
- W2899277098 type Work @default.
- W2899277098 sameAs 2899277098 @default.
- W2899277098 citedByCount "10" @default.
- W2899277098 countsByYear W28992770982019 @default.
- W2899277098 countsByYear W28992770982020 @default.
- W2899277098 countsByYear W28992770982021 @default.
- W2899277098 countsByYear W28992770982022 @default.
- W2899277098 countsByYear W28992770982023 @default.
- W2899277098 crossrefType "journal-article" @default.
- W2899277098 hasAuthorship W2899277098A5033286190 @default.
- W2899277098 hasAuthorship W2899277098A5050593520 @default.
- W2899277098 hasAuthorship W2899277098A5075808482 @default.
- W2899277098 hasBestOaLocation W28992770981 @default.
- W2899277098 hasConcept C105795698 @default.
- W2899277098 hasConcept C108710211 @default.
- W2899277098 hasConcept C111472728 @default.
- W2899277098 hasConcept C112505250 @default.
- W2899277098 hasConcept C11413529 @default.
- W2899277098 hasConcept C118615104 @default.
- W2899277098 hasConcept C124304363 @default.
- W2899277098 hasConcept C138885662 @default.
- W2899277098 hasConcept C149441793 @default.
- W2899277098 hasConcept C154945302 @default.
- W2899277098 hasConcept C165464430 @default.
- W2899277098 hasConcept C165753454 @default.
- W2899277098 hasConcept C167729594 @default.
- W2899277098 hasConcept C177264268 @default.
- W2899277098 hasConcept C194525867 @default.
- W2899277098 hasConcept C199360897 @default.
- W2899277098 hasConcept C2524010 @default.
- W2899277098 hasConcept C33923547 @default.
- W2899277098 hasConcept C41008148 @default.
- W2899277098 hasConcept C41895202 @default.
- W2899277098 hasConcept C49937458 @default.