Bramas / hotcrp-docker-composeLinks
An easy docker-compose deployement of hotcrp
☆18Updated 3 years ago
Alternatives and similar repositories for hotcrp-docker-compose
Users that are interested in hotcrp-docker-compose are comparing it to the libraries listed below
Sorting:
- HotCRP conference review software☆377Updated this week
- Deadline countdowns for academic conferences in Security and Privacy☆777Updated this week
- Code from PLDI '21 paper "Provable Repair of Deep Neural Networks."☆10Updated 2 years ago
- ☆35Updated 7 months ago
- Major CS conference publication stats (including accepted and submitted) by year.☆156Updated 2 months ago
- A Reading List of System Configuration Management☆57Updated last year
- ☆28Updated 2 years ago
- ☆22Updated last year
- ☆18Updated 9 months ago
- Open-source release of "Last-Level Cache Side-Channel Attacks Are Feasible in the Modern Public Cloud" (ASPLOS '24)☆30Updated 7 months ago
- Statistics of acceptance rate for the top conferences: Oakland, CCS, USENIX Security, NDSS.☆202Updated last month
- configuration evolution dataset☆18Updated 4 years ago
- Artifact for ESEC/FSE'23 paper "NeuRI: Diversifying DNN Generation via Inductive Rule Inference"☆32Updated 2 years ago
- Architecture-level Fault Injection Tool for GPU Application Resilience Evaluation☆76Updated 2 years ago
- Cycle Accurate Symbolic Timing Analysis of Network Functions☆10Updated 3 years ago
- ACM consolidated LaTeX styles☆67Updated 6 years ago
- [ICSE 2023] Differentiable interpretation and failure-inducing input generation for neural network numerical bugs.☆13Updated last year
- Material (mostly slides) for a graduate course on (formal) software analysis.☆32Updated 6 years ago
- Configuration dependency analysis for cloud software☆24Updated 3 years ago
- ComPy-Learn is a framework for exploring program representations for ML4CODE tasks.☆23Updated 2 years ago
- Proof-of-concept implementation of the Obelix software hardening framework, based on LLVM.☆11Updated last year
- This repo collects the best papers from top 4 computer security conferences, including IEEE S&P, ACM CCS, USENIX Security, and NDSS.☆127Updated 7 months ago
- This is the implementation repository of our ICSE'22 paper: Muffin: Testing Deep Learning Libraries via Neural Architecture Fuzzing.☆32Updated 3 years ago
- ☆117Updated 3 years ago
- Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations☆65Updated 3 years ago
- Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)☆81Updated 3 years ago
- A Framework for Deep Neural Network Verification☆57Updated 11 months ago
- Automatic DNN generation for fuzzing and more☆140Updated 10 months ago
- Resources on the Artifact Evaluation (AE) Process☆17Updated 4 years ago
- ☆19Updated this week