Matches in SemOpenAlex for { <https://semopenalex.org/work/W3206560132> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W3206560132 abstract "Many of today's probabilistic programming languages (PPLs) have brittle inference performance: the performance of the underlying inference algorithm is very sensitive to the precise way in which the probabilistic program is written. A standard way of addressing this challenge in traditional programming languages is via program optimizations, which seek to unburden the programmer from writing low-level performant code, freeing them to work at a higher-level of abstraction. The arsenal of applicable program optimizations for PPLs to choose from is scarce in comparison to traditional programs; few of today's PPLs offer significant forms of automated program optimization. In this work we develop a new family of program optimizations specific to discrete-valued knowledge compilation based PPLs. We identify a particular form of program structure unique to these PPLs that tangibly affects exact inference performance in these programs: redundant random variables -- variables with repeated parameters and inconsistent path conditions. We develop a new program analysis and associated optimization called flip-hoisting that identifies these redundancies and optimizes them into a single random variable. We show that flip-hoisting yields inference speedups of up to 60% on applications of probabilistic programs such as Bayesian networks and probabilistic verification." @default.
- W3206560132 created "2021-10-25" @default.
- W3206560132 creator A5009539513 @default.
- W3206560132 creator A5014067492 @default.
- W3206560132 creator A5066166509 @default.
- W3206560132 creator A5074399899 @default.
- W3206560132 date "2021-10-19" @default.
- W3206560132 modified "2023-09-28" @default.
- W3206560132 title "flip-hoisting: Exploiting Repeated Parameters in Discrete Probabilistic Programs" @default.
- W3206560132 cites W1535430927 @default.
- W3206560132 cites W1544444076 @default.
- W3206560132 cites W1889548941 @default.
- W3206560132 cites W189719929 @default.
- W3206560132 cites W1964821516 @default.
- W3206560132 cites W2062818807 @default.
- W3206560132 cites W207890491 @default.
- W3206560132 cites W2101512909 @default.
- W3206560132 cites W238700879 @default.
- W3206560132 cites W2395654200 @default.
- W3206560132 cites W2494200839 @default.
- W3206560132 cites W2926374695 @default.
- W3206560132 cites W2994702301 @default.
- W3206560132 cites W3033339947 @default.
- W3206560132 cites W3171238895 @default.
- W3206560132 cites W3184096451 @default.
- W3206560132 cites W68436435 @default.
- W3206560132 doi "https://doi.org/10.48550/arxiv.2110.10284" @default.
- W3206560132 hasPublicationYear "2021" @default.
- W3206560132 type Work @default.
- W3206560132 sameAs 3206560132 @default.
- W3206560132 citedByCount "0" @default.
- W3206560132 crossrefType "posted-content" @default.
- W3206560132 hasAuthorship W3206560132A5009539513 @default.
- W3206560132 hasAuthorship W3206560132A5014067492 @default.
- W3206560132 hasAuthorship W3206560132A5066166509 @default.
- W3206560132 hasAuthorship W3206560132A5074399899 @default.
- W3206560132 hasBestOaLocation W32065601321 @default.
- W3206560132 hasConcept C111472728 @default.
- W3206560132 hasConcept C124304363 @default.
- W3206560132 hasConcept C138885662 @default.
- W3206560132 hasConcept C154945302 @default.
- W3206560132 hasConcept C199360897 @default.
- W3206560132 hasConcept C2776214188 @default.
- W3206560132 hasConcept C2777735758 @default.
- W3206560132 hasConcept C2778514511 @default.
- W3206560132 hasConcept C33724603 @default.
- W3206560132 hasConcept C41008148 @default.
- W3206560132 hasConcept C49937458 @default.
- W3206560132 hasConcept C80444323 @default.
- W3206560132 hasConcept C98183937 @default.
- W3206560132 hasConceptScore W3206560132C111472728 @default.
- W3206560132 hasConceptScore W3206560132C124304363 @default.
- W3206560132 hasConceptScore W3206560132C138885662 @default.
- W3206560132 hasConceptScore W3206560132C154945302 @default.
- W3206560132 hasConceptScore W3206560132C199360897 @default.
- W3206560132 hasConceptScore W3206560132C2776214188 @default.
- W3206560132 hasConceptScore W3206560132C2777735758 @default.
- W3206560132 hasConceptScore W3206560132C2778514511 @default.
- W3206560132 hasConceptScore W3206560132C33724603 @default.
- W3206560132 hasConceptScore W3206560132C41008148 @default.
- W3206560132 hasConceptScore W3206560132C49937458 @default.
- W3206560132 hasConceptScore W3206560132C80444323 @default.
- W3206560132 hasConceptScore W3206560132C98183937 @default.
- W3206560132 hasLocation W32065601321 @default.
- W3206560132 hasOpenAccess W3206560132 @default.
- W3206560132 hasPrimaryLocation W32065601321 @default.
- W3206560132 hasRelatedWork W137976737 @default.
- W3206560132 hasRelatedWork W1504651774 @default.
- W3206560132 hasRelatedWork W2008395018 @default.
- W3206560132 hasRelatedWork W2075555650 @default.
- W3206560132 hasRelatedWork W2140114685 @default.
- W3206560132 hasRelatedWork W2619448390 @default.
- W3206560132 hasRelatedWork W2960431263 @default.
- W3206560132 hasRelatedWork W3160136729 @default.
- W3206560132 hasRelatedWork W4295117971 @default.
- W3206560132 hasRelatedWork W53394136 @default.
- W3206560132 isParatext "false" @default.
- W3206560132 isRetracted "false" @default.
- W3206560132 magId "3206560132" @default.
- W3206560132 workType "article" @default.