Alternatives and similar repositories for hotcrp

Users that are interested in hotcrp are comparing it to the libraries listed below

• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆134Updated last month
• acmccs / format
  ACM consolidated LaTeX styles
  ☆67Updated 6 years ago
• nal-epfl / castan
  Cycle Accurate Symbolic Timing Analysis of Network Functions
  ☆10Updated 3 years ago
• borisveytsman / acmart
  ACM consolidated LaTeX styles
  ☆669Updated 2 months ago
• uds-se / autoreject
  Autoreject.org — An automatic review generator
  ☆70Updated last year
• tianyin / configuration-management-papers
  A Reading List of System Configuration Management
  ☆56Updated 11 months ago
• utsaslab / chipmunk
  Tool for checking crash-consistency for persistent-memory file systems (Eurosys 23)
  ☆19Updated last year
• Bramas / hotcrp-docker-compose
  An easy docker-compose deployement of hotcrp
  ☆18Updated 2 years ago
• nyu-systems / gauntlet
  Finding bugs in P4 compilers using translation validation.
  ☆37Updated 2 weeks ago
• iyzhang / superhero-network
  An unaffiliated group of visible, early career CS women researchers dedicated to fighting harassment in all forms in academia.
  ☆107Updated last year
• xlab-uiuc / open-cevo
  configuration evolution dataset
  ☆18Updated 4 years ago
• ryscheng / paper-template
  LaTeX templates for papers
  ☆50Updated 6 years ago
• vijay03 / dblp-python
  Simple python scripts which identify papers authored by PC members in various conferences. Conference info pulled from DBLP.
  ☆18Updated 5 years ago
• OrderLab / OKLib
  OKLib: A Toolchain for Checking Silent Semantic Violations in Distributed Systems
  ☆24Updated last year
• emeryberger / PC-Resources
  Resources for conference program chairs, especially in systems/PL areas of computer science.
  ☆12Updated 2 years ago
• sosy-lab / benchexec
  BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
  ☆268Updated last month
• runtimeverification / javamop
  Runtime verification system for Java, using AspectJ for instrumentation.
  ☆48Updated 2 years ago
• uw-unsat / serval
  ☆47Updated 3 years ago
• 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 4 years ago
• pwnall / sanctum
  Minimal RISC Extensions for Isolated Execution
  ☆53Updated 6 years ago
• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆184Updated 3 years ago
• verified-network-toolchain / petr4
  Petr4: Formal Semantics for P4
  ☆80Updated last month
• bugcounting / software-analysis
  Material (mostly slides) for a graduate course on (formal) software analysis.
  ☆32Updated 6 years ago
• ModelInference / synoptic
  Inferring models of systems from observations of their behavior
  ☆85Updated 2 years ago
• dave-andersen / coursegen
  Course web page generator framework
  ☆28Updated 13 years ago
• SabaEskandarian / Fidelius
  Protecting user secrets from compromised browsers and operating systems
  ☆17Updated 6 years ago
• tianyin / configuration_datasets
  The configuration files and issues datasets collected from real users
  ☆31Updated 5 years ago
• tudinfse / sgxbounds
  SGXBounds: Memory Safety for Shielded Execution (compiler pass and runtime)
  ☆33Updated 8 years ago
• trolando / sylvan
  Implementation of multi-core (binary) decision diagrams
  ☆77Updated this week
• spectector / spectector
  Automatic detection of speculative information flows
  ☆68Updated 4 years ago