Thread
Stories related to "Is POPL Mathematics or Science?" across the full archive.
POPL'22 Artifact for "Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs"
(github.com)
Quantum programming languages enable developers to implement algorithms for quantum computers that promise computational breakthroughs in classically intractable tasks. Programming quantum computers requires awareness of entanglement, the phenomenon in which measurement outcomes of qubits are correl...
Cycles, Cells and Platters: An Empirical Analysis of Hardware Failures on a Million Consumer PCs
(research.microsoft.com)
Microsoft Research. Abstract: We present the first large-scale analysis of hardware failure rates on a million consumer PCs. We find that many failures are neither transient nor independent. Instead, a large portion of hardware induced failures are recurrent: a machine that crashes from a fault in har...
Authors are economists at Google and Microsoft.
From closed to open, the journal now embraces open science practices with the purpose of enabling true reproducible research.