A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
Rehearsal: A Configuration Verification Tool for Puppet
[article]
2016
arXiv
pre-print
Preserved Fulltext
Other Versions
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. ...
We thank Joseph Collard and Nimish Gupta for their work on a preliminary version of Rehearsal. This work is supported by the U.S. ...
arXiv:1509.05100v3
fatcat:bzoh7a2cg5dp5c5rly3r2qnxvy
Rehearsal: a configuration verification tool for puppet
2016
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2016
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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. ...
We thank Joseph Collard and Nimish Gupta for their work on a preliminary version of Rehearsal. This work is supported by the U.S. ...
doi:10.1145/2908080.2908083
dblp:conf/pldi/ShambaughWG16
fatcat:nuouozwsczashknlfhwk6csxua
Static Analysis of Infrastructure as Code: a Survey
[article]
2022
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Other Versions
2022
2022 IEEE 19th International Conference on Software Architecture Companion (ICSA-C)
unpublished
doi:10.1109/icsa-c54293.2022.00049 fatcat:ildxjrivsrhk5brtkuvvcmqkxi
doi:10.1109/icsa-c54293.2022.00049 fatcat:ildxjrivsrhk5brtkuvvcmqkxi
We analyze and survey the current state of research in this respect by conducting a literature review on static analysis techniques for IaC. ...
We describe analysis techniques, defect categories and platforms targeted by tools in the literature. ...
Rehearsal was tested on a small set of 13 Puppet configurations gathered from GitHub and Puppet Forge, and found bugs in 6 of them. ...
arXiv:2206.10344v1
fatcat:6cjvotgbkvhiveoxowx54idnsa
Practical Fault Detection in Puppet Programs
2020
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
This is the pre-print of the ICSE'20 paper "Practical Fault Detection in Puppet Programs". ...
Rehearsal [32] employs static code verification to detect faults in Puppet programs. ...
Rehearsal [32] statically verifies that a given Puppet configuration is deterministic and idempotent. ...
doi:10.5281/zenodo.4039061
fatcat:yeofi2rrrbhxtkxvayos2raxnq
Contracts in the Wild: A Study of Java Programs
2017
European Conference on Object-Oriented Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Puppet is a popular declarative framework for specifying and managing complex system configurations. ...
We present an operational semantics for µPuppet, a representative subset of the Puppet language that covers the distinctive features of Puppet, while excluding features that are either deprecated or work-in-progress ...
Acknowledgments Fu was supported by a Microsoft Research PhD studentship. ...
doi:10.4230/lipics.ecoop.2017.9
dblp:conf/ecoop/DietrichPJBD17
fatcat:ui364xardzhijjyoyomv6ehqsi
μPuppet: A Declarative Subset of the Puppet Configuration Language
[article]
2017
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
Puppet is a popular declarative framework for specifying and managing complex system configurations. ...
We present an operational semantics for μPuppet, a representative subset of the Puppet language that covers the distinctive features of Puppet, while excluding features that are either deprecated or work-in-progress ...
[16] present a configuration verification tool for Puppet called Rehearsal. ...
arXiv:1608.04999v3
fatcat:jwnwjv5qyvazhogns6p7iedj7y
Systems Approaches to Tackling Configuration Errors
2015
ACM Computing Surveys
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Our primary goal is to equip the stakeholder with a better understanding of configuration errors and the potential solutions for resolving configuration errors in the spectrum of system development and ...
Unfortunately, it is notoriously difficult for system users (e.g., administrators and operators) to prevent, detect, and troubleshoot configuration errors due to the complexity of the configurations as ...
We also thank Geoffrey Voelker and Alex Snoeren for providing feedback for the early draft, and Robbert van Renesse for helping prepare the final version of the article. ...
doi:10.1145/2791577
fatcat:p3zyxdbjyvfg3iioy5wudatnme
µPuppet: A Declarative Subset of the Puppet Configuration Language *
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Puppet is a popular declarative framework for specifying and managing complex system configurations. ...
We present an operational semantics for µPuppet, a representative subset of the Puppet language that covers the distinctive features of Puppet, while excluding features that are either deprecated or work-in-progress ...
We also gratefully acknowledge Arjun Guha for comments on an early version of this paper and Henrik Lindberg for discussions about Puppet's semantics and tests. ...
fatcat:2vh5kze4wzczxfnxlbf7sff5vm
A case of mistaken identity: theory, practice and the marketing textbook
2008
European Business Review
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Meaningful comparisons were made possible, as a range of marketing texts were also examined. ...
PURPOSE One field in business where there is a purported gap between theory and practice is in marketing. ...
The resulting transcripts were returned to the interviewee for verification, a process Bloor (1978) refers to as respondent validation. ...
doi:10.1108/09555340810913548
fatcat:4jzzkov4unckbprvtavtci2soi
Arms control after Iraq: normative and operational challenges
2007
ChoiceReviews
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
I am grateful for the research assistance of Benjamin Armbruster, VERTIC intern.
Notes ...
Acknowledgements This chapter was written when I was executive director of the Verification Research, Training and Information Centre (VERTIC) in London. ...
Arms control, including intrusive verification measures, is a useful tool for international peace and security and should be restored to its rightful place. ...
doi:10.5860/choice.45-0522
fatcat:ncb5pajrxrgqtnkc7poep7b6qy
Invisibility and In/di/Visuality: The Relevance of Art Education in Curriculum Theorizing
2009
Power and Education
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
watershed, displacing invisibility and affording a greater breadth of inclusion in educational concerns. ...
This article investigates how representation attaches meaning to bodies, how certain bodies are categorically misrepresented and masked from normativity, and proposes a curriculum theory affording the ...
Locke argued for having children learn through rehearsed participation in classroom goals so that '[b]y repeating the same action, till it be grown habitual in them, the performance will not depend on ...
doi:10.2304/power.2009.1.1.94
fatcat:hzpuu4a4ozhyrnmbgidn4temhy
Nonnative listeners prefer perceptual cues they know from their L1: Dutch listeners use vowel duration less than English listeners for English final /v/‐/f/
2008
Journal of the Acoustical Society of America
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Two hours of read speech were used for training a model of read speech. The recordings of a puppet player were used to train a model of acted speech. ...
A validation is presented of low level output intelligibility measurements in an attempt to establish a point of reference for the verification of data accuracy for a given space. ...
We also discuss how a nonlinear model of the basilar membrane, performing a Gammachirp"Mellin transformation, may act as a possible feature extraction tool for classification methods 3:40-5:20 Posters ...
doi:10.1121/1.2933287
fatcat:gqdetkftz5cmrghkql35figuw4
Green's-function reaction dynamics: A particle-based approach for simulating biochemical networks in time and space
2005
Journal of Chemical Physics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Two hours of read speech were used for training a model of read speech. The recordings of a puppet player were used to train a model of acted speech. ...
A validation is presented of low level output intelligibility measurements in an attempt to establish a point of reference for the verification of data accuracy for a given space. ...
We also discuss how a nonlinear model of the basilar membrane, performing a Gammachirp"Mellin transformation, may act as a possible feature extraction tool for classification methods 3:40-5:20 Posters ...
doi:10.1063/1.2137716
pmid:16392952
fatcat:tyehqewfnzahfju3rxvivugvaa
A binaural advantage in the subjective modulation transfer function with simple impulse responses
2008
Journal of the Acoustical Society of America
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Two hours of read speech were used for training a model of read speech. The recordings of a puppet player were used to train a model of acted speech. ...
Echo sounders are a widely used tool for observing marine ecosystems. ...
We also discuss how a nonlinear model of the basilar membrane, performing a Gammachirp"Mellin transformation, may act as a possible feature extraction tool for classification methods Echolocation is a ...
doi:10.1121/1.2933699
fatcat:4nc5pg4ysbhgrjcatwhr7fh77q
On determination of microphone response and other parameters by a hybrid experimental and numerical method
2008
Journal of the Acoustical Society of America
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Two hours of read speech were used for training a model of read speech. The recordings of a puppet player were used to train a model of acted speech. ...
Echo sounders are a widely used tool for observing marine ecosystems. ...
We also discuss how a nonlinear model of the basilar membrane, performing a Gammachirp"Mellin transformation, may act as a possible feature extraction tool for classification methods Echolocation is a ...
doi:10.1121/1.2933455
fatcat:gl6kkwih6rbkriigc7g6ghdlnq
« Previous
Showing results 1 — 15 out of 144 results