Major CS conference publication stats (including accepted and submitted) by year.
☆180Dec 23, 2025Updated 5 months ago
Alternatives and similar repositories for csconferences
Users that are interested in csconferences are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Ripple: A Programmable, Decentralized Link-Flooding Defense Against Adaptive Adversaries☆25May 21, 2022Updated 4 years ago
- Tempo is a system for declarative, efficient, end-to-end compiled dynamic deep learning☆29Oct 21, 2025Updated 7 months ago
- An enhanced version of BMv2 switches that support changing the P4 program at runtime with no service interruption.☆19Apr 12, 2023Updated 3 years ago
- ☆21Jun 24, 2021Updated 4 years ago
- Source code of paper "Probabilistic Profiling of Stateful Data Planes for Adversarial Testing"☆12Apr 19, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- The source code of the paper "Runtime Programmable Switches".☆27Apr 12, 2023Updated 3 years ago
- Zodiac: Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs, SOSP 2024☆15Nov 28, 2024Updated last year
- ☆27Updated this week
- Dynamic resources changes for multi-dimensional parallelism training☆31Aug 22, 2025Updated 9 months ago
- [OSDI 2024] Motor: Enabling Multi-Versioning for Distributed Transactions on Disaggregated Memory☆50Mar 3, 2024Updated 2 years ago
- Mitigating Network Covert Channels while Preserving Performance☆19Aug 12, 2020Updated 5 years ago
- ☆54Oct 10, 2024Updated last year
- Artifact for "Shockwave: Fair and Efficient Cluster Scheduling for Dynamic Adaptation in Machine Learning" [NSDI '23]☆46Nov 24, 2022Updated 3 years ago
- TeRM: Extending RDMA-Attached Memory with SSD [FAST'24]☆45Oct 21, 2024Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Mechanized baselines for various type system features☆18Apr 14, 2026Updated 2 months ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆27Dec 18, 2024Updated last year
- A parallel programming model for online applications with complex synchronization requirements.☆16Jun 8, 2022Updated 4 years ago
- SC 2021, "LogECMem: Coupling Erasure-Coded In-Memory Key-Value Stores with Parity Logging"☆12Jul 12, 2021Updated 4 years ago
- [ACM APNet 2025 Best Paper Award] A high-performance and easy-to-use RDMA library, called SnowRDMA.☆26Jul 15, 2024Updated last year
- Interference-aware CPU scheduling that enables performance isolation and high CPU utilization for datacenter servers☆193May 10, 2026Updated last month
- The Z3-Noodler String Solver☆26Jun 7, 2026Updated last week
- Memory footprint reduction for transformer models☆11Jan 24, 2023Updated 3 years ago
- ccNVMe: crash consistent non-volatile memory express☆14Aug 17, 2021Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Cost-aware network traffic analysis☆13Dec 20, 2023Updated 2 years ago
- ☆18Dec 11, 2023Updated 2 years ago
- Ocaml Linear Engine for JavaScript Regexes, implementing the algorithms described in Linear Matching of JavaScript Regular Expressions at…☆25May 17, 2026Updated 3 weeks ago
- An Automated Performance Optimization Framework for P4-Programmable SmartNICs☆28Nov 18, 2023Updated 2 years ago
- ☆27Dec 20, 2021Updated 4 years ago
- Netrics - Active Measurements of Internet Performance☆12Sep 14, 2023Updated 2 years ago
- Canvas: Isolated and Adaptive Swapping for Multi-Applications on Remote Memory☆38Apr 19, 2023Updated 3 years ago
- Adaptive Wide-Area Streaming Analytics☆30Jun 2, 2019Updated 7 years ago
- A generic goal preprocessing tool for proof automation tactics in Coq☆16Updated this week
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Coq plugin for extracting Rust code☆20Apr 20, 2026Updated last month
- Reading seminar in Harvard Cloud Networking and Systems Group☆16Aug 29, 2022Updated 3 years ago
- ☆14Jun 8, 2026Updated last week
- A formally verified security module for AMD confidential VMs☆67Updated this week
- Scaling Up Memory Disaggregated Applications with SMART☆34Apr 23, 2024Updated 2 years ago
- WASP was superseded by: https://github.com/OCamlPro/owi☆16Aug 28, 2024Updated last year
- Boston University Collaboratory project for applying AI to cloud operations☆12Dec 5, 2022Updated 3 years ago