Alternatives and similar repositories for hotcrp

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

• acmccs / format
  ACM consolidated LaTeX styles
  ☆66Updated 6 years ago
• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆159Updated 2 weeks ago
• uds-se / autoreject
  Autoreject.org — An automatic review generator
  ☆69Updated last year
• sosy-lab / benchexec
  BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
  ☆274Updated this week
• sosy-lab / cpachecker
  CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
  ☆251Updated this week
• tianyin / configuration-management-papers
  A Reading List of System Configuration Management
  ☆57Updated last year
• nal-epfl / castan
  Cycle Accurate Symbolic Timing Analysis of Network Functions
  ☆10Updated 4 years ago
• borisveytsman / acmart
  ACM consolidated LaTeX styles
  ☆679Updated last month
• vijay03 / dblp-python
  Simple python scripts which identify papers authored by PC members in various conferences. Conference info pulled from DBLP.
  ☆19Updated 5 years ago
• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆185Updated 4 years 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
• runtimeverification / javamop
  Runtime verification system for Java, using AspectJ for instrumentation.
  ☆50Updated 2 years ago
• xlab-uiuc / open-cevo
  configuration evolution dataset
  ☆18Updated 4 years ago
• tamarin-prover / tamarin-prover
  Main source code repository of the Tamarin prover for security protocol verification.
  ☆490Updated last week
• xlab-uiuc / openctest
  Testing Configuration Changes in Context to Prevent Production Failures
  ☆31Updated 2 years ago
• stp / stp
  Simple Theorem Prover, an efficient SMT solver for bitvectors
  ☆557Updated last month
• ryscheng / paper-template
  LaTeX templates for papers
  ☆52Updated 6 years ago
• utsaslab / chipmunk
  Tool for checking crash-consistency for persistent-memory file systems (Eurosys 23)
  ☆19Updated last year
• SabaEskandarian / Fidelius
  Protecting user secrets from compromised browsers and operating systems
  ☆18Updated 7 years ago
• jieyu / concurrency-bugs
  A collection of concurrency bugs. Please cite our ISCA paper "A Case for an Interleaving Constrained Shared-Memory Multi-Processor" if yo…
  ☆61Updated 12 years ago
• stephenfreund / RoadRunner
  ☆75Updated 8 years ago
• cucapra / styleguide
  rules for writing and typesetting
  ☆25Updated 4 years ago
• dskarlatos / MicroScope
  Microscope: Enabling Microarchitectural Replay Attacks
  ☆20Updated 5 years ago
• spectector / spectector
  Automatic detection of speculative information flows
  ☆75Updated 4 years ago
• uw-unsat / serval
  ☆46Updated 3 years ago
• bugcounting / software-analysis
  Material (mostly slides) for a graduate course on (formal) software analysis.
  ☆32Updated 6 years ago
• codespecs / daikon
  Dynamic detection of likely invariants
  ☆239Updated last week
• emeryberger / PC-Resources
  Resources for conference program chairs, especially in systems/PL areas of computer science.
  ☆11Updated 2 years ago
• nimble-code / Spin
  Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
  ☆446Updated 2 months ago
• OrderLab / OKLib
  OKLib: A Toolchain for Checking Silent Semantic Violations in Distributed Systems
  ☆25Updated 2 years ago