ut-osa Goto Github PK

airavat

Improved Security for MapReduce

anon-pass

Anon-Pass is a practical cryptographic anonymous subscription scheme. Combined with a proof-of-concept integration, it can scale to thousands of concurrent users. See http://zweb.cs.utexas.edu/users/osa/anon-pass/ for more details.

assise

boki

Boki: Stateful Serverless Computing with Shared Logs [SOSP '21]

boki-benchmarks

Benchmark workloads of Boki

dcac

Application-Defined Decentralized Access Control

earp

Principled Storage, Sharing, and Protection for Mobile Apps

fault-injection

Kernel fault injection tool

gpunet

GPUnet is a native GPU networking layer that provides a socket abstraction over Infiniband to GPU programs for NVIDIA GPUs.

ingens

Coordinated and Efficient Huge Page Management with Ingens

lacuna

System to erase traces of user actions on a machine

laminar

Laminar DIFC system (JVM and Linux Security Module)

linux_analysis

Tools for analyzing the Linux 2.6 source code using CIL (C Intermediate Language)

nightcore

Nightcore: Efficient and Scalable Serverless Computing for Latency-Sensitive, Interactive Microservices [ASPLOS '21]

nightcore-benchmarks

Benchmark workloads of Nightcore

rab

Reimplemented (more scalable) Andrew Benchmark

ryoan

strata

Strata: A Cross Media File System

syncchar

Syncchar - synchronization analysis tool

telekine

txfs

TxFS: Leveraging File-System Crash Consistency to Provide ACID Transactions (ATC 18)

txos

Operating system demonstrating system transactions

xr

A source cross-reference