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.
  ☆127Updated this week
• uds-se / autoreject
  Autoreject.org — An automatic review generator
  ☆69Updated last year
• borisveytsman / acmart
  ACM consolidated LaTeX styles
  ☆659Updated this week
• vijay03 / dblp-python
  Simple python scripts which identify papers authored by PC members in various conferences. Conference info pulled from DBLP.
  ☆18Updated 4 years ago
• tianyin / configuration_datasets
  The configuration files and issues datasets collected from real users
  ☆31Updated 5 years ago
• pcminer-tools / pcminer
  PC-miner tool for program chairs
  ☆27Updated 2 months ago
• bajinsheng / bibtidy
  Search, check, and autofix your BibTex files!
  ☆25Updated last year
• Bramas / hotcrp-docker-compose
  An easy docker-compose deployement of hotcrp
  ☆18Updated 2 years ago
• emeryberger / PC-Resources
  Resources for conference program chairs, especially in systems/PL areas of computer science.
  ☆11Updated 2 years ago
• nal-epfl / castan
  Cycle Accurate Symbolic Timing Analysis of Network Functions
  ☆10Updated 3 years ago
• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆183Updated 3 years ago
• acmccs / format
  ACM consolidated LaTeX styles
  ☆67Updated 6 years ago
• acmsigsoft / submission-checker
  Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations
  ☆61Updated 3 years ago
• runtimeverification / javamop
  Runtime verification system for Java, using AspectJ for instrumentation.
  ☆47Updated 2 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…
  ☆60Updated 12 years ago
• sosy-lab / cpachecker
  CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
  ☆241Updated this week
• xlab-uiuc / open-cevo
  configuration evolution dataset
  ☆17Updated 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 10 months ago
• bugcounting / software-analysis
  Material (mostly slides) for a graduate course on (formal) software analysis.
  ☆32Updated 5 years ago
• xlab-uiuc / ctest-prio-ae
  Test-Case Prioritization for Configuration Testing
  ☆16Updated 3 years ago
• Apogee-Research / STAC
  Public release items for the DARPA Space/Time Analysis for Cybersecurity (STAC) program
  ☆27Updated 7 years ago
• stp / stp
  Simple Theorem Prover, an efficient SMT solver for bitvectors
  ☆542Updated 8 months ago
• sambayless / monosat
  MonoSAT - An SMT solver for Monotonic Theories
  ☆113Updated 2 months ago
• clowdr-app / clowdr-web-app
  Old Clowdr versions 1 & 2 from 2020
  ☆36Updated 4 years ago
• yixin-09 / AutoRNP
  AutoRNP -- Automated Repair of High Floating-Point Errors in Numerical Libraries
  ☆11Updated 6 years ago
• tianyin / configuration-management-papers
  A Reading List of System Configuration Management
  ☆56Updated 9 months ago
• msv-lab / angelix
  Semantic program repair system for C programs
  ☆100Updated 2 years ago
• ultimate-pa / ultimate
  The Ultimate program analysis framework.
  ☆220Updated this week
• akshithasriraman / Accelerometer
  The accelerometer analytical model published in ASPLOS 2020 (Accelerometer: Understanding Acceleration Opportunities forData Center Overh…
  ☆15Updated 5 years ago
• tamarin-prover / tamarin-prover
  Main source code repository of the Tamarin prover for security protocol verification.
  ☆459Updated 2 weeks ago