Matches in SemOpenAlex for { <https://semopenalex.org/work/W2263296316> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2263296316 abstract "Large-scale data centers and cloud computing have turned system configuration into a challenging problem. Several widely-publicized outages have been blamed not on software bugs, but on configuration bugs. To cope, thousands of organizations use system configuration languages to manage their computing infrastructure. Of these, Puppet is the most widely used with thousands of paying customers and many more open-source users. The heart of Puppet is a domain-specific language that describes the state of a system. Puppet already performs some basic static checks, but they only prevent a narrow range of errors. Furthermore, testing is ineffective because many errors are only triggered under specific machine states that are difficult to predict and reproduce. With several examples, we show that a key problem with Puppet is that configurations can be non-deterministic. This paper presents Rehearsal, a verification tool for Puppet configurations. Rehearsal implements a sound, complete, and scalable determinacy analysis for Puppet. To develop it, we (1) present a formal semantics for Puppet, (2) use several analyses to shrink our models to a tractable size, and (3) frame determinism-checking as decidable formulas for an SMT solver. Rehearsal then leverages the determinacy analysis to check other important properties, such as idempotency. Finally, we apply Rehearsal to several real-world Puppet configurations." @default.
- W2263296316 created "2016-06-24" @default.
- W2263296316 creator A5000650652 @default.
- W2263296316 creator A5019573373 @default.
- W2263296316 creator A5042292630 @default.
- W2263296316 creator A5044042294 @default.
- W2263296316 creator A5069255005 @default.
- W2263296316 date "2015-09-17" @default.
- W2263296316 modified "2023-09-27" @default.
- W2263296316 title "On Static Verification of Puppet System Configurations." @default.
- W2263296316 hasPublicationYear "2015" @default.
- W2263296316 type Work @default.
- W2263296316 sameAs 2263296316 @default.
- W2263296316 citedByCount "0" @default.
- W2263296316 crossrefType "posted-content" @default.
- W2263296316 hasAuthorship W2263296316A5000650652 @default.
- W2263296316 hasAuthorship W2263296316A5019573373 @default.
- W2263296316 hasAuthorship W2263296316A5042292630 @default.
- W2263296316 hasAuthorship W2263296316A5044042294 @default.
- W2263296316 hasAuthorship W2263296316A5069255005 @default.
- W2263296316 hasConcept C134306372 @default.
- W2263296316 hasConcept C135257023 @default.
- W2263296316 hasConcept C184337299 @default.
- W2263296316 hasConcept C199360897 @default.
- W2263296316 hasConcept C33923547 @default.
- W2263296316 hasConcept C41008148 @default.
- W2263296316 hasConcept C48044578 @default.
- W2263296316 hasConcept C58468513 @default.
- W2263296316 hasConcept C77088390 @default.
- W2263296316 hasConceptScore W2263296316C134306372 @default.
- W2263296316 hasConceptScore W2263296316C135257023 @default.
- W2263296316 hasConceptScore W2263296316C184337299 @default.
- W2263296316 hasConceptScore W2263296316C199360897 @default.
- W2263296316 hasConceptScore W2263296316C33923547 @default.
- W2263296316 hasConceptScore W2263296316C41008148 @default.
- W2263296316 hasConceptScore W2263296316C48044578 @default.
- W2263296316 hasConceptScore W2263296316C58468513 @default.
- W2263296316 hasConceptScore W2263296316C77088390 @default.
- W2263296316 hasLocation W22632963161 @default.
- W2263296316 hasOpenAccess W2263296316 @default.
- W2263296316 hasPrimaryLocation W22632963161 @default.
- W2263296316 hasRelatedWork W101896819 @default.
- W2263296316 hasRelatedWork W1475719308 @default.
- W2263296316 hasRelatedWork W1517251395 @default.
- W2263296316 hasRelatedWork W1558776356 @default.
- W2263296316 hasRelatedWork W1932816805 @default.
- W2263296316 hasRelatedWork W2005159791 @default.
- W2263296316 hasRelatedWork W2186876923 @default.
- W2263296316 hasRelatedWork W2188839548 @default.
- W2263296316 hasRelatedWork W2247917933 @default.
- W2263296316 hasRelatedWork W2249179973 @default.
- W2263296316 hasRelatedWork W2318316668 @default.
- W2263296316 hasRelatedWork W2755391279 @default.
- W2263296316 hasRelatedWork W2913718044 @default.
- W2263296316 hasRelatedWork W2933853005 @default.
- W2263296316 hasRelatedWork W2951258056 @default.
- W2263296316 hasRelatedWork W2954178958 @default.
- W2263296316 hasRelatedWork W3088191102 @default.
- W2263296316 hasRelatedWork W3166816215 @default.
- W2263296316 hasRelatedWork W72265089 @default.
- W2263296316 hasRelatedWork W830338198 @default.
- W2263296316 isParatext "false" @default.
- W2263296316 isRetracted "false" @default.
- W2263296316 magId "2263296316" @default.
- W2263296316 workType "article" @default.