USENIX | The Advanced Computing Systems Association

Donate Today

Since its inception 45 years ago, ;login: has served as a medium through which the USENIX community learns about useful tools, research, and events from one another. Beginning in 2021, ;login: is reimagined as an open access digital publication with increased opportunities for interactivity among authors and readers.

April 8, 2022

Computer Security and the Internet

This is a security text book that covers a very broad set of topics concisely and clearly.

Authors: Rik Farrow

Article shepherded by:

Rik Farrow

Read article now

April 4, 2022

Jurassic Cloud

Large parts of our “modern” stack are 30+ years old, just like its architectural principles. The result - software dinosaurs roaming the Jurassic Cloud, out of place, out of time.

Authors: Avishai Ish-Shalom

Article shepherded by:

Effie Mouzeli

Read article now

March 29, 2022

Revisiting B+-tree vs. LSM-tree

LSM-trees have been preferred over B+-trees for some database storage but in-storage transparent compression effectively closes their gap

Authors: Yifan Qiao, Xubin Chen, Ning Zheng, Jiangpeng Li, Yang Liu, Tong Zhang

Article shepherded by:

Rik Farrow

Read article now

March 3, 2022

Understanding Software Dynamics

Uncovering the causes of long tail latency, while learning about about the quirks of compilers, CPUs, systems, and how best to observe your systems.

Authors: Rik Farrow

Article shepherded by:

Rik Farrow

Read article now

February 28, 2022

Ferret: Automatically Finding RFC Compliance Bugs in DNS Nameservers

Our SCALE approach jointly generates zone files and corresponding queries to cover RFC behaviors specified by an executable model of DNS resolution

Authors: Siva Kesava Reddy Kakarla, Ryan Beckett, Todd Millstein, George Varghese

Article shepherded by:

Sangeetha Abdu Jyothi

Read article now

February 17, 2022

An Analysis of Open-source Automated Threat Modeling Tools and Their Extensibility from Security into Privacy

Automated tools can lessen the burden of threat modeling for security and privacy, but picking a tool is difficult without insight into functionality and user experience.

Authors: Kristen Tan, Vaibhav Garg

Article shepherded by:

Rik Farrow

Read article now

February 7, 2022

How to Start on Formal Methods and Share It

You might have heard of formal methods. we decided to learn a thing or two about formal method and try to use it in some way in general software development.

Authors: Melby Sjamsuddin, Meimei Liang

Article shepherded by:

Rik Farrow

Read article now

February 3, 2022

ctFS: Converting File Index Traversals to Hardware Memory Translation through Contiguous File Allocation for Persistent Memory

A Persistent Memory Filesystem that uses virtual memory mapping to physical memory to speed up file access

Authors: Ruibin Li, Xiang Ren, Xu Zhao, Siwei He, Michael Stumm, Ding Yuan

Article shepherded by:

Alexandra Fedorova

Read article now

February 2, 2022

Lessons Learned in 10 Years of SRE: Part 1 - Starting SRE

It is vital to have clear motivations, align with business goals, have the right kind of expertise, to pay attention to culture, and to build trust.

Authors: Andrea Spadaccini

Article shepherded by:

Laura Nolan

Read article now

You are here

Pages