Filters








2 Hits in 1.2 sec

Debootstrapping without Archeology

Nathanaëlle Courant, Julien Lepiller, Gabriel Scherer
<span title="2022-02-15">2022</span> <i title="Aspect-Oriented Software Association (AOSA)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/nks2jw5aknfoxj2ck6xoi3hcl4" style="color: black;">The Art, Science, and Engineering of Programming</a> </i> &nbsp;
Knowledge: We propose a specific design of composing/stacking several implementations: a reference interpreter for the language of interest, implemented in a small subset of the language, and a compiler  ...  Grounding: We present Camlboot, our project to debootstrap the OCaml compiler, version 4.07.  ...  : Debootstrapping without Archeology: Stacked Implementations in Camlboot We leave a . build path as future work.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.22152/programming-journal.org/2022/6/13">doi:10.22152/programming-journal.org/2022/6/13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tez5gd6fh5atfgq4zfeilivhra">fatcat:tez5gd6fh5atfgq4zfeilivhra</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220221033543/https://arxiv.org/ftp/arxiv/papers/2202/2202.09231.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/36/98/369841457ee787967d8352c3a1506d9b5e0794cb.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.22152/programming-journal.org/2022/6/13"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Building a Secure Software Supply Chain with GNU Guix

Ludovic Courtès
<span title="2022-06-15">2022</span> <i title="Aspect-Oriented Software Association (AOSA)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/nks2jw5aknfoxj2ck6xoi3hcl4" style="color: black;">The Art, Science, and Engineering of Programming</a> </i> &nbsp;
We explain implementation choices. This work has been deployed in production two years ago, giving us insight on its actual use at scale every day.  ...  available-and is largely inapplicable in the context of Guix.  ...  Debootstrapping Without Archeology: Stacked Implementations in Camlboot. In Programming Journal, , February , . DOI: . /programming-journal.org/ / / [ ] Ludovic Courtès.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.22152/programming-journal.org/2023/7/1">doi:10.22152/programming-journal.org/2023/7/1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/v6qlm4y3nbdmpj6guxahk3gu5m">fatcat:v6qlm4y3nbdmpj6guxahk3gu5m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220630191406/https://arxiv.org/ftp/arxiv/papers/2206/2206.14606.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/09/05/0905add5f09e93999534a0ae3f7866d657838066.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.22152/programming-journal.org/2023/7/1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>