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☆374Updated this week
- Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations☆64Updated 3 years ago
- A Reading List of System Configuration Management☆56Updated last year
- Major CS conference publication stats (including accepted and submitted) by year.☆151Updated last month
- ☆32Updated 6 months ago
- Tools and standards for conducting and evaluating research in software engineering☆315Updated last month
- Artifact for ESEC/FSE'23 paper "NeuRI: Diversifying DNN Generation via Inductive Rule Inference"☆31Updated last year
- This repository contains the dataset of our ISSTA 2018 paper: An Empirical Study on TensorFlow Program Bugs.☆30Updated 5 years ago
- 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
- Deadline countdowns for academic conferences in Security and Privacy☆766Updated this week
- configuration evolution dataset☆18Updated 4 years ago
- Automated program repair bibliography, tools and benchmarks.☆82Updated 6 months ago
- Resources for conference program chairs, especially in systems/PL areas of computer science.☆11Updated 2 years ago
- [ICSE 2023] Differentiable interpretation and failure-inducing input generation for neural network numerical bugs.☆13Updated last year
- Testing Configuration Changes in Context to Prevent Production Failures☆31Updated last year
- ☆18Updated last year
- Cycle Accurate Symbolic Timing Analysis of Network Functions☆10Updated 3 years ago
- homepage for proFL☆23Updated 4 years ago
- Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)☆80Updated 2 years ago
- ACM consolidated LaTeX styles☆67Updated 6 years ago
- The DaCapo benchmark suite☆190Updated 2 months ago
- This repository contains the artifact for the SOSP'23 paper: Sishuai Gong, Dinglan Peng, Deniz Altınbüken, Pedro Fonseca, Petros Maniati…☆14Updated last year
- Deadline countdowns for academic conferences in Software Engineering☆56Updated 3 weeks ago
- Code from PLDI '21 paper "Provable Repair of Deep Neural Networks."☆10Updated 2 years ago
- This is the implementation repository of our ICSE'22 paper: Muffin: Testing Deep Learning Libraries via Neural Architecture Fuzzing.☆32Updated 3 years ago
- ComPy-Learn is a framework for exploring program representations for ML4CODE tasks.☆23Updated 2 years ago
- An Automatic DNN TrainingProblem Detection and Repair System☆20Updated last year
- Automated Classification of Overfitting Patches with Statically Extracted Code Features http://arxiv.org/pdf/1910.12057☆10Updated 2 years ago
- This is the implement repository of our upcoming ESEC/FSE 2020 paper: Deep Learning Library Testing via Effective Model Generation.☆55Updated last year