lib Performance Using Direct Virtual Hardware
lib 0sim: Preparing System Software for a World with Terabyte-scale Memories
lib A Hypervisor for Shared-Memory FPGA Platforms
lib Accelerometer: Understanding Acceleration Opportunities for Data Center Overheads at Hyperscale
lib Atomicity Checking in Linear Time using Vector Clocks
lib AutoTM: Automatic Tensor Movement in Heterogeneous Memory Systems using Integer Linear Programming
lib AvA: Accelerated Virtualization of Accelerators
lib BYOC: A "Bring Your Own Core" Framework for Heterogeneous-ISA Research
lib Challenging Sequential Bitstream Processing via Principled Bitwise Speculation
lib Chronos: Efficient Speculative Parallelism for Accelerators
lib COIN Attacks: On Insecurity of Enclave Untrusted Interfaces in SGX
lib Cross-Failure Bug Detection in Persistent Memory Programs
lib Effective Concurrency Testing for Distributed Systems
lib Egalito: Layout-Agnostic Binary Recompilation
lib FirePerf: FPGA-Accelerated Full-System Hardware/Software Performance Profiling and Co-Design
lib FlexAmata: A Universal and Efficient Adaption of Applications to Spatial Automata Processing Accelerators
lib Forget Failure: Exploiting SRAM Data Remanence for Low-overhead Intermittent Computation
lib Game of Threads: Enabling Asynchronous Poisoning Attacks
lib Hermes: A Fast, Fault-Tolerant and Linearizable Replication Protocol
lib HMC: Model Checking for Hardware Memory Models
lib HSM: A Hybrid Slowdown Model for Multitasking GPUs
lib Mitosis: Transparently Self-Replicating Page-Tables for Large-Memory Machines
lib MOD: Minimally Ordered Durable Datastructures for Persistent Memory
lib Noise-Aware Dynamical System Compilation for Analog Devices with Legno
lib Occlum: Secure and Efficient Multitasking Inside a Single Enclave of Intel SGX
lib Orbital Edge Computing: Nanosatellite Constellations as a New Class of Computer System
lib Peacenik: Architecture Support for Not Failing under Fail-Stop Memory Consistency
lib Perspective: A Sensible Approach to Speculative Automatic Parallelization
lib Pronto: Easy and Fast Persistence for Volatile Data Structures
lib Quantum Circuits for Dynamic Runtime Assertions in Quantum Computation
lib Reliable Timekeeping for Intermittent Computing
lib SAC: A Co-Design Cache Algorithm for Emerging SMR-based High-Density Disks
lib Safecracker: Leaking Secrets through Compressed Caches
lib Software Mitigation of Crosstalk on Noisy Intermediate-Scale Quantum Computers
lib The Guardian Council: Parallel Programmable Hardware Security
lib Time-sensitive Intermittent Computing Meets Legacy Software
lib Why GPUs are Slow at Executing NFAs and How to Make them Faster