efeslab Goto Github PK

ada-portathon

agamotto

KLEE Symbolic Execution Engine

andersen

Andersen's analysis for NVM-KLEE

asplos22-hardware-debugging-artifact

atom

Atom: Low-bit Quantization for Efficient and Accurate LLM Serving

aws-fpga

Vidi: Record Replay support based on a fork of aws/aws-fpga

bugbase

A framework to reproduce known bugs in major systems software and do performance benchmarking of various bug finding tools

bugbasev2

challenge6

chipyard

An Agile Chisel-Based SoC Design Framework

cmcpat

A modified version of McPAT for the COSSIM framework. The code is based on McPAT v1.3 and integrates with cgem5.

deathstarbench

Open-source benchmark suite for cloud microservices

dmon-ae

DMon Prototype for OSDI 2021 Artifact Evaluation

dolma

dolma-glibc

edgecentriconfpga

eecs482

eecs582

Course website for Advanced Operating Systems

er

Can additonal recording simplify symbolic constraints?

fiddler

Fast Inference of MoE Models with CPU-GPU Orchestration

filebench

File system and storage benchmark that uses a custom language to generate a large variety of workloads.

firrtl

Flexible Intermediate Representation for RTL

frontsuite

gem5-mcpat-parser

A parser to convert the output of gem5 to a format for McPat.

hardcloud

Intel HARP2 as an OpenMP Offloading Device.

hardcloud_no_openmp

hardware-bugbase

hase

Timeless debugging with symbolic execution and processor trace

heterogeneous-papers

A reading list of some interesting papers about heterogeneous systems.

hippocrates

Automatically fixing persistency bugs in PM applications. ASPLOS '21.