HotCRP conference review software
☆441Oct 29, 2026Updated this week
Alternatives and similar repositories for hotcrp
Users that are interested in hotcrp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…☆27May 25, 2021Updated 5 years ago
- A fast and scalable distributed lock service using programmable switches.☆21Jul 30, 2024Updated 2 years ago
- Benchmarking code for evaluating the cost of cache coherence protocols implemented on different platforms☆14Apr 13, 2021Updated 5 years ago
- Provisions: Privacy-preserving proofs of solvency for Bitcoin☆14Jan 10, 2016Updated 10 years ago
- Get the first page of all the papers in one conference☆14Mar 19, 2019Updated 7 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A module that multiplexes interactions with lists of python objects.☆14Aug 24, 2022Updated 4 years ago
- Proving crash safety for systems with layered recovery☆16Apr 1, 2026Updated 6 months ago
- ACM SIGCOMM eBook on Recent Advances in Networking☆21Jan 13, 2014Updated 12 years ago
- tools for network emulation and analysis☆11Mar 1, 2016Updated 10 years ago
- a multi-node fabric-attached memory manager that provides simple abstractions for accessing and allocating NVM from fabric-attached memor…☆12Jun 3, 2024Updated 2 years ago
- ☆16Nov 26, 2020Updated 5 years ago
- Agent Data Injection (ADI) Attacks☆14Jul 13, 2026Updated 3 months ago
- Crypto Bib is a BibTeX database containing papers related to Cryptography, with manually checked entries and uniform BibTeX data.☆12Nov 6, 2015Updated 10 years ago
- An O(N\log{N}) time algorithm for computing all N proofs fast in the Pointproofs VC. Also, the O(N\log{N}) time Feist-Khovratovich algori…☆13Dec 3, 2020Updated 5 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Clio, ASPLOS'22.☆80Feb 8, 2022Updated 4 years ago
- Parses https://eprint.iacr.org/eprint-bin/search.pl?last=365&title=1 and sends you an email with the latest papers☆15Nov 11, 2020Updated 5 years ago
- ☆18May 16, 2022Updated 4 years ago
- Neural Variable Renaming for Decompiled Binaries☆45May 4, 2020Updated 6 years ago
- ☆26Jul 8, 2021Updated 5 years ago
- Always-Correct and Fast Incremental Builds from Simple Specifications☆95Sep 3, 2026Updated last month
- Turning Linux into a High-Performance Library OS with Flux (SOSP 2026)☆11Sep 21, 2026Updated last month
- ☆25Mar 31, 2022Updated 4 years ago
- Universal Presentation: A Header-only C++ Library to Cout STL containers and more☆18Aug 14, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- find relevant security papers published in the top-4 conferences (S&P, USENIX, CCS, NDSS)☆202Jun 5, 2026Updated 4 months ago
- Pond: CXL-Based Memory Pooling Systems for Cloud Platforms (ASPLOS'23)☆229Oct 13, 2024Updated 2 years ago
- ☆20Jul 7, 2017Updated 9 years ago
- Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction☆28Apr 20, 2018Updated 8 years ago
- ☆19Nov 21, 2022Updated 3 years ago
- DINAMITE LLVM Pass☆11May 24, 2017Updated 9 years ago
- Tools and experiments for 0sim. Simulate system software behavior on machines with terabytes of main memory from your desktop.☆22May 27, 2020Updated 6 years ago
- Hackathon project for Snarky workshop.☆12Jun 21, 2019Updated 7 years ago
- Race Condition Running☆11Oct 23, 2026Updated last week
- 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.
- ☆22Oct 9, 2022Updated 4 years ago
- Source code for the FAST '23 paper “MadFS: Per-File Virtualization for Userspace Persistent Memory Filesystems”☆51Mar 5, 2023Updated 3 years ago
- Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023☆32May 10, 2023Updated 3 years ago
- Major CS conference publication stats (including accepted and submitted) by year.☆185Jul 7, 2026Updated 3 months ago
- Latr: Lazy Translation Coherence - ASPLOS'18☆16Nov 15, 2021Updated 4 years ago
- An Input Validator for HTTP based on Context-free Languages☆15Apr 27, 2017Updated 9 years ago
- Reading seminar in Harvard Cloud Networking and Systems Group☆16Aug 29, 2022Updated 4 years ago