ut-osa/lacuna ut-osa/lacuna

  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language
    C
  • License
    Other
  • Created over 10 years ago
  • Updated over 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ut-osa/lacuna
github

ut-osa

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

System to erase traces of user actions on a machine

More Repositories

1

gpunet

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

nightcore

Nightcore: Efficient and Scalable Serverless Computing for Latency-Sensitive, Interactive Microservices [ASPLOS '21]
C++
89
star
3

boki

Boki: Stateful Serverless Computing with Shared Logs [SOSP '21]
C++
72
star
4

strata

Strata: A Cross Media File System
C
69
star
5

txfs

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

assise

C
57
star
7

ingens

Coordinated and Efficient Huge Page Management with Ingens
C
41
star
8

txos

Operating system demonstrating system transactions
C
15
star
9

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.
C
12
star
10

nightcore-benchmarks

Benchmark workloads of Nightcore
C
10
star
11

boki-benchmarks

Benchmark workloads of Boki
Go
9
star
12

ryoan

C
7
star
13

fault-injection

Kernel fault injection tool
C
7
star
14

telekine

C
5
star
15

dcac

Application-Defined Decentralized Access Control
C
4
star
16

laminar

Laminar DIFC system (JVM and Linux Security Module)
C
4
star
17

earp

Principled Storage, Sharing, and Protection for Mobile Apps
2
star
18

linux_analysis

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