Pinned Repositories
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]
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
nightcore
Nightcore: Efficient and Scalable Serverless Computing for Latency-Sensitive, Interactive Microservices [ASPLOS '21]
nightcore-benchmarks
Benchmark workloads of Nightcore
strata
Strata: A Cross Media File System
txfs
TxFS: Leveraging File-System Crash Consistency to Provide ACID Transactions (ATC 18)
txos
Operating system demonstrating system transactions
Operating Systems and Architecture's Repositories
ut-osa/nightcore
Nightcore: Efficient and Scalable Serverless Computing for Latency-Sensitive, Interactive Microservices [ASPLOS '21]
ut-osa/gpunet
GPUnet is a native GPU networking layer that provides a socket abstraction over Infiniband to GPU programs for NVIDIA GPUs.
ut-osa/boki
Boki: Stateful Serverless Computing with Shared Logs [SOSP '21]
ut-osa/strata
Strata: A Cross Media File System
ut-osa/txfs
TxFS: Leveraging File-System Crash Consistency to Provide ACID Transactions (ATC 18)
ut-osa/assise
ut-osa/ingens
Coordinated and Efficient Huge Page Management with Ingens
ut-osa/txos
Operating system demonstrating system transactions
ut-osa/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.
ut-osa/boki-benchmarks
Benchmark workloads of Boki
ut-osa/nightcore-benchmarks
Benchmark workloads of Nightcore
ut-osa/fault-injection
Kernel fault injection tool
ut-osa/ryoan
ut-osa/lacuna
System to erase traces of user actions on a machine
ut-osa/telekine
ut-osa/dcac
Application-Defined Decentralized Access Control
ut-osa/laminar
Laminar DIFC system (JVM and Linux Security Module)
ut-osa/earp
Principled Storage, Sharing, and Protection for Mobile Apps
ut-osa/linux_analysis
Tools for analyzing the Linux 2.6 source code using CIL (C Intermediate Language)
ut-osa/xr
A source cross-reference
ut-osa/Airavat
Improved Security for MapReduce
ut-osa/rab
Reimplemented (more scalable) Andrew Benchmark
ut-osa/syncchar
Syncchar - synchronization analysis tool