Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations
☆68Dec 11, 2021Updated 4 years ago
Alternatives and similar repositories for submission-checker
Users that are interested in submission-checker are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A collection of publications that works on code models but beyond focusing on the accuracies.☆13Jun 30, 2023Updated 2 years ago
- Tools and standards for conducting and evaluating research in software engineering☆326Apr 28, 2026Updated last week
- toolsuite for analyzing cpp-preprocessor-based software product lines☆13Jul 19, 2023Updated 2 years ago
- ☆16Apr 21, 2021Updated 5 years ago
- ☆13Jan 18, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Git Cheat Sheet 📄💻☆19Mar 1, 2018Updated 8 years ago
- An Extensible Java Bug Benchmark for Automatic Program Repair Studies☆38Mar 4, 2024Updated 2 years ago
- This repository the benchmark with 3902 defects extracted from C programs in Codeforces (http://codeforces.com/)☆44Nov 18, 2020Updated 5 years ago
- Autoreject.org — An automatic review generator☆69Jan 28, 2024Updated 2 years ago
- Code and Data for: Reading Between the Lines: Modeling User Behavior and Costs in AI-Assisted Programming☆33Feb 23, 2024Updated 2 years ago
- ICSE 2021 Artifact for: Shipwright: A Human-in-the-Loop System for Dockerfile Repair.☆23May 11, 2021Updated 4 years ago
- "FAST Approaches to Scalable Similarity-based Test Case Prioritization" online material.☆14Mar 27, 2018Updated 8 years ago
- [ICLR 2021] "Generating Adversarial Computer Programs using Optimized Obfuscations" by Shashank Srikant, Sijia Liu, Tamara Mitrovska, Shi…☆32Nov 15, 2021Updated 4 years ago
- A list of upcoming mob programming sessions that you can attend remotely.☆24May 11, 2020Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Awesome material(papers, tools, etc.) about testing machine learning system, including deep learning system.☆47Oct 12, 2021Updated 4 years ago
- Automated program repair bibliography, tools and benchmarks.☆84Apr 7, 2025Updated last year
- Feature-Oriented and Distributed Version Control System☆19Feb 24, 2026Updated 2 months ago
- A Variability-Aware Interpreter for Java Applications☆11Oct 13, 2020Updated 5 years ago
- Code for the ICLR 2019 paper "Learning to Represent Edits"☆13Dec 8, 2022Updated 3 years ago
- ☆55May 13, 2025Updated 11 months ago
- This is the dataset for our TSE paper "Defining Smart Contracts Defects on Ethereum"☆17Dec 28, 2024Updated last year
- A Java version of the automatic program repair described by RSRepair and GenProg.☆11Jan 6, 2016Updated 10 years ago
- AutoenCODE is a Deep Learning infrastructure that allows to encode source code fragments into vector representations, which can be used t…☆62Mar 29, 2018Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Coursework of SUSTech CS323 Compilers☆23Dec 17, 2019Updated 6 years ago
- Code for "Error-driven Fixed-Budget ASR Personalization for Accented Speakers" in ICASSP 2021☆11Jun 13, 2021Updated 4 years ago
- Woodpecker: Verifying systems rules using rule-directed symbolic execution☆12Jul 5, 2016Updated 9 years ago
- Overview of Clone Detection Tools for Java☆14Aug 23, 2025Updated 8 months ago
- Evaluation of source authorship attribution tool☆24Jun 5, 2021Updated 4 years ago
- ☆74Feb 20, 2023Updated 3 years ago
- CodexLeaks: Privacy Leaks from Code Generation Language Models in GitHub Copilot☆11Jul 11, 2023Updated 2 years ago
- PL/SE conference deadline countdowns☆19Nov 23, 2020Updated 5 years ago
- A database of crash (exception) bugs for Android apps☆21Jan 8, 2024Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Tool for semantic querying of Rust code.☆13Jan 19, 2020Updated 6 years ago
- Restoring Execution Environments of Jupyter Notebooks☆21May 29, 2023Updated 2 years ago
- A scrapy crawler that crawls problems and its best solutions on codeforces.com☆13Feb 25, 2016Updated 10 years ago
- The dataset for the variable-misuse task, used in the ICLR 2020 paper 'Global Relational Models of Source Code' [https://openreview.net/f…☆22Aug 19, 2020Updated 5 years ago
- Notes for Database Principles Course☆14May 25, 2018Updated 7 years ago
- Node.fz: Trigger race conditions in your Node.js code in test, not production.☆42Aug 31, 2020Updated 5 years ago
- Releasing code for "ReCode: Robustness Evaluation of Code Generation Models"☆59Mar 20, 2024Updated 2 years ago