binpash / dish

Related projects: ⓘ

• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆109Updated last week
• bpowers / mstat
  fine-grained, cgroup-based tool for profiling memory usage over time of a process tree
  ☆42Updated 2 months ago
• curtsinger-lab / riker
  Always-Correct and Fast Incremental Builds from Simple Specifications
  ☆82Updated 3 months ago
• LLNL / umap
  User-space Page Management
  ☆102Updated last month
• utsaslab / chipmunk
  Tool for checking crash-consistency for persistent-memory file systems (Eurosys 23)
  ☆18Updated 3 months ago
• iyzhang / superhero-network
  An unaffiliated group of visible, early career CS women researchers dedicated to fighting harassment in all forms in academia.
  ☆102Updated last month
• NetworkVerification / nv
  A Framework for Modeling and Analyzing Network Configurations
  ☆31Updated last year
• twizzler-operating-system / twizzler-public
  Public-facing version of the Twizzler OS source code. Note: this is not completely up-to-date with internal Twizzler code.
  ☆65Updated 4 years ago
• nkallima / sim-universal-construction
  An open-source framework for concurrent data-structures and benchmarks.
  ☆64Updated 4 months ago
• FindHao / drgpu
  A Top-Down Profiler for GPU Applications
  ☆13Updated 6 months ago
• nyu-systems / gauntlet
  Finding bugs in P4 compilers using translation validation.
  ☆35Updated 2 months ago
• metalift / metalift
  A program synthesis framework for verified lifting applications
  ☆39Updated 2 months ago
• cucapra / styleguide
  rules for writing and typesetting
  ☆23Updated 2 years ago
• vijay03 / dblp-python
  Simple python scripts which identify papers authored by PC members in various conferences. Conference info pulled from DBLP.
  ☆18Updated 4 years ago
• stanford-mast / shinjuku
  ☆44Updated last year
• blakecaldwell / fluidmem
  Open memory disaggregation
  ☆25Updated 4 years ago
• LinuxPerfStudy / LEBench
  ☆58Updated 2 months ago
• kozyraki / stamp
  the Stanford Transactional Applications for Multi-Processing; a benchmark suite for transactional memory research
  ☆40Updated 2 years ago
• multicore-locks / litl
  LiTL: Library for Transparent Lock Interposition
  ☆75Updated last year
• multifacet / 0sim-workspace
  Tools and experiments for 0sim. Simulate system software behavior on machines with terabytes of main memory from your desktop.
  ☆20Updated 4 years ago
• firecracker-microvm / nsdi2020-data
  ☆21Updated 4 years ago
• emeryberger / cheap
  Cheap: customized heaps for improved application performance.
  ☆25Updated last year
• GLaDOS-Michigan / I4
  The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…
  ☆26Updated 3 years ago
• cucapra / turnt
  simple snapshot-style integration testing for commands
  ☆65Updated 2 months ago
• uclasystem / MemLiner
  MemLiner is a remote-memory-friendly runtime system.
  ☆30Updated last year
• yuhong-zhong / bpf-storage-hotos
  ☆20Updated 3 years ago
• apanwariisc / HawkEye
  The implementation of HawkEye, our research system: "HawkEye: Efficient Fine-grained OS Support for Huge Pages" from ASPLOS 2019.
  ☆18Updated 3 years ago
• dslab-epfl / tinynf
  Code artifact of the papers "A Simpler and Faster NIC Driver Model for Network Functions" (OSDI 2020) and "Safe low-level code without ov…
  ☆58Updated last year
• pramalhe / RedoDB
  The world's first wait-free KV store with generic durable linearizable transactions
  ☆37Updated 2 years ago
• xinjin / course-net-seminar
  Selected Topics in Computer Networks @ Johns Hopkins University
  ☆19Updated 3 years ago