{"id":"https://openalex.org/W4213362981","doi":"https://doi.org/10.22152/programming-journal.org/2022/6/13","title":"Debootstrapping without Archeology","display_name":"Debootstrapping without Archeology","publication_year":2022,"publication_date":"2022-02-15","ids":{"openalex":"https://openalex.org/W4213362981","doi":"https://doi.org/10.22152/programming-journal.org/2022/6/13"},"language":"en","primary_location":{"id":"doi:10.22152/programming-journal.org/2022/6/13","is_oa":true,"landing_page_url":"https://doi.org/10.22152/programming-journal.org/2022/6/13","pdf_url":"https://arxiv.org/pdf/2202.09231v1","source":{"id":"https://openalex.org/S4210199781","display_name":"The Art Science and Engineering of Programming","issn_l":"2473-7321","issn":["2473-7321"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Art, Science, and Engineering of Programming","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://arxiv.org/pdf/2202.09231v1","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5073045121","display_name":"Nathana\u00eblle Courant","orcid":null},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Nathana\u00eblle Courant","raw_affiliation_strings":["Inria, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Inria, France","institution_ids":["https://openalex.org/I1326498283"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021607503","display_name":"Julien Lepiller","orcid":"https://orcid.org/0000-0003-2284-5488"},"institutions":[{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Julien Lepiller","raw_affiliation_strings":["Yale University, USA","Yale University [New Haven]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Yale University, USA","institution_ids":["https://openalex.org/I32971472"]},{"raw_affiliation_string":"Yale University [New Haven]","institution_ids":["https://openalex.org/I32971472"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5047042180","display_name":"Gabriel Scherer","orcid":"https://orcid.org/0000-0003-1758-3938"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Gabriel Scherer","raw_affiliation_strings":["Inria, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Inria, France","institution_ids":["https://openalex.org/I1326498283"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.1874,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.41411742,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":"6","issue":"3","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12698","display_name":"3D Modeling in Geospatial Applications","score":0.1046999990940094,"subfield":{"id":"https://openalex.org/subfields/2215","display_name":"Building and Construction"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12698","display_name":"3D Modeling in Geospatial Applications","score":0.1046999990940094,"subfield":{"id":"https://openalex.org/subfields/2215","display_name":"Building and Construction"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12364","display_name":"Archaeological Research and Protection","score":0.09030000120401382,"subfield":{"id":"https://openalex.org/subfields/1912","display_name":"Space and Planetary Science"},"field":{"id":"https://openalex.org/fields/19","display_name":"Earth and Planetary Sciences"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/archaeology","display_name":"Archaeology","score":0.6603736877441406},{"id":"https://openalex.org/keywords/geology","display_name":"Geology","score":0.5151854753494263},{"id":"https://openalex.org/keywords/geography","display_name":"Geography","score":0.35165566205978394}],"concepts":[{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.6603736877441406},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.5151854753494263},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.35165566205978394}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.22152/programming-journal.org/2022/6/13","is_oa":true,"landing_page_url":"https://doi.org/10.22152/programming-journal.org/2022/6/13","pdf_url":"https://arxiv.org/pdf/2202.09231v1","source":{"id":"https://openalex.org/S4210199781","display_name":"The Art Science and Engineering of Programming","issn_l":"2473-7321","issn":["2473-7321"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Art, Science, and Engineering of Programming","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2202.09231","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2202.09231","pdf_url":"https://arxiv.org/pdf/2202.09231","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:HAL:hal-03917754v1","is_oa":true,"landing_page_url":"https://hal.science/hal-03917754","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"The Art, Science, and Engineering of Programming, 2022, 6 (3), ⟨10.22152/programming-journal.org/2022/6/13⟩","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.22152/programming-journal.org/2022/6/13","is_oa":true,"landing_page_url":"https://doi.org/10.22152/programming-journal.org/2022/6/13","pdf_url":"https://arxiv.org/pdf/2202.09231v1","source":{"id":"https://openalex.org/S4210199781","display_name":"The Art Science and Engineering of Programming","issn_l":"2473-7321","issn":["2473-7321"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Art, Science, and Engineering of Programming","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4213362981.pdf","grobid_xml":"https://content.openalex.org/works/W4213362981.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2324615561","https://openalex.org/W2086120259","https://openalex.org/W2245170124","https://openalex.org/W2076393078","https://openalex.org/W3186982001","https://openalex.org/W1984402782","https://openalex.org/W2137941439","https://openalex.org/W2004200960","https://openalex.org/W1999891779"],"abstract_inverted_index":{"Context":[0],"It":[1],"is":[2,11,31,71,152,164,205,252,340],"common":[3],"for":[4,154,176,226,242,268,348],"programming":[5,350,368],"languages":[6,170],"that":[7,57,92,120,171,203,384],"their":[8],"reference":[9,199,224,250],"implementation":[10,30,43,69,143,187,200,308],"implemented":[12,231],"in":[13,83,232,325],"the":[14,21,29,35,42,63,67,73,124,132,145,149,161,167,177,198,227,237,261,276,286,298,319,326,331,341,364,367,401,409],"language":[15,68,228,262,369,390,418],"itself.This":[16],"requires":[17],"a":[18,25,102,140,216,223,233,240,249],"\"bootstrap":[19],"binary\":":[20],"executable":[22],"form":[23],"of":[24,28,66,104,114,144,179,183,219,229,236,255,275,301,307,321,330,345,357,386],"previous":[26],"version":[27,65,289,300],"provided":[32],"along":[33],"with":[34,208,366],"sources,":[36],"to":[37,40,84,134,147,193,196,284,317,381,388,396],"be":[38,190,194,266],"able":[39,195,316],"run":[41,135,197],"itself.Those":[44],"bootstrap":[45,86,125,328],"binaries":[46,329],"are":[47,385],"opaque;":[48],"they":[49],"could":[50,58],"contain":[51],"bugs,":[52],"or":[53,116,130],"even":[54],"malicious":[55],"changes":[56],"reproduce":[59],"themselves":[60],"when":[61],"running":[62],"source":[64],"-this":[70],"called":[72,79],"\"trusting":[74],"trust":[75,323],"attack\".A":[76],"collective":[77],"project":[78,283,403],"Bootstrappable":[80,402],"was":[81],"launched":[82],"remove":[85],"binaries,":[87,126],"providing":[88],"alternative":[89,118],"build":[90],"paths":[91],"do":[93,121],"not":[94,122,189],"rely":[95],"on":[96,294,378,417],"opaque":[97],"binaries.Inquiry":[98],"Debootstrapping":[99],"generally":[100],"combines":[101],"mix":[103],"two":[105,305],"approaches.The":[106],"\"archaeological\"":[107,162],"approach":[108,138,151,163],"works":[109],"by":[110,128],"locating":[111],"old":[112],"versions":[113],"systems,":[115],"legacy":[117],"implementations,":[119],"need":[123],"and":[127,160,239,264,392,404,420],"preserving":[129],"restoring":[131],"ability":[133],"them.The":[136],"\"tailored\"":[137,150,180,346],"re-implements":[139],"new,":[141],"non-bootstrapped":[142],"system":[146,156],"debootstrap.Currently,":[148],"dominant":[153,165],"low-level":[155],"components":[157],"(C,":[158],"coreutils),":[159],"among":[166],"few":[168],"higher-level":[169],"were":[172,315],"debootstrapped.Approach":[173],"We":[174,214,279],"advocate":[175],"benefits":[178,211],"debootstrapping":[181,347,410],"implementations":[182],"high-level":[184,349],"languages.The":[185],"new":[186],"needs":[188],"production-ready:":[191],"only":[192],"correctly.We":[201],"argue":[202],"this":[204,243,295,338],"feasible":[206],",":[207],"several":[209,221],"side":[210],"besides":[212],"debootstrapping.Knowledge":[213],"propose":[215],"specific":[217],"design":[218,419],"composing/stacking":[220],"implementations:":[222],"interpreter":[225,251],"interest,":[230],"small":[234,244],"subset":[235,245],"language,":[238],"compiler":[241],"(in":[246],"another":[247],"language).Developing":[248],"valuable":[253],"independently":[254],"debootstrapping:":[256],"it":[257],"may":[258],"help":[259],"clarify":[260],"semantics,":[263],"can":[265],"reused":[267],"other":[269,277,389],"purposes":[270],"such":[271],"as":[272],"differential":[273],"testing":[274],"implementations.Grounding":[278],"present":[280],"Camlboot,":[281,379],"our":[282,336,376],"debootstrap":[285],"OCaml":[287,333],"compiler,":[288],".":[290],".Once":[291],"we":[292,314,394],"converged":[293],"final":[296],"design,":[297],"last":[299],"Camlboot":[302],"took":[303],"about":[304],"human-months":[306],"effort,":[309],"demonstrating":[310],"feasibility.Using":[311],"diverse":[312],"double-compilation,":[313],"prove":[318],"absence":[320],"trusting":[322],"attack":[324],"existing":[327],"standard":[332],"implementation.Importance":[334],"To":[335],"knowledge,":[337],"document":[339],"first":[342],"scholarly":[343],"discussion":[344],"languages.Debootstrapping":[351],"recently":[352],"grew":[353],"an":[354,414],"active":[355],"community":[356,371],"free":[358],"software":[359],"contributors,":[360],"but":[361],"so":[362],"far":[363],"interactions":[365],"research":[370],"have":[372],"been":[373,413],"minimal.We":[374],"share":[375],"experience":[377,411],"trying":[380],"highlight":[382],"aspects":[383],"interest":[387],"designers":[391],"implementors;":[393],"hope":[395],"foster":[397],"stronger":[398],"ties":[399],"between":[400],"relevant":[405],"academic":[406],"communities.In":[407],"particular,":[408],"has":[412],"interesting":[415],"reflection":[416],"implementation..":[421]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2}],"updated_date":"2026-08-11T07:18:39.950985","created_date":"2022-02-24T00:00:00"}