Deadline countdowns for academic conferences relevant to the SSE chair.
☆13Jun 25, 2026Updated last month
Alternatives and similar repositories for deadlines
Users that are interested in deadlines are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An external project example using SVF as a library☆23Jul 10, 2026Updated last month
- A web based translation compendium☆17Apr 28, 2020Updated 6 years ago
- A benchmark for evaluating embeddings of identifiers in source code.☆23Aug 23, 2021Updated 4 years ago
- Software-Defined GPS Signal Simulator☆15Aug 21, 2018Updated 7 years ago
- ☆11Jun 8, 2021Updated 5 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.
- A terminal feed reader for HN and Reddit, lobste.rs and Github Trending☆28May 14, 2026Updated 2 months ago
- A simple CTF platform in a single binary☆11Jun 21, 2020Updated 6 years ago
- Evaluating SZZ Implementations Through a Developer-informed Oracle (https://arxiv.org/abs/2102.03300)☆21Jun 1, 2023Updated 3 years ago
- 膨胀卷积，Multi Scale Context Aggregation by Dilated Convolutions的实现☆12Dec 24, 2017Updated 8 years ago
- ☆11Feb 16, 2024Updated 2 years ago
- ☆22Nov 17, 2021Updated 4 years ago
- ☆14Jan 11, 2025Updated last year
- GPS multipath simulation in Gazebo☆18Jul 12, 2023Updated 3 years ago
- A simple workspace based interface to the solidity-parser and objectified Abstract Syntax Tree☆17May 5, 2024Updated 2 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.
- An experimental Kotlin compiler in Rust.☆15May 13, 2020Updated 6 years ago
- A template for writing your Bachelor, Master or PhD thesis.☆11Sep 25, 2023Updated 2 years ago
- The ISLa (Input Specification Language) language & solver.☆73Jul 1, 2024Updated 2 years ago
- ☆12Nov 30, 2018Updated 7 years ago
- ☆13Feb 14, 2022Updated 4 years ago
- UAV simulation platform for development, testing, and research.☆22Jul 23, 2026Updated 3 weeks ago
- This repository is the replication package of the ICSE22 paper "FIRA: Fine-Grained Graph-Based Code Change Representation for Automated C…☆33Apr 20, 2022Updated 4 years ago
- Implemented Sports Action Recognition system using SVM classifier. First, extracted the features from each video frame from each categor…☆14Oct 15, 2019Updated 6 years ago
- StaticBugCheckers is an empirical study of the recall (i.e., how many of known bugs can we find) of state-of-the art static bug finding t…☆11Nov 12, 2018Updated 7 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- An easy docker-compose deployement of hotcrp☆21Sep 7, 2022Updated 3 years ago
- Implements consensus algorithms on fixed and time varying graphs☆20Aug 1, 2020Updated 6 years ago
- Extracts static code features from opencl kernels to be used for machine learning.☆10Apr 30, 2021Updated 5 years ago
- Human Activity Recognition using ML on UCI HAR dataset☆16Dec 13, 2014Updated 11 years ago
- The official codes for our paper at COLING 2022: Semantic-Preserving Adversarial Code Comprehension☆12Oct 23, 2022Updated 3 years ago
- Data for LLM4Vuln☆14Jan 28, 2024Updated 2 years ago
- 基于U-Net和V-Net的2.5D网络---用于肝脏肿瘤分割☆15Jul 5, 2020Updated 6 years ago
- ☆11Jul 20, 2021Updated 5 years ago
- Implementation of Faster RCNN for Vehicle Detection☆16May 17, 2017Updated 9 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- [ICSE 2023] Differentiable interpretation and failure-inducing input generation for neural network numerical bugs.☆13Jan 5, 2024Updated 2 years ago
- Các vấn đề hiện đại CNTT☆11Dec 4, 2017Updated 8 years ago
- A boilerplate for a Monorepo that manages separate independently versioned packages☆10Jan 7, 2023Updated 3 years ago
- Python tools to deal with flatbuffers: flatc.py and thrift2fbs.py. Forked from eleme/thriftpy.☆20Dec 9, 2025Updated 8 months ago
- Build Docker images for unibench☆17Jan 1, 2021Updated 5 years ago
- A lightweight tool to measure the full memory of a Python session☆19Mar 24, 2026Updated 4 months ago
- Source files from my Linux Sysadmin Blog☆13Mar 16, 2023Updated 3 years ago