{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,16]],"date-time":"2026-01-16T13:14:10Z","timestamp":1768569250966,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,9,15]],"date-time":"2014-09-15T00:00:00Z","timestamp":1410739200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001665","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","award":["2010-SEGI-013-01"],"award-info":[{"award-number":["2010-SEGI-013-01"]}],"id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,9,15]]},"DOI":"10.1145\/2642937.2642980","type":"proceedings-article","created":{"date-parts":[[2014,9,17]],"date-time":"2014-09-17T14:22:41Z","timestamp":1410963761000},"page":"211-222","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":23,"title":["Automated synthesis and deployment of cloud applications"],"prefix":"10.1145","author":[{"given":"Roberto","family":"Di Cosmo","sequence":"first","affiliation":[{"name":"Univ Paris Diderot, Sorbonne Paris Cit\u00e9, France, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Lienhardt","sequence":"additional","affiliation":[{"name":"Univ Paris Diderot, Sorbonne Paris Cit\u00e9, France, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ralf","family":"Treinen","sequence":"additional","affiliation":[{"name":"Univ Paris Diderot, Sorbonne Paris Cit\u00e9, France, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefano","family":"Zacchiroli","sequence":"additional","affiliation":[{"name":"Univ Paris Diderot, Sorbonne Paris Cit\u00e9, France, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jakub","family":"Zwolakowski","sequence":"additional","affiliation":[{"name":"Univ Paris Diderot, Sorbonne Paris Cit\u00e9, France, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antoine","family":"Eiche","sequence":"additional","affiliation":[{"name":"Mandriva, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexis","family":"Agahi","sequence":"additional","affiliation":[{"name":"Kyriba Corporation, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,9,15]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.64"},{"key":"e_1_3_2_1_2_1","volume-title":"Evaluation and application of portfolio approaches in constraint programming. Theory and Practice of Logic Programming (TPLP), 13(4-5-Online-Supplement)","author":"Amadini R.","year":"2013","unstructured":"R. Amadini . Evaluation and application of portfolio approaches in constraint programming. Theory and Practice of Logic Programming (TPLP), 13(4-5-Online-Supplement) , 2013 . R. Amadini. Evaluation and application of portfolio approaches in constraint programming. Theory and Practice of Logic Programming (TPLP), 13(4-5-Online-Supplement), 2013."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38171-3_21"},{"issue":"2","key":"e_1_3_2_1_4_1","first-page":"309","article-title":"A site configuration engine","volume":"8","author":"Burgess M.","year":"1995","unstructured":"M. Burgess . A site configuration engine . Computing Systems , 8 ( 2 ): 309 -- 337 , 1995 . M. Burgess. A site configuration engine. Computing Systems, 8(2):309--337, 1995.","journal-title":"Computing Systems"},{"key":"e_1_3_2_1_5_1","volume-title":"devops distilled. https:\/\/juju.ubuntu.com\/. Retrieved","author":"Ltd Canonical","year":"2013","unstructured":"Canonical Ltd . Juju , devops distilled. https:\/\/juju.ubuntu.com\/. Retrieved October 2013 . Canonical Ltd. Juju, devops distilled. https:\/\/juju.ubuntu.com\/. Retrieved October 2013."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40651-5_1"},{"key":"e_1_3_2_1_7_1","volume-title":"Universit\u00e9 Paris Diderot","author":"Cosmo R. Di","year":"2013","unstructured":"R. Di Cosmo , M. Lienhardt , R. Treinen , S. Zacchiroli , and J. Zwolakowski . Optimal provisioning in the cloud. Technical report , Universit\u00e9 Paris Diderot , 2013 . Available at http:\/\/hal.archives-ouvertes.fr\/hal-00831455\/. R. Di Cosmo, M. Lienhardt, R. Treinen, S. Zacchiroli, and J. Zwolakowski. Optimal provisioning in the cloud. Technical report, Universit\u00e9 Paris Diderot, 2013. Available at http:\/\/hal.archives-ouvertes.fr\/hal-00831455\/."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025149"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33826-7_11"},{"key":"e_1_3_2_1_10_1","volume-title":"Pearson Education","author":"Duvall P. M.","year":"2007","unstructured":"P. M. Duvall , S. Matyas , and A. Glover . Continuous integration: improving software quality and reducing risk . Pearson Education , 2007 . P. M. Duvall, S. Matyas, and A. Glover. Continuous integration: improving software quality and reducing risk. Pearson Education, 2007."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/CLOUD.2011.65"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0890060412000376"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2007.17"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254096"},{"key":"e_1_3_2_1_15_1","first-page":"51","volume-title":"LISA '12: Large Installation System Administration Conference","author":"Hewson J. A.","year":"2012","unstructured":"J. A. Hewson , P. Anderson , and A. D. Gordon . A declarative approach to automated configuration . In LISA '12: Large Installation System Administration Conference , pages 51 -- 66 , 2012 . J. A. Hewson, P. Anderson, and A. D. Gordon. A declarative approach to automated configuration. In LISA '12: Large Installation System Administration Conference, pages 51--66, 2012."},{"key":"e_1_3_2_1_16_1","volume-title":"Pearson Education","author":"Humble J.","year":"2010","unstructured":"J. Humble and D. Farley . Continuous delivery: reliable software releases through build, test, and deployment automation . Pearson Education , 2010 . J. Humble and D. Farley. Continuous delivery: reliable software releases through build, test, and deployment automation. Pearson Education, 2010."},{"key":"e_1_3_2_1_17_1","volume-title":"Next-generation configuration management.texttt;login: the USENIX magazine, 31(1):19--25","author":"Kanies L.","year":"2006","unstructured":"L. Kanies . Puppet : Next-generation configuration management.texttt;login: the USENIX magazine, 31(1):19--25 , 2006 . L. Kanies. Puppet: Next-generation configuration management.texttt;login: the USENIX magazine, 31(1):19--25, 2006."},{"key":"e_1_3_2_1_18_1","series-title":"LNCS","volume-title":"Formal Aspects of Component Software (FACS)","author":"Lascu T. A.","year":"2013","unstructured":"T. A. Lascu , J. Mauro , and G. Zavattaro . Automatic component deployment in the presence of circular dependencies . In Formal Aspects of Component Software (FACS) 2013 , volume 8348 of LNCS , 2013. T. A. Lascu, J. Mauro, and G. Zavattaro. Automatic component deployment in the presence of circular dependencies. In Formal Aspects of Component Software (FACS) 2013, volume 8348 of LNCS, 2013."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICTAI.2013.41"},{"key":"e_1_3_2_1_20_1","volume-title":"INRIA","author":"Leroy X.","year":"2013","unstructured":"X. Leroy , D. Doligez , J. Garrigue , and D. R\u00e9my . The Objective Caml system release 4.01; Documentation and user's manual . INRIA , Rocquencourt, Paris , 2013 . X. Leroy, D. Doligez, J. Garrigue, and D. R\u00e9my. The Objective Caml system release 4.01; Documentation and user's manual. INRIA, Rocquencourt, Paris, 2013."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2006.49"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10601-008-9041-4"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/MESOCA.2011.6049037"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/1771668.1771709"},{"key":"e_1_3_2_1_25_1","volume-title":"Rudder -- open source automation & compliance. https:\/\/www.rudder-project.org\/. Retrieved","year":"2014","unstructured":"Normation. Rudder -- open source automation & compliance. https:\/\/www.rudder-project.org\/. Retrieved April 2014 . Normation. Rudder -- open source automation & compliance. https:\/\/www.rudder-project.org\/. Retrieved April 2014."},{"key":"e_1_3_2_1_26_1","volume-title":"http:\/\/www.opscode.com\/chef\/. Retrieved","year":"2013","unstructured":"Opscode. Chef. http:\/\/www.opscode.com\/chef\/. Retrieved October 2013 . Opscode. Chef. http:\/\/www.opscode.com\/chef\/. Retrieved October 2013."},{"key":"e_1_3_2_1_27_1","unstructured":"Puppet Labs. Marionette collective. http:\/\/docs.puppetlabs.com\/mcollective\/. Retrieved October 2013.  Puppet Labs. Marionette collective. http:\/\/docs.puppetlabs.com\/mcollective\/. Retrieved October 2013."},{"key":"e_1_3_2_1_28_1","unstructured":"RedHat. Augeas -- a configuration API. http:\/\/augeas.net\/. Retrieved April 2014.  RedHat. Augeas -- a configuration API. http:\/\/augeas.net\/. Retrieved April 2014."},{"key":"e_1_3_2_1_29_1","unstructured":"C. Schulte M. Lagerkvist and G. Tack. Gecode. http:\/\/www.gecode.org\/. Retrieved October 2013.  C. Schulte M. Lagerkvist and G. Tack. Gecode. http:\/\/www.gecode.org\/. Retrieved October 2013."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/11562931_3"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1490283.1490294"},{"key":"e_1_3_2_1_32_1","volume-title":"deploy & scale your applications in seconds. Retrieved","author":"Foundry Cloud","year":"2013","unstructured":"VMWare. Cloud Foundry , deploy & scale your applications in seconds. Retrieved October 2013 , http:\/\/www.cloudfoundry.com\/. VMWare. Cloud Foundry, deploy & scale your applications in seconds. Retrieved October 2013, http:\/\/www.cloudfoundry.com\/."}],"event":{"name":"ASE '14: ACM\/IEEE International Conference on Automated Software Engineering","location":"Vasteras Sweden","acronym":"ASE '14","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","SIGSOFT ACM Special Interest Group on Software Engineering","M\u00e4lardalen University M\u00e4lardalen University","IEEE CS"]},"container-title":["Proceedings of the 29th ACM\/IEEE International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2642937.2642980","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2642937.2642980","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:56:09Z","timestamp":1750229769000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2642937.2642980"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9,15]]},"references-count":32,"alternative-id":["10.1145\/2642937.2642980","10.1145\/2642937"],"URL":"https:\/\/doi.org\/10.1145\/2642937.2642980","relation":{},"subject":[],"published":{"date-parts":[[2014,9,15]]},"assertion":[{"value":"2014-09-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}