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☆364Updated this week
- Deadline countdowns for academic conferences in Security and Privacy☆735Updated last week
- ☆22Updated last year
- ☆32Updated 3 months ago
- configuration evolution dataset☆18Updated 4 years ago
- This repository contains the dataset of our ISSTA 2018 paper: An Empirical Study on TensorFlow Program Bugs.☆30Updated 5 years ago
- A Reading List of System Configuration Management☆56Updated 11 months ago
- Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations☆62Updated 3 years ago
- Statistics of acceptance rate for the top conferences: Oakland, CCS, USENIX Security, NDSS.☆165Updated last month
- Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)☆79Updated 2 years ago
- Material (mostly slides) for a graduate course on (formal) software analysis.☆32Updated 6 years ago
- [ICSE 2023] Differentiable interpretation and failure-inducing input generation for neural network numerical bugs.☆13Updated last year
- ACM consolidated LaTeX styles☆67Updated 6 years ago
- Major CS conference publication stats (including accepted and submitted) by year.☆134Updated last month
- Artifact for ESEC/FSE'23 paper "NeuRI: Diversifying DNN Generation via Inductive Rule Inference"☆31Updated last year
- This repo collects the best papers from top 4 computer security conferences, including IEEE S&P, ACM CCS, USENIX Security, and NDSS.☆103Updated 3 months ago
- ☆28Updated 2 years ago
- Testing Configuration Changes in Context to Prevent Production Failures☆31Updated last year
- Open-source release of "Last-Level Cache Side-Channel Attacks Are Feasible in the Modern Public Cloud" (ASPLOS '24)☆26Updated 4 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
- Automated program repair bibliography, tools and benchmarks.☆79Updated 4 months ago
- a data collection of related work: Toward Understanding Deep Learning Framework Bugs☆16Updated last year
- KLEE with floating point support (unmaintained)☆18Updated 3 years ago
- Code from PLDI '21 paper "Provable Repair of Deep Neural Networks."☆10Updated 2 years ago
- Cycle Accurate Symbolic Timing Analysis of Network Functions☆10Updated 3 years ago
- ☆27Updated last year
- Autoreject.org — An automatic review generator☆70Updated last year
- Proof-of-concept implementation of the Obelix software hardening framework, based on LLVM.☆11Updated last year
- Software Artifacts for the paper "TDXdown: Single-Stepping and Instruction Counting Attacks against Intel TDX"☆16Updated 9 months ago
- ☆74Updated 2 years ago