Skip to content

@ut-osa Operating Systems and Architecture

Change the repository type filter

All

    Repositories list

    23 repositories

    • strata

      Public
      Strata: A Cross Media File System
      C
      •42•70•9•4•Updated Apr 12, 2023Apr 12, 2023

    • boki

      Public
      Boki: Stateful Serverless Computing with Shared Logs [SOSP '21]
      researchconsensusserverless
      C++
      •
      Apache License 2.0
      •11•80•2•0•Updated May 13, 2022May 13, 2022

    • assise

      Public
      C
      •
      GNU General Public License v2.0
      •30•57•20•1•Updated Jan 19, 2022Jan 19, 2022

    • boki-benchmarks

      Public
      Benchmark workloads of Boki
      Go
      •13•11•3•0•Updated Sep 8, 2021Sep 8, 2021

    • nightcore

      Public
      Nightcore: Efficient and Scalable Serverless Computing for Latency-Sensitive, Interactive Microservices [ASPLOS '21]
      microservicesresearchserverless
      C++
      •
      Apache License 2.0
      •24•100•2•0•Updated Aug 15, 2021Aug 15, 2021

    • ryoan

      Public
      C
      •2•7•2•0•Updated May 18, 2021May 18, 2021

    • nightcore-benchmarks

      Public
      Benchmark workloads of Nightcore
      C
      •14•10•3•0•Updated Feb 15, 2021Feb 15, 2021

    • telekine

      Public
      C
      •3•5•0•0•Updated Jul 22, 2020Jul 22, 2020

    • txfs

      Public
      TxFS: Leveraging File-System Crash Consistency to Provide ACID Transactions (ATC 18)
      C
      •
      Other
      •6•68•0•0•Updated Jan 12, 2019Jan 12, 2019

    • earp

      Public
      Principled Storage, Sharing, and Protection for Mobile Apps
      1•2•0•0•Updated Dec 4, 2017Dec 4, 2017

    • txos

      Public
      Operating system demonstrating system transactions
      C
      •
      GNU General Public License v2.0
      •1•15•0•0•Updated Apr 19, 2017Apr 19, 2017

    • rab

      Public
      Reimplemented (more scalable) Andrew Benchmark
      C
      •0•0•0•0•Updated Apr 19, 2017Apr 19, 2017

    • ingens

      Public
      Coordinated and Efficient Huge Page Management with Ingens
      C
      •16•42•3•0•Updated Feb 9, 2017Feb 9, 2017

    • fault-injection

      Public
      Kernel fault injection tool
      C
      •
      Other
      •7•8•1•0•Updated Dec 4, 2015Dec 4, 2015

    • gpunet

      Public
      GPUnet is a native GPU networking layer that provides a socket abstraction over Infiniband to GPU programs for NVIDIA GPUs.
      C
      •
      Other
      •21•93•2•0•Updated Jul 6, 2015Jul 6, 2015

    • laminar

      Public
      Laminar DIFC system (JVM and Linux Security Module)
      C
      •
      Other
      •2•4•2•0•Updated Jan 1, 2015Jan 1, 2015

    • anon-pass

      Public
      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
      •
      Other
      •1•12•0•0•Updated Dec 15, 2014Dec 15, 2014

    • Airavat

      Public
      Improved Security for MapReduce
      3•0•0•0•Updated Nov 24, 2014Nov 24, 2014

    • lacuna

      Public
      System to erase traces of user actions on a machine
      C
      •
      Other
      •0•5•0•0•Updated Jul 4, 2014Jul 4, 2014

    • dcac

      Public
      Application-Defined Decentralized Access Control
      C
      •
      Other
      •0•4•0•0•Updated May 7, 2014May 7, 2014

    • syncchar

      Public
      Syncchar - synchronization analysis tool
      C
      •
      BSD 3-Clause "New" or "Revised" License
      •1•0•0•0•Updated Mar 23, 2014Mar 23, 2014

    • xr

      Public
      A source cross-reference
      C
      •
      Other
      •2•1•0•0•Updated Oct 15, 2013Oct 15, 2013

    • linux_analysis

      Public
      Tools for analyzing the Linux 2.6 source code using CIL (C Intermediate Language)
      OCaml
      •
      Other
      •0•1•0•0•Updated Mar 3, 2012Mar 3, 2012