{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:58Z","timestamp":1772164018006,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,6,2]],"date-time":"2017-06-02T00:00:00Z","timestamp":1496361600000},"content-version":"vor","delay-in-days":365,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"NSF","award":["CNS-1413985"],"award-info":[{"award-number":["CNS-1413985"]}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-1408745"],"award-info":[{"award-number":["CCF-1408745"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,6,2]]},"DOI":"10.1145\/2908080.2908083","type":"proceedings-article","created":{"date-parts":[[2016,6,2]],"date-time":"2016-06-02T15:23:42Z","timestamp":1464881022000},"page":"416-430","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":38,"title":["Rehearsal: a configuration verification tool for puppet"],"prefix":"10.1145","author":[{"given":"Rian","family":"Shambaugh","sequence":"first","affiliation":[{"name":"University of Massachusetts at Amherst, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aaron","family":"Weiss","sequence":"additional","affiliation":[{"name":"University of Massachusetts at Amherst, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arjun","family":"Guha","sequence":"additional","affiliation":[{"name":"University of Massachusetts at Amherst, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,6,2]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/1026675.1026681"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10922-015-9351-y"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660193.2660214"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30482-1_32"},{"key":"e_1_3_2_1_5_1","volume-title":"Retrieved","year":"2016","unstructured":"Augeas. Retrieved Apr 15 2016 from http:\/\/augeas.net."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640097"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328487"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","unstructured":"Jacob Burnim and Koushik Sen. Asserting and Checking Determinism for Multithreaded Programs. Joint Meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE) 2009. 10.1145\/1595696.1595700","DOI":"10.1145\/1595696.1595700"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-06410-9_43"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/1924976.1924977"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792734.1792766"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796810000195"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254096"},{"key":"e_1_3_2_1_14_1","volume-title":"European Symposium on Programming (ESOP)","author":"Gardner Philippa","year":"2014","unstructured":"Philippa Gardner, Gian Ntzik, and Adam Wright. Local Reasoning about POSIX File Systems. European Symposium on Programming (ESOP), 2014."},{"key":"e_1_3_2_1_15_1","unstructured":"Arjun Guha Rian Shambaugh and Aaron Weiss. Rehearsal. Retrieved Apr 15 2016 from http:\/\/plasma.cs.umass. edu\/rehearsal."},{"key":"e_1_3_2_1_16_1","volume-title":"USENIX Large Installation System Administration Conference (LISA)","author":"Hagemark Bent","year":"1989","unstructured":"Bent Hagemark and Kenneth Zadeck. Site: A Language and System for Configuring Many Computers as One Computing Site. USENIX Large Installation System Administration Conference (LISA), 1989."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2741948.2741963"},{"key":"e_1_3_2_1_18_1","volume-title":"ACM\/IFIP\/USENIX International Middleware Conference","author":"Hummer Waldemar","year":"2013","unstructured":"Waldemar Hummer, Florian Rosenberg, F\u00e1bio Oliveira, and Tamar Eilam. Testing Idempotence and Convergence for Infrastructure as Code. ACM\/IFIP\/USENIX International Middleware Conference, 2013."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254071"},{"key":"e_1_3_2_1_20_1","volume-title":"Retrieved","author":"Labs Puppet","year":"2016","unstructured":"Puppet Labs. Puppet Features: Idempotency. Retrieved Apr 15, 2016 from http:\/\/docs.puppetlabs.com\/guides\/ introduction.html#idempotency."},{"key":"e_1_3_2_1_21_1","volume-title":"IFIP Congress","author":"McCarthy John","year":"1962","unstructured":"John McCarthy. Towards a Mathematical Science of Computation. IFIP Congress, 1962."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010215"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815411"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00590-9_28"},{"key":"e_1_3_2_1_25_1","volume-title":"Retrieved","author":"Shamow Eric","year":"2016","unstructured":"Eric Shamow. Inside Puppet: About Determinism. Retrieved Apr 15, 2016 from http:\/\/puppetlabs.com\/blog\/ inside-puppet-about-determinism."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/1251203.1251221"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815401"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.59"},{"key":"e_1_3_2_1_29_1","volume-title":"Tucker and Shriram Krishnamurthi. Programming Languages for Software Configuration. International Workshop on Software Configuration Management (SCM)","author":"David","year":"2001","unstructured":"David B. Tucker and Shriram Krishnamurthi. Programming Languages for Software Configuration. International Workshop on Software Configuration Management (SCM), 2001."},{"key":"e_1_3_2_1_30_1","volume-title":"Retrieved","year":"2016","unstructured":"Ubuntu. Details of package golang-go in trusty. Retrieved Apr 15, 2016 from http:\/\/packages.ubuntu.com\/ trusty\/devel\/golang-go."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/1882094.1882122"}],"event":{"name":"PLDI '16: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Santa Barbara CA USA","acronym":"PLDI '16","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2908080.2908083","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2908080.2908083","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2908080.2908083","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T09:19:46Z","timestamp":1763457586000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2908080.2908083"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,6,2]]},"references-count":31,"alternative-id":["10.1145\/2908080.2908083","10.1145\/2908080"],"URL":"https:\/\/doi.org\/10.1145\/2908080.2908083","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2980983.2908083","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2016,6,2]]},"assertion":[{"value":"2016-06-02","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}