lib A Compiler Infrastructure for Accelerator Generators
lib Analytical characterization and design space exploration for optimization of CNNs
lib Benchmarking, analysis, and optimization of serverless function snapshots
lib C11Tester: A Fuzzer for C/C++ Atomics
lib Clobber-NVM: Log Less, Re-execute More
lib Compiler-Driven FPGA Virtualization with SYNERGY
lib Corundum: Statically-Enforced Persistent Memory Safety
lib CubicleOS: A Library OS with Software Componentisation for Practical Isolation
lib CutQC: Using Small Quantum Computers for Large Quantum Circuit Evaluations
lib Effective simulation and debugging for a high-level hardware language using software compilers
lib FaasCache: Keeping Serverless Computing Alive With Greedy-Dual Caching
lib Fast Local Page-Tables for Virtualized NUMA Servers with vMitosis
lib Fast, Flexible and Comprehensive Bug Detection for Persistent Memory Programs
lib HerQules: Securing Programs via Hardware-Enforced Message Queues
lib HIPPOCRATES: Healing Persistent Memory Bugs Without Doing Any Harm
lib In-Fat Pointer: Hardware-Assisted Tagged-Pointer Spatial Memory Safety Defense with Subobject Bound Granularity Protection
lib Incremental CFG Patching for Binary Rewriting
lib Jaaru: Efficiently Model Checking Persistent Memory Programs
lib Jamais Vu: Thwarting Microarchitectural Replay Attacks
lib Judging a Type by its Pointer: Optimizing Virtual Function Calls on GPUs
lib Language-Parametric Compiler Validation with Application to LLVM
lib LifeStream: A High-performance Stream Processing Engine for Periodic Streams
lib Nightcore: Efficient and Scalable Serverless Computing for Latency-Sensitive, Interactive Microservices
lib Noisy Variational Quantum Algorithm Simulation via Knowledge Compilation for Repeated Inference
lib PacketMill: Toward per-core 100-Gbps Networking
lib PIBE: Practical Kernel Control-flow Hardening with Profile-guided Indirect Branch Elimination
lib PMFuzz: Test Case Generation for Persistent Memory Programs
lib PTEMagnet: Fine-grained Physical Memory Reservation for Faster Page Walks in Public Clouds
lib QRAFT: Reverse Your Quantum Circuit and Know the Correct Program Output