{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,23]],"date-time":"2026-04-23T07:56:19Z","timestamp":1776930979522,"version":"3.51.2"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2025,11,15]],"date-time":"2025-11-15T00:00:00Z","timestamp":1763164800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100006132","name":"Office of Science","doi-asserted-by":"publisher","award":["DESC0025613"],"award-info":[{"award-number":["DESC0025613"]}],"id":[{"id":"10.13039\/100006132","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100006227","name":"Lawrence Livermore National Laboratory","doi-asserted-by":"publisher","award":["DE-AC52-07NA27344"],"award-info":[{"award-number":["DE-AC52-07NA27344"]}],"id":[{"id":"10.13039\/100006227","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,11,16]]},"DOI":"10.1145\/3712285.3759791","type":"proceedings-article","created":{"date-parts":[[2025,11,12]],"date-time":"2025-11-12T16:05:39Z","timestamp":1762963539000},"page":"556-569","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Bridging the Gap Between Binary and Source Based Package Management in Spack"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0494-7245","authenticated-orcid":false,"given":"John","family":"Gouwar","sequence":"first","affiliation":[{"name":"Northeastern University, Boston, Massachusetts, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8472-4449","authenticated-orcid":false,"given":"Gregory","family":"Becker","sequence":"additional","affiliation":[{"name":"Lawrence Livermore National Laboratory (LLNL), Livermore, California, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-2279-9521","authenticated-orcid":false,"given":"Tamara","family":"Dahlgren","sequence":"additional","affiliation":[{"name":"Lawrence Livermore National Laboratory (LLNL), Livermore, California, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2214-7447","authenticated-orcid":false,"given":"Nathan","family":"Hanford","sequence":"additional","affiliation":[{"name":"Lawrence Livermore National Laboratory (LLNL), Livermore, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7493-3271","authenticated-orcid":false,"given":"Arjun","family":"Guha","sequence":"additional","affiliation":[{"name":"Northeastern University, Boston, Massachusetts, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7857-2805","authenticated-orcid":false,"given":"Todd","family":"Gamblin","sequence":"additional","affiliation":[{"name":"Lawrence Livermore National Laboratory (LLNL), Livermore, California, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,11,15]]},"reference":[{"key":"e_1_3_3_3_2_2","volume-title":"Security Updates","author":"Court\u00e8s Ludovic","year":"2016","unstructured":"Ludovic Court\u00e8s. 2016. Security Updates. https:\/\/guix.gnu.org\/manual\/devel\/en\/html_node\/Security-Updates.html"},{"key":"e_1_3_3_3_3_2","volume-title":"Timely delivery of security updates","author":"Court\u00e8s Ludovic","year":"2016","unstructured":"Ludovic Court\u00e8s. 2016. Timely delivery of security updates. https:\/\/guix.gnu.org\/blog\/2016\/timely-delivery-of-security-updates\/"},{"key":"e_1_3_3_3_4_2","volume-title":"Grafts, continued","author":"Court\u00e8s Ludovic","year":"2020","unstructured":"Ludovic Court\u00e8s. 2020. Grafts, continued. https:\/\/guix.gnu.org\/blog\/2020\/grafts-continued\/"},{"key":"e_1_3_3_3_5_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-27308-2_47"},{"key":"e_1_3_3_3_6_2","volume-title":"Version SAT: Dependency hell is NP-complete. But maybe we can climb out.","author":"Cox Russ","year":"2016","unstructured":"Russ Cox. 2016. Version SAT: Dependency hell is NP-complete. But maybe we can climb out.https:\/\/research.swtch.com\/version-sat"},{"key":"e_1_3_3_3_7_2","doi-asserted-by":"publisher","unstructured":"Martin Davis George Logemann and Donald Loveland. 1962. A machine program for theorem-proving. Commun. ACM 5 7 (July 1962) 394\u2013397. 10.1145\/368273.368557","DOI":"10.1145\/368273.368557"},{"key":"e_1_3_3_3_8_2","doi-asserted-by":"publisher","unstructured":"Martin Davis and Hilary Putnam. 1960. A Computing Procedure for Quantification Theory. 7 3 (July 1960) 201\u2013215. 10.1145\/321033.321034","DOI":"10.1145\/321033.321034"},{"key":"e_1_3_3_3_9_2","unstructured":"Roberto Di\u00a0Cosmo. 2006. EDOS deliverable WP2-D2. 2: Report on Formal Management of Software Dependencies. (2006)."},{"key":"e_1_3_3_3_10_2","unstructured":"Eelco Dolstra. 2025. patchelf. https:\/\/github.com\/NixOS\/patchelf\/."},{"key":"e_1_3_3_3_11_2","doi-asserted-by":"publisher","DOI":"10.5555\/1052676.1052686"},{"key":"e_1_3_3_3_12_2","doi-asserted-by":"publisher","DOI":"10.1145\/1411204.1411255"},{"key":"e_1_3_3_3_13_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30218-6_19"},{"key":"e_1_3_3_3_14_2","doi-asserted-by":"publisher","DOI":"10.1109\/SC41404.2022.00040"},{"key":"e_1_3_3_3_15_2","doi-asserted-by":"publisher","DOI":"10.1145\/2807591.2807623"},{"key":"e_1_3_3_3_16_2","doi-asserted-by":"crossref","unstructured":"Martin Gebser Benjamin Kaufmann Roland Kaminski Max Ostrowski Torsten Schaub and Marius Schneider. 2011. Potassco: The Potsdam Answer Set Solving Collection. AI Commun. 24 2 (April 2011) 107\u2013124.","DOI":"10.3233\/AIC-2011-0491"},{"key":"e_1_3_3_3_17_2","doi-asserted-by":"publisher","unstructured":"William Gropp Ewing Lusk Nathan Doss and Anthony Skjellum. 1996. A high-performance portable implementation of the MPI message passing interface standard. Parallel Comput. 22 6 (1996) 789\u2013828. 10.1016\/0167-8191(96)00024-5","DOI":"10.1016\/0167-8191(96)00024-5"},{"key":"e_1_3_3_3_18_2","doi-asserted-by":"publisher","DOI":"10.1145\/3615318.3615319"},{"key":"e_1_3_3_3_19_2","doi-asserted-by":"publisher","DOI":"10.1145\/378239.379017"},{"key":"e_1_3_3_3_20_2","volume-title":"Cray MPICH Documentation","author":"Development Hewlett Packard\u00a0Enterprise","year":"2025","unstructured":"Hewlett Packard\u00a0Enterprise Development. 2025. Cray MPICH Documentation. https:\/\/cpe.ext.hpe.com\/docs\/24.03\/mpt\/mpich"},{"key":"e_1_3_3_3_21_2","unstructured":"The Trilinos\u00a0Project Team. 2025. The Trilinos Project Website. https:\/\/trilinos.org."}],"event":{"name":"SC '25: The International Conference for High Performance Computing, Networking, Storage and Analysis","location":"St. Louis MO USA","acronym":"SC '25","sponsor":["SIGHPC ACM Special Interest Group on High Performance Computing, Special Interest Group on High Performance Computing"]},"container-title":["Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/abs\/10.1145\/3712285.3759791","content-type":"text\/html","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3712285.3759791","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3712285.3759791","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T18:53:21Z","timestamp":1773255201000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3712285.3759791"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,15]]},"references-count":20,"alternative-id":["10.1145\/3712285.3759791","10.1145\/3712285"],"URL":"https:\/\/doi.org\/10.1145\/3712285.3759791","relation":{},"subject":[],"published":{"date-parts":[[2025,11,15]]},"assertion":[{"value":"2025-11-15","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}