Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Deterministic compilation

Known as: Deterministic builds, Reproducible builds 
Deterministic compilation, also known as reproducible builds, is a process of compiling software which ensures the resulting binary code can be… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Essential reading if you can dive more into reproducible builds https://nico.dorfbrunnen.eu/posts/2019/reproducibility-fdroid… Expand
Is this relevant?
2018
2018
Docker containers are standardized, self-contained units of applications, packaged with their dependencies and execution… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
Is this relevant?
2018
2018
Reproducibility is the ability of recreating identical binaries under pre-defined build environments. Due to the need of quality… Expand
  • figure 1
  • table 1
  • figure 4
  • figure 2
  • figure 5
Is this relevant?
2018
2018
Wholly! is an automated build system for the modern software stack. It is designed for reproducible and verifiable builds of… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2017
2017
Docker allows packaging an application with its dependencies into a standardized, self-contained unit (a so-called container… Expand
  • figure 1
  • figure 3
  • figure 2
  • figure 4
  • figure 6
Is this relevant?
2017
2017
Docker allows packaging an application with its dependencies into a standardized, self-contained unit (a so-called container… Expand
Is this relevant?
2017
2017
A large user base relies on software updates provided through package managers. This provides a unique lever for improving the… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 7
Is this relevant?
2015
2015
With free software, anyone can inspect the source code for malicious flaws. But Debian like most distribnutions provides binary… Expand
Is this relevant?
2012
2012
The translation of temporal logic specifications constitutes an essential step in model checking and a major influence on the… Expand
  • table 1
  • table 3
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2006
2006
We describe a framework for dynamic verification of temporal assertions based on assertion compilation into deterministic… Expand
  • figure 1
  • figure 3
  • table 1
  • table 2
  • table 3
Is this relevant?