All Things Distributed

JUNE 12, 2015

This weekend we go back in time all the way to the beginning of operating systems research. In the first SOSP conference in 1967 there were several papers that laid the foundation for the development of structured operating systems. The Working Set Model for Program Behavior , Peter J.

Programming 96

Programming Operating System Virtualization Systems 96

The Morning Paper

MAY 27, 2019

abstract capabilities are constructed only through legitimate provenance chains of operations, successively reducing permissions from initial maximally permissive capabilities provided at machine reset. The work includes changes to the CHERI ISA, the C compiler, the C language runtime, the virtual memory APIs, and the CheriBSD kernel.

C++ 61

C++ Hardware Virtualization Benchmarking 61

Adrian Cockcroft

JUNE 21, 2022

I still code in R… One role I had for many years was to lead technical training events for the global specialist systems engineers, which we called the Ambassador Program. We had specializations in hardware, operating systems, databases, graphics, etc. Rich Pettit is one of the best programmers I ever met.

Tuning 52

Tuning Benchmarking Engineering C++ 52

The Morning Paper

DECEMBER 8, 2019

At the start of November I was privileged to attend HPTS (the High Performance Transaction Systems) conference in Asilomar. On the last morning of the conference Daniel Bittman presented some of the work being done in the context of the Twizzler OS project to explore new programming models for NVM.

Hardware 56

Hardware Programming Media Storage 56

Nick Desaulniers

APRIL 6, 2020

“War stories” in programming are entertaining tales of truly evil bugs that kept you up at night. ” Distracted in a conference grand ballroom, above what might be the largest mall in the world or at least Bangkok, a blank QEMU session has me seriously questioning my life choices. Recent work. No output.

C++ 67

C++ Hardware Code Virtualization 67

ACM Sigarch

NOVEMBER 1, 2019

This blog post gives a glimpse of the computer systems research papers presented at the USENIX Annual Technical Conference (ATC) 2019, with an emphasis on systems that use new hardware architectures. USENIX ATC is a top-tier venue with a broad range of systems research papers from both industry and academia.

Architecture 12

Architecture Hardware Cache Storage 12