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

Related topics

Related topics

7 relations
BazelBinary codeChain of trustEnvironment variable
Expand

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Structured Information on State and Evolution of Dockerfiles on GitHub
Docker containers are standardized, self-contained units of applications, packaged with their dependencies and execution… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
2018
2018
Wholly!: A Build System For The Modern Software Stack
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
2018
2018
Automated Localization for Unreproducible Builds
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
Highly Cited
2017
Highly Cited
2017
An Empirical Analysis of the Docker Container Ecosystem on GitHub
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
2017
2017
An empirical analysis of the docker container ecosystem on GitHub
Docker allows packaging an application with its dependencies into a standardized, self-contained unit (a so-called container… Expand
2017
2017
Software Distribution Transparency and Auditability
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
2017
2017
Leveraging continuous integration in space avionics - a design using declarative build automation paradigm
There are several benefits when Continuous Integration (CI) is adopted for a software development project. This provides for a… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 6
2015
2015
The long road to reproducible builds
With free software, anyone can inspect the source code for malicious flaws. But Debian like most distribnutions provides binary… Expand
2012
2012
Deterministic Compilation of Temporal Safety Properties in Explicit State Model Checking
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
2006
2006
Deterministic Dynamic Monitors for Linear-Time Assertions
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
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE