Bramas / hotcrp-docker-composeLinks
An easy docker-compose deployement of hotcrp
☆18Updated 2 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☆368Updated this week
- Deadline countdowns for academic conferences in Security and Privacy☆745Updated last week
- ☆32Updated 4 months ago
- Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations☆63Updated 3 years ago
- Major CS conference publication stats (including accepted and submitted) by year.☆136Updated last month
- Material (mostly slides) for a graduate course on (formal) software analysis.☆32Updated 6 years ago
- ☆14Updated 7 months ago
- A Reading List of System Configuration Management☆56Updated last year
- Tools and standards for conducting and evaluating research in software engineering☆312Updated 3 weeks ago
- This repository contains the dataset of our ISSTA 2018 paper: An Empirical Study on TensorFlow Program Bugs.☆30Updated 5 years ago
- The MiBench testsuite, extended for use in general embedded environments☆100Updated 12 years ago
- Resources on the Artifact Evaluation (AE) Process☆17Updated 4 years ago
- Statistics of acceptance rate for the top conferences: Oakland, CCS, USENIX Security, NDSS.☆172Updated 2 weeks ago
- ☆28Updated 2 years ago
- This repo collects the best papers from top 4 computer security conferences, including IEEE S&P, ACM CCS, USENIX Security, and NDSS.☆109Updated 4 months ago
- ☆22Updated last year
- Code from PLDI '21 paper "Provable Repair of Deep Neural Networks."☆10Updated 2 years ago
- Deadline countdowns for academic conferences in Software Engineering☆46Updated last month
- This is the implementation repository of our ICSE'22 paper: Muffin: Testing Deep Learning Libraries via Neural Architecture Fuzzing.☆32Updated 3 years ago
- Artifact for ESEC/FSE'23 paper "NeuRI: Diversifying DNN Generation via Inductive Rule Inference"☆31Updated last year
- Cycle Accurate Symbolic Timing Analysis of Network Functions☆10Updated 3 years ago
- ☆114Updated 2 years ago
- SPL Conqueror is a library to learn the influence of configuration options of configurable software systems on non-functional properties.☆24Updated last year
- PolyBench/C benchmark suite (version 4.2.1 beta) from http://web.cse.ohio-state.edu/~pouchet/software/polybench/☆107Updated 9 years ago
- Automatic DNN generation for fuzzing and more☆138Updated 7 months ago
- ☆65Updated 4 months ago
- New Cache implementation using Gem5☆13Updated 11 years ago
- Gem5 implementation of "InvisiSpec", a defense mechanism of speculative execution attacks on cache hierarchy.☆60Updated 5 years ago
- KLEE with floating point support (unmaintained)☆18Updated 3 years ago
- Automated program repair bibliography, tools and benchmarks.☆79Updated 4 months ago