Alternatives and similar repositories for hotcrp-docker-compose:

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

• kohler / hotcrp
  HotCRP conference review software
  ☆346Updated this week
• HexHive / pubstats
  ☆29Updated 2 months ago
• USENIX-Security-2025 / conference-format
  ☆19Updated 10 months ago
• stan6 / se-paper
  ☆74Updated 2 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
• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆118Updated 2 months ago
• csartifacts / resources
  Resources on the Artifact Evaluation (AE) Process
  ☆16Updated 4 years ago
• xlab-uiuc / cdep-fse-ae
  Configuration dependency analysis for cloud software
  ☆22Updated 3 years ago
• ise-uiuc / neuri-artifact
  Artifact for ESEC/FSE'23 paper "NeuRI: Diversifying DNN Generation via Inductive Rule Inference"
  ☆31Updated last year
• spectector / spectector
  Automatic detection of speculative information flows
  ☆67Updated 3 years ago
• stephenfreund / RoadRunner
  ☆71Updated 7 years ago
• michaelpradel / LExecutor
  A learning-guided approach for executing arbitrary Python code snippets
  ☆15Updated 11 months ago
• puzhuoliu / Computer-Security-Conference-Acceptance-Rate
  Statistics of acceptance rate for the top conferences: Oakland, CCS, USENIX Security, NDSS.
  ☆132Updated this week
• bugcounting / software-analysis
  Material (mostly slides) for a graduate course on (formal) software analysis.
  ☆32Updated 5 years ago
• dskarlatos / MicroScope
  Microscope: Enabling Microarchitectural Replay Attacks
  ☆18Updated 4 years ago
• greenlsi / reload_refresh
  Reload+Refresh PoC
  ☆14Updated 5 years ago
• xlab-uiuc / open-cevo
  configuration evolution dataset
  ☆17Updated 4 years ago
• llylly / RANUM
  [ICSE 2023] Differentiable interpretation and failure-inducing input generation for neural network numerical bugs.
  ☆12Updated last year
• 95616ARG / PRDNN
  Code from PLDI '21 paper "Provable Repair of Deep Neural Networks."
  ☆10Updated 2 years ago
• sosy-lab / cpachecker
  CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
  ☆236Updated this week
• ise-uiuc / FreeFuzz
  Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)
  ☆75Updated 2 years ago
• xlab-uiuc / openctest
  Testing Configuration Changes in Context to Prevent Production Failures
  ☆30Updated last year
• 0tcb / TAP
  ☆19Updated 2 years ago
• dlfaults / taxonomy
  Taxonomy of Real Faults in Deep Learning Systems
  ☆16Updated 5 years ago
• focs-lab / rapid
  Dynamic Analysis for Concurrent Programs
  ☆22Updated 4 months ago
• tianyin / configuration-management-papers
  A Reading List of System Configuration Management
  ☆55Updated 6 months ago
• ise-uiuc / DeepREL
  Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)
  ☆34Updated last year
• lujiefsi / CrashTuner
  CrashTuner(SOSP2019)
  ☆29Updated 5 years ago
• ForeverZyh / TensorFlow-Program-Bugs
  This repository contains the dataset of our ISSTA 2018 paper: An Empirical Study on TensorFlow Program Bugs.
  ☆30Updated 4 years ago
• program-repair / program-repair.github.io
  Automated program repair bibliography, tools and benchmarks.
  ☆76Updated 3 months ago