FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2951490272> ?p ?o ?g. }

• W2951490272 endingPage "512" @default.
• W2951490272 startingPage "496" @default.
• W2951490272 abstract "This paper presents a new static analysis for deriving upper bounds on the expected resource consumption of probabilistic programs. The analysis is fully automatic and derives symbolic bounds that are multivariate polynomials in the inputs. The new technique combines manual state-of-the-art reasoning techniques for probabilistic programs with an effective method for automatic resource-bound analysis of deterministic programs. It can be seen as both, an extension of automatic amortized resource analysis (AARA) to probabilistic programs and an automation of manual reasoning for probabilistic programs that is based on weakest preconditions. An advantage of the technique is that it combines the clarity and compositionality of a weakest-precondition calculus with the efficient automation of AARA. As a result, bound inference can be reduced to off-the-shelf LP solving in many cases and automatically-derived bounds can be interactively extended with standard program logics if the automation fails. Building on existing work, the soundness of the analysis is proved with respect to an operational semantics that is based on Markov decision processes. The effectiveness of the technique is demonstrated with a prototype implementation that is used to automatically analyze 39 challenging probabilistic programs and randomized algorithms. Experiments indicate that the derived constant factors in the bounds are very precise and even optimal for some programs." @default.
• W2951490272 created "2019-06-27" @default.
• W2951490272 creator A5014532006 @default.
• W2951490272 creator A5057227260 @default.
• W2951490272 creator A5082079312 @default.
• W2951490272 date "2018-06-11" @default.
• W2951490272 modified "2023-09-26" @default.
• W2951490272 title "Bounded expectations: resource analysis for probabilistic programs" @default.
• W2951490272 cites W11240799 @default.
• W2951490272 cites W1424217719 @default.
• W2951490272 cites W1506606726 @default.
• W2951490272 cites W1518247129 @default.
• W2951490272 cites W1524865709 @default.
• W2951490272 cites W1544023751 @default.
• W2951490272 cites W1545759797 @default.
• W2951490272 cites W1636902686 @default.
• W2951490272 cites W1922177649 @default.
• W2951490272 cites W1963833875 @default.
• W2951490272 cites W1967175382 @default.
• W2951490272 cites W1980177715 @default.
• W2951490272 cites W1982529770 @default.
• W2951490272 cites W1989274820 @default.
• W2951490272 cites W1996748114 @default.
• W2951490272 cites W2010790229 @default.
• W2951490272 cites W2011086847 @default.
• W2951490272 cites W2014354084 @default.
• W2951490272 cites W2020692742 @default.
• W2951490272 cites W2024355065 @default.
• W2951490272 cites W2047749307 @default.
• W2951490272 cites W2048025009 @default.
• W2951490272 cites W2058033966 @default.
• W2951490272 cites W2060573639 @default.
• W2951490272 cites W2066550846 @default.
• W2951490272 cites W2068055184 @default.
• W2951490272 cites W2073629816 @default.
• W2951490272 cites W2076833152 @default.
• W2951490272 cites W2090759054 @default.
• W2951490272 cites W2094647969 @default.
• W2951490272 cites W2095867533 @default.
• W2951490272 cites W2109863363 @default.
• W2951490272 cites W2109892325 @default.
• W2951490272 cites W2112969535 @default.
• W2951490272 cites W2125218864 @default.
• W2951490272 cites W2135155734 @default.
• W2951490272 cites W2138657070 @default.
• W2951490272 cites W2159373783 @default.
• W2951490272 cites W2166496828 @default.
• W2951490272 cites W2184410169 @default.
• W2951490272 cites W2222812367 @default.
• W2951490272 cites W2294174718 @default.
• W2951490272 cites W2294463722 @default.
• W2951490272 cites W2295266283 @default.
• W2951490272 cites W2408755413 @default.
• W2951490272 cites W2471272254 @default.
• W2951490272 cites W2527393991 @default.
• W2951490272 cites W2547267640 @default.
• W2951490272 cites W2565334366 @default.
• W2951490272 cites W2565399133 @default.
• W2951490272 cites W2625924363 @default.
• W2951490272 cites W4233556240 @default.
• W2951490272 cites W4242321992 @default.
• W2951490272 cites W612689541 @default.
• W2951490272 cites W88990729 @default.
• W2951490272 doi "https://doi.org/10.1145/3296979.3192394" @default.
• W2951490272 hasPublicationYear "2018" @default.
• W2951490272 type Work @default.
• W2951490272 sameAs 2951490272 @default.
• W2951490272 citedByCount "12" @default.
• W2951490272 countsByYear W29514902722019 @default.
• W2951490272 countsByYear W29514902722020 @default.
• W2951490272 countsByYear W29514902722021 @default.
• W2951490272 countsByYear W29514902722022 @default.
• W2951490272 countsByYear W29514902722023 @default.
• W2951490272 crossrefType "journal-article" @default.
• W2951490272 hasAuthorship W2951490272A5014532006 @default.
• W2951490272 hasAuthorship W2951490272A5057227260 @default.
• W2951490272 hasAuthorship W2951490272A5082079312 @default.
• W2951490272 hasBestOaLocation W29514902722 @default.
• W2951490272 hasConcept C105795698 @default.
• W2951490272 hasConcept C106189395 @default.
• W2951490272 hasConcept C154945302 @default.
• W2951490272 hasConcept C159886148 @default.
• W2951490272 hasConcept C184337299 @default.
• W2951490272 hasConcept C199360897 @default.
• W2951490272 hasConcept C206345919 @default.
• W2951490272 hasConcept C2777904410 @default.
• W2951490272 hasConcept C2779639559 @default.
• W2951490272 hasConcept C31258907 @default.
• W2951490272 hasConcept C33923547 @default.
• W2951490272 hasConcept C39920170 @default.
• W2951490272 hasConcept C41008148 @default.
• W2951490272 hasConcept C49937458 @default.
• W2951490272 hasConcept C80444323 @default.
• W2951490272 hasConcept C97686452 @default.
• W2951490272 hasConcept C98183937 @default.
• W2951490272 hasConceptScore W2951490272C105795698 @default.
• W2951490272 hasConceptScore W2951490272C106189395 @default.
• W2951490272 hasConceptScore W2951490272C154945302 @default.

• next