Pinned Repositories
DRAMHiT
dramhit-artifacts
Artifact evaluation for "KVStore: A Hash-Table Architected for the Speed of DRAM" submitted to EuroSys'23
hello-os
A multiboot OS that prints
lvd-bflank
lvd-linux
miniond
Alternative implementation of Emulab client-side agents
redIDL
redleaf
RedLeaf Operating System
xv6-64-bm
xv6-bm
Version of xv6 that runs on bare metal
Mars Research Group's Repositories
mars-research/DRAMHiT
mars-research/dramhit-artifacts
Artifact evaluation for "KVStore: A Hash-Table Architected for the Speed of DRAM" submitted to EuroSys'23
mars-research/miniond
Alternative implementation of Emulab client-side agents
mars-research/redIDL
mars-research/mars-std
Reusable Nix utilities
mars-research/atc24-artifact
mars-research/cloudlab-profiles
mars-research/kmer_wiki
mars-research/llvm-SFI
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
mars-research/lxds
mars-research/mars-research.github.io
Mars Research Homepage
mars-research/redcc
RedLeaf "checker & compiler"
mars-research/dpdk-nfv
mars-research/chtkc
A robust and efficient k-mer counter
mars-research/cityhash
Cityhash but with .gitignore
mars-research/DRAMHiT-incrementer
mars-research/growt
This is a header only library offering a variety of dynamically growing concurrent hash tables. That all work by dynamically migrating the current table once it gets too full.
mars-research/ixy.rs
Fork of ixy.rs for atmosphere
mars-research/kmerhash
A parallel DNA k-mer counter based on optimized distributed memory hash tables
mars-research/kmerind
Parallel k-mer indexing for biological sequences
mars-research/ksplit-artifacts
Artifacts for the paper "KSplit: Automating Device Driver Isolation"
mars-research/kvstore-cloudlab
mars-research/minimap
A tiny hashtable-ish workload to understand the latency of random memory writes
mars-research/mmap_test
mars-research/msr-safe
Allows safer access to model specific registers (MSRs)
mars-research/neovim-flake
Nix flake for neovim & scala metals
mars-research/nixpkgs
Nix Packages collection
mars-research/prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
mars-research/verus
Verified Rust for low-level systems code
mars-research/vldb13-eth-hashjoin
https://dl.acm.org/doi/abs/10.14778/2732219.2732227. Obtained from https://systems.ethz.ch/research/data-processing-on-modern-hardware/projects/parallel-and-distributed-joins.html