Bramas / hotcrp-docker-compose
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
- HotCRP conference review software☆358Updated this week
- ☆30Updated 3 weeks ago
- Major CS conference publication stats (including accepted and submitted) by year.☆122Updated 3 weeks ago
- Graspan-G is a GPU-based version of Graspan.☆9Updated 3 years ago
- Automatic detection of speculative information flows☆68Updated 3 years ago
- Artifact for ESEC/FSE'23 paper "NeuRI: Diversifying DNN Generation via Inductive Rule Inference"☆31Updated last year
- This is the implementation repository of our ICSE'22 paper: Muffin: Testing Deep Learning Libraries via Neural Architecture Fuzzing.☆30Updated 2 years ago
- Configuration dependency analysis for cloud software☆23Updated 3 years ago
- configuration evolution dataset☆17Updated 4 years ago
- A Reading List of System Configuration Management☆56Updated 8 months ago
- a data collection of related work: Toward Understanding Deep Learning Framework Bugs☆15Updated last year
- ☆74Updated 2 years ago
- FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22☆27Updated 2 years ago
- LaTeX templates for papers☆46Updated 6 years ago
- Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)☆77Updated 2 years ago
- Software Artifacts for the paper "TDXdown: Single-Stepping and Instruction Counting Attacks against Intel TDX"☆14Updated 6 months ago
- This is the implement repository of our upcoming ESEC/FSE 2020 paper: Deep Learning Library Testing via Effective Model Generation.☆54Updated last year
- Gem5 implementation of "InvisiSpec", a defense mechanism of speculative execution attacks on cache hierarchy.☆60Updated 5 years ago
- Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations☆61Updated 3 years ago
- Statistics of acceptance rate for the top conferences: Oakland, CCS, USENIX Security, NDSS.☆145Updated 2 months ago
- Material (mostly slides) for a graduate course on (formal) software analysis.☆32Updated 5 years ago
- This is the artifact for paper “Are Machine Learning Cloud APIs Used Correctly? (#421)” in ICSE2021☆15Updated 4 years ago
- ACM consolidated LaTeX styles☆67Updated 6 years ago
- Resources on the Artifact Evaluation (AE) Process☆17Updated 4 years ago
- ☆49Updated 3 years ago
- Public release items for the DARPA Space/Time Analysis for Cybersecurity (STAC) program☆27Updated 7 years ago
- The MiBench testsuite, extended for use in general embedded environments☆93Updated 12 years ago
- Architecture-level Fault Injection Tool for GPU Application Resilience Evaluation☆60Updated last year
- Code from PLDI '21 paper "Provable Repair of Deep Neural Networks."☆10Updated 2 years ago
- KLEE with floating point support (unmaintained)☆18Updated 3 years ago