This repo aims at providing a simple paper reading roadmap for beginners on some research topics in software engineering.
☆19Oct 14, 2021Updated 5 years ago
Alternatives and similar repositories for SE-Papers
Users that are interested in SE-Papers are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Open-source repository for the OOPSLA'24 paper "CYCLE: Learning to Self-Refine Code Generation"☆10Mar 8, 2024Updated 2 years ago
- ☆18Aug 11, 2022Updated 4 years ago
- ☆19Nov 12, 2025Updated 11 months ago
- Reverse Engineering Imperceptible Backdoor Attacks on Deep Neural Networks for Detection and Training Set Cleansing☆15Feb 18, 2021Updated 5 years ago
- This repo illustrates how to evaluate the artifacts in the paper An Extensive Study on Pre-trained Models for Program Understanding and G…☆26Aug 12, 2022Updated 4 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.
- Tree-LSTM + Self-Structured Attention -- a method to summarize textual data by topics☆10Apr 26, 2018Updated 8 years ago
- Code for "Message Scheduling for Performant, Many-Core Belief Propagation"☆13Oct 25, 2019Updated 7 years ago
- ☆12Mar 18, 2024Updated 2 years ago
- Software testing introduction. An introductory booklet written for friends who are interested in software quality assurance. 软件测试简介。为对软件质…☆30Jan 17, 2021Updated 5 years ago
- Implementation of the logging layer of our SOSP '23 paper Halfmoon☆11Jul 28, 2023Updated 3 years ago
- Benchmark workloads of Boki☆11Sep 8, 2021Updated 5 years 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
- Implementation of QFuzz.☆17Dec 3, 2021Updated 4 years ago
- Code for the paper "Embedding Java Classes with code2vec: Improvements from Variable Obfuscation" in MSR 2020☆32Mar 24, 2023Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆10Mar 20, 2020Updated 6 years ago
- Contains an implementation of ObjectWeb ASM's SimpleVerifier which does not load classes.☆11Jul 12, 2021Updated 5 years ago
- Launch an Ethereum sandbox from the command line☆13Jun 5, 2017Updated 9 years ago
- ☆13Jul 6, 2023Updated 3 years ago
- Dataset for ICSE 2020 paper "Repairing Deep Neural Networks: Fix Patterns and Challenges"☆10Feb 10, 2020Updated 6 years ago
- ☆15May 22, 2023Updated 3 years ago
- ☆13May 19, 2024Updated 2 years ago
- Fast and Precise On-the-fly Patch Validation for All☆10Feb 24, 2023Updated 3 years ago
- Extracting graph data from smart contract source code☆14Feb 28, 2023Updated 3 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.
- A Ghidra extension that allows you to run Angr symbolic execution using the Pcode from Ghidra.☆16Nov 11, 2021Updated 4 years ago
- A tool to connect SMT-based frontends to Lean4.☆20Oct 21, 2026Updated last week
- 第三代树洞加密算法概述☆32Mar 28, 2022Updated 4 years ago
- ☆12Aug 21, 2019Updated 7 years ago
- ExtendJ is a Java compiler implemented in reference attribute grammars using JastAdd.☆14Oct 3, 2026Updated 3 weeks ago
- Lean4 formalization of "A Simplified Round-by-round Soundness Proof of FRI"☆11Apr 1, 2026Updated 6 months ago
- ADD extracts features from patches such as repair patterns.☆13Oct 2, 2023Updated 3 years ago
- ☆11Nov 19, 2022Updated 3 years ago
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆14Jul 29, 2026Updated 3 months 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.
- ☆13Oct 1, 2026Updated 3 weeks ago
- Proposal for the next generation of course-oriented IR.☆10Dec 24, 2021Updated 4 years ago
- Data and scripts extending the ManyBugs and Defects4J benchmarks for evaluating applicability of automated program repair techniques.☆16Dec 10, 2017Updated 8 years ago
- Code and data for the ICSE 2025 paper "HumanEvo: An Evolving-aware Benchmark for More Realistic Evaluation of Repository-level Code Gener…☆13Feb 10, 2025Updated last year
- Fault Localization via Efficient Probabilistic Modeling of Program Semantics☆17Dec 15, 2025Updated 10 months ago
- 在线图书借阅系统 - 2017 THU OOP课大作业☆14Jul 1, 2018Updated 8 years ago
- A fault-tolerant RDMA-based disaggregated key-value store with 1-RTT UPDATEs and GETs thanks to the SWARM replication protocol☆14Sep 25, 2024Updated 2 years ago