Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations
☆66Dec 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:
- ☆18Mar 10, 2026Updated 2 weeks ago
- toolsuite for analyzing cpp-preprocessor-based software product lines☆12Jul 19, 2023Updated 2 years ago
- ☆13Jan 18, 2025Updated last year
- 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
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- 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
- ICSE 2021 Artifact for: Shipwright: A Human-in-the-Loop System for Dockerfile Repair.☆23May 11, 2021Updated 4 years ago
- IntelliJ & Eclipse plugin for monitoring how Java applications are developed and tested☆19Oct 17, 2018Updated 7 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 5 years ago
- Awesome material(papers, tools, etc.) about testing machine learning system, including deep learning system.☆47Oct 12, 2021Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Gaze-based Source Code Navigation for Brackets.io☆11Feb 22, 2017Updated 9 years ago
- Automated program repair bibliography, tools and benchmarks.☆84Apr 7, 2025Updated 11 months ago
- Feature-Oriented and Distributed Version Control System☆19Feb 24, 2026Updated last month
- 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
- Software Tools in JavaScript☆30Mar 5, 2023Updated 3 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Materials for my PyData Boston 2013 talk☆15Sep 26, 2013Updated 12 years ago
- Coursework of SUSTech CS323 Compilers☆23Dec 17, 2019Updated 6 years ago
- ☆24Nov 14, 2025Updated 4 months ago
- This repository contains some introduction (source code and a thorough description) to concurrency programming in Java.☆10Oct 29, 2023Updated 2 years ago
- Code for "Error-driven Fixed-Budget ASR Personalization for Accented Speakers" in ICASSP 2021☆11Jun 13, 2021Updated 4 years ago
- SeMoDe is a tool to support lifecycle activites of Serverless functions on different platforms. Currently automated test generation on AW…☆14Jul 26, 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☆23Updated this week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Overview of Clone Detection Tools for Java☆14Aug 23, 2025Updated 7 months ago
- Evaluation of source authorship attribution tool☆23Jun 5, 2021Updated 4 years ago
- ☆74Feb 20, 2023Updated 3 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
- 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