Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations
☆69Dec 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.☆12Jun 30, 2023Updated 2 years ago
- Tools and standards for conducting and evaluating research in software engineering☆326Apr 28, 2026Updated last month
- toolsuite for analyzing cpp-preprocessor-based software product lines☆13Jul 19, 2023Updated 2 years ago
- ☆13Jan 18, 2025Updated last year
- Git Cheat Sheet 📄💻☆19Mar 1, 2018Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 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
- Code and Data for: Reading Between the Lines: Modeling User Behavior and Costs in AI-Assisted Programming☆33Feb 23, 2024Updated 2 years ago
- "FAST Approaches to Scalable Similarity-based Test Case Prioritization" online material.☆14Mar 27, 2018Updated 8 years ago
- ☆16Mar 22, 2024Updated 2 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 6 years ago
- Awesome material(papers, tools, etc.) about testing machine learning system, including deep learning system.☆47Oct 12, 2021Updated 4 years ago
- Gaze-based Source Code Navigation for Brackets.io☆11Feb 22, 2017Updated 9 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.
- Automated program repair bibliography, tools and benchmarks.☆84Apr 7, 2025Updated last year
- Feature-Oriented and Distributed Version Control System☆19Feb 24, 2026Updated 3 months ago
- A Variability-Aware Interpreter for Java Applications☆11Oct 13, 2020Updated 5 years ago
- ☆55May 13, 2025Updated last year
- Code for the ICLR 2019 paper "Learning to Represent Edits"☆13Dec 8, 2022Updated 3 years ago
- This is the dataset for our TSE paper "Defining Smart Contracts Defects on Ethereum"☆17Dec 28, 2024Updated last year
- Replication package for ICSE2022 paper: On the Evaluation of Neural Code Summarization☆29Sep 20, 2022Updated 3 years ago
- 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.
- Software Tools in JavaScript☆30Mar 5, 2023Updated 3 years ago
- ☆24Nov 14, 2025Updated 7 months ago
- Code for "Error-driven Fixed-Budget ASR Personalization for Accented Speakers" in ICASSP 2021☆11Jun 13, 2021Updated 5 years ago
- This repository contains some introduction (source code and a thorough description) to concurrency programming in Java.☆10Oct 29, 2023Updated 2 years ago
- Woodpecker: Verifying systems rules using rule-directed symbolic execution☆12Jul 5, 2016Updated 9 years ago
- 北大树洞爬虫☆11Jul 30, 2020Updated 5 years ago
- COLEMAN (Combinatorial VOlatiLE Multi-Armed BANdit) - and strategies for HCS context☆23May 29, 2026Updated 3 weeks ago
- Evaluation of source authorship attribution tool☆24Jun 5, 2021Updated 5 years ago
- ☆74Feb 20, 2023Updated 3 years ago
- 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.
- CodexLeaks: Privacy Leaks from Code Generation Language Models in GitHub Copilot☆11Jul 11, 2023Updated 2 years ago
- A database of crash (exception) bugs for Android apps☆21Jan 8, 2024Updated 2 years ago
- DesignWizard (https://sites.google.com/site/designwizardhomepage/) supports automated inspection of Java programs in a higher level than …☆17Jan 28, 2019Updated 7 years ago
- Restoring Execution Environments of Jupyter Notebooks☆21May 29, 2023Updated 3 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"☆58Mar 20, 2024Updated 2 years ago
- Official code of our work, AVATAR: A Parallel Corpus for Java-Python Program Translation.☆59Jul 31, 2024Updated last year