Bramas / hotcrp-docker-composeLinks
An easy docker-compose deployement of hotcrp
☆20Updated 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☆389Updated this week
- Deadline countdowns for academic conferences in Security and Privacy☆797Updated this week
- Major CS conference publication stats (including accepted and submitted) by year.☆166Updated last month
- A Reading List of System Configuration Management☆57Updated last year
- ☆35Updated last month
- Material (mostly slides) for a graduate course on (formal) software analysis.☆33Updated 6 years ago
- ☆22Updated last year
- Code from PLDI '21 paper "Provable Repair of Deep Neural Networks."☆10Updated 3 years ago
- This is the implementation repository of our ICSE'22 paper: Muffin: Testing Deep Learning Libraries via Neural Architecture Fuzzing.☆33Updated 3 years ago
- KLEE with floating point support (unmaintained)☆20Updated 3 years ago
- ☆30Updated 2 years ago
- Cycle Accurate Symbolic Timing Analysis of Network Functions☆10Updated 4 years ago
- Testing Configuration Changes in Context to Prevent Production Failures☆32Updated 2 years ago
- configuration evolution dataset☆18Updated 4 years ago
- Configuration dependency analysis for cloud software☆23Updated 4 years ago
- Statistics of acceptance rate for the top conferences: Oakland, CCS, USENIX Security, NDSS.☆210Updated 3 months ago
- Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations☆64Updated 4 years ago
- [ICSE 2023] Differentiable interpretation and failure-inducing input generation for neural network numerical bugs.☆13Updated 2 years ago
- Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)☆82Updated 3 years ago
- Artifact for ESEC/FSE'23 paper "NeuRI: Diversifying DNN Generation via Inductive Rule Inference"☆32Updated 2 years ago
- This repository contains the dataset of our ISSTA 2018 paper: An Empirical Study on TensorFlow Program Bugs.☆29Updated 5 years ago
- A Framework for Deep Neural Network Verification☆57Updated last year
- ☆19Updated 11 months ago
- Resources on the Artifact Evaluation (AE) Process☆17Updated 4 years ago
- ACM consolidated LaTeX styles☆66Updated 6 years ago
- a data collection of related work: Toward Understanding Deep Learning Framework Bugs☆16Updated 2 years ago
- Automated DNN generation for fuzz testing and more☆142Updated last year
- This is the implement repository of our upcoming ESEC/FSE 2020 paper: Deep Learning Library Testing via Effective Model Generation.☆55Updated 2 years ago
- This is the implementation repository of our incoming ESEC/FSE 2021 paper: Exposing Numerical Bugs in Deep Learning via GradientBack-prop…☆15Updated 3 years ago
- ☆43Updated 3 months ago