Filters








144 Hits in 6.3 sec

Rehearsal: A Configuration Verification Tool for Puppet [article]

Rian Shambaugh, Aaron Weiss, Arjun Guha
2016 arXiv   pre-print
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

Rian Shambaugh, Aaron Weiss, Arjun Guha
2016 Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2016  
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]

Michele Chiari
2022 arXiv   pre-print
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

Thodoris Sotiropoulos, Dimitris Mitropoulos, Diomidis Spinellis
2020 Zenodo  
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

Jens Dietrich, David J. Pearce, Kamil Jezek, Premek Brada, Jens Dietrich, Marc Herbstritt
2017 European Conference on Object-Oriented Programming  
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]

Weili Fu, Roly Perera, Paul Anderson, James Cheney
2017 arXiv   pre-print
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

Tianyin Xu, Yuanyuan Zhou
2015 ACM Computing Surveys  
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 *

Weili Fu, Roly Perera, Paul Anderson, James Cheney
unpublished
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

Barry Ardley, Beverly Wagner
2008 European Business Review  
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  
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

James Haywood Rolling
2009 Power and Education  
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/

Mirjam Broersma
2008 Journal of the Acoustical Society of America  
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

Jeroen S. van Zon, Pieter Rein ten Wolde
2005 Journal of Chemical Physics  
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

Eric R. Thompson, Torsten Dau
2008 Journal of the Acoustical Society of America  
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

Salvador Barrera‐Figueroa, Finn Jacobsen, Knud Rasmussen
2008 Journal of the Acoustical Society of America  
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