Qi-Zhan / BrowsingYearReviewLinks
快来生成你的浏览记录年度总结!
☆14Updated 9 months ago
Alternatives and similar repositories for BrowsingYearReview
Users that are interested in BrowsingYearReview are comparing it to the libraries listed below
Sorting:
- List of research papers of ICSE, FSE, ASE, and ISSTA since 2020.☆29Updated 2 weeks ago
- MetaMut is a mutation operator generator to facilitate compiler fuzzing.☆26Updated 9 months ago
- TonyCrane's slide template for reveal-md☆106Updated last year
- 使用命令行登录南京大学校园网(p.nju.edu.cn)，统一身份验证方式，相关功能已集成入NJUlogin( https://github.com/Do1e/NJUlogin )☆31Updated last year
- The First International Workshop on Large Language Model for Code 2024 (Co-Located with ICSE 2024)☆17Updated last year
- ✅SRepair: Powerful LLM-based Program Repairer with $0.029/Fixed Bug☆70Updated last year
- Solutions to "Introduction to Models of Computation" of Nanjing University☆62Updated 7 years ago
- Datasets and code for the CRUST-bench paper.☆30Updated this week
- ☆12Updated 3 years ago
- CAShift: Benchmarking Log-Based Cloud Attack Detection under Normality Shift (FSE 2025)☆12Updated 4 months ago
- Local test cases for SysY compilers, used by compiler-dev.☆23Updated 3 years ago
- patch presence test via symbolic signatures, ICSE'24☆12Updated last year
- 南京大学软件学院毕业论文书写规范要求☆25Updated 4 months ago
- 北京大学信息科学技术学院《开源软件技术》课程材料 // Course Materials for “Open Source Software Development and Technology” at School of EECS, Peking University☆110Updated last week
- 浙江大学Beamer模板☆15Updated 3 years ago
- Source Code for "Exploring and Unleashing the Power of Large Language Models in Automated Code Translation"☆23Updated 2 months ago
- 新燕园人的私人班车助手（非官方）。☆66Updated 2 months ago
- 南京大学统一身份认证登录模块，可用于登录校园各种网站☆28Updated 2 weeks ago
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆73Updated 2 months ago
- 2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)☆212Updated 6 months ago
- [SOSP'25] Automatic checker synthesis for system-level static analysis☆68Updated last week
- 实现南京大学标准配色方案和标识☆27Updated 2 years ago
- ☆43Updated 2 months ago
- My solutions to NJU Static Program Analysis assignments: https://tai-e.pascal-lab.net/en/intro/overview.html☆51Updated 3 years ago
- RISC-V SingleCycle/Pipeline CPU (lab of ZJU Computer System Series)☆14Updated 2 years ago
- Artifact repository for the paper "Lost in Translation: A Study of Bugs Introduced by Large Language Models while Translating Code", In P…☆49Updated 5 months ago
- The source code of project "LLift" (Enhancing static analysis with LLM)☆77Updated last year
- *WIP* 计算机类实验文档降压宝典（编写规范）☆29Updated 7 months ago
- Pip compatible CodeBLEU metric implementation available for linux/macos/win☆115Updated 6 months ago
- ☆18Updated last year