emeryberger / csconferencesView external linksLinks
Major CS conference publication stats (including accepted and submitted) by year.
☆170Dec 23, 2025Updated last month
Alternatives and similar repositories for csconferences
Users that are interested in csconferences are comparing it to the libraries listed below
Sorting:
- Ripple: A Programmable, Decentralized Link-Flooding Defense Against Adaptive Adversaries☆25May 21, 2022Updated 3 years ago
- [OSDI 2024] Motor: Enabling Multi-Versioning for Distributed Transactions on Disaggregated Memory☆50Mar 3, 2024Updated last year
- ☆23Oct 1, 2025Updated 4 months ago
- My paper/code reading notes in Chinese☆46Jun 10, 2025Updated 8 months ago
- ☆21Jun 24, 2021Updated 4 years ago
- Arbitrary offloads for RDMA NICs☆99Apr 25, 2022Updated 3 years ago
- Interference-aware CPU scheduling that enables performance isolation and high CPU utilization for datacenter servers☆186Jan 29, 2026Updated 2 weeks ago
- TeRM: Extending RDMA-Attached Memory with SSD [FAST'24]☆45Oct 21, 2024Updated last year
- The source code of the paper "Runtime Programmable Switches".☆27Apr 12, 2023Updated 2 years ago
- ☆26Mar 31, 2022Updated 3 years ago
- Artifact for "Shockwave: Fair and Efficient Cluster Scheduling for Dynamic Adaptation in Machine Learning" [NSDI '23]☆46Nov 24, 2022Updated 3 years ago
- Zodiac: Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs, SOSP 2024☆15Nov 28, 2024Updated last year
- SC 2021, "LogECMem: Coupling Erasure-Coded In-Memory Key-Value Stores with Parity Logging"☆12Jul 12, 2021Updated 4 years ago
- Algebraic Combinatorics in Coq☆39Jan 25, 2026Updated 2 weeks ago
- Source code of paper "Probabilistic Profiling of Stateful Data Planes for Adversarial Testing"☆12Apr 19, 2021Updated 4 years ago
- miniKanren implementation of ' Declarative semantics for functional languages: compositional, extensional, and elementary' by Jeremy Siek…☆15Mar 16, 2018Updated 7 years ago
- Boston University Collaboratory project for applying AI to cloud operations☆12Dec 5, 2022Updated 3 years ago
- ☆52Oct 10, 2024Updated last year
- Adaptive Wide-Area Streaming Analytics☆30Jun 2, 2019Updated 6 years ago
- 🔮 Execution time predictions for deep neural network training iterations across different GPUs.☆14Dec 16, 2024Updated last year
- RetDec disassembly syntax highlighting for Vim☆17Nov 6, 2023Updated 2 years ago
- A new memory mapping interface for efficient direct user-space access to byte-addressable storage, published in MICRO2022.☆15Sep 29, 2022Updated 3 years ago
- proof script associated to tutorial material☆17Oct 29, 2023Updated 2 years ago
- A simple demonstration of how PyTorch autograd works☆16Sep 23, 2021Updated 4 years ago
- Yet another Rust MIR analysis tool☆15Aug 22, 2025Updated 5 months ago
- A generic goal preprocessing tool for proof automation tactics in Coq☆15Updated this week
- WASP was superseded by: https://github.com/OCamlPro/owi☆16Aug 28, 2024Updated last year
- ☆15Jun 1, 2022Updated 3 years ago
- The Z3-Noodler String Solver☆25Updated this week
- ☆36Mar 28, 2023Updated 2 years ago
- Characterizing and Modeling Non-Volatile Memory Systems [MICRO'20, TopPicks'21]☆32Jan 13, 2022Updated 4 years ago
- ☆38Jun 26, 2024Updated last year
- ☆18Feb 22, 2023Updated 2 years ago
- [EuroSys'25] Mist: Efficient Distributed Training of Large Language Models via Memory-Parallelism Co-Optimization☆21Feb 5, 2026Updated last week
- ☆18Dec 11, 2023Updated 2 years ago
- A graduate course on distributed systems☆17Jul 17, 2022Updated 3 years ago
- Reading seminar in Harvard Cloud Networking and Systems Group☆16Aug 29, 2022Updated 3 years ago
- ☆14Jan 28, 2026Updated 2 weeks ago
- NVLeak: Off-Chip Side-Channel Attacks via Non-Volatile Memory Systems [USENIX Security '23]☆19Nov 17, 2022Updated 3 years ago