This is the project repository of our ESEC/FSE 2021 paper: A Comprehensive Study of Deep Learning Compiler Bugs.
☆24Aug 15, 2023Updated 3 years ago
Alternatives and similar repositories for DLCstudy
Users that are interested in DLCstudy are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This is the project repository of our ASE22 paper: Natural Test Generation for Precise Testing of Question Answering Software☆14Dec 1, 2022Updated 3 years ago
- a data collection of related work: Toward Understanding Deep Learning Framework Bugs☆18Oct 23, 2023Updated 3 years ago
- GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing (ISSTA‘23)☆17Jul 19, 2023Updated 3 years ago
- A Computational Graph Generator for AI Compiler Fuzzing☆16May 31, 2023Updated 3 years ago
- Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.☆71Mar 9, 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.
- [CIKM 2023] GUARD: Graph Universal Adversarial Defense☆11Feb 27, 2024Updated 2 years ago
- Revisiting Cache Side-Channel Attacks in Deep Neural Networks Executables☆14Aug 27, 2024Updated 2 years ago
- [COLING25] CodeJudge Eval: Can Large Language Models be Good Judges in Code Understanding?☆12Dec 3, 2024Updated last year
- This is the implement repository of our upcoming ESEC/FSE 2020 paper: Deep Learning Library Testing via Effective Model Generation.☆57Oct 29, 2023Updated 3 years ago
- ☆14Jul 3, 2019Updated 7 years ago
- Data and code for "Chain-of-Thought in Neural Code Generation: From and For Lightweight Language Models", which accepted in TSE.☆16Jul 3, 2024Updated 2 years ago
- ☆11Nov 6, 2022Updated 3 years ago
- ☆17Apr 15, 2025Updated last year
- This is the open-source version of TinyTS. The code is dirty so far. We may clean the code in the future.☆22Aug 11, 2025Updated last year
- 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.
- LLM inference with HuggingFace (experimental)☆11Feb 6, 2025Updated last year
- A random Solidity program generator.☆134Jan 4, 2026Updated 9 months ago
- For our ISSTA22 paper "DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions" by Danning Xie, Yitong Li, Mijung Ki…☆40Jul 19, 2022Updated 4 years ago
- LSE recruitment 2016 - Memory Checker☆11Jul 3, 2016Updated 10 years ago
- clfs CVE 的一些 POC 收集☆15Oct 27, 2022Updated 4 years ago
- pytorch版损失函数，改写自科学空间文章，【通过互信息思想来缓解类别不平衡问题】、【将“softmax+交叉熵”推广到多标签分类问题】☆12Aug 22, 2021Updated 5 years ago
- ☆10Sep 14, 2019Updated 7 years ago
- ☆20Mar 6, 2023Updated 3 years ago
- For our ICSE23 paper "Impact of Code Language Models on Automated Program Repair" by Nan Jiang, Kevin Liu, Thibaud Lutellier, and Lin Tan☆66Oct 16, 2024Updated 2 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.
- Thesis for my masters in Computer Science☆11Jul 10, 2017Updated 9 years ago
- Open ML Compiler Foundation for the Agentic Era☆30Updated this week
- For our ISSTA'23 paper ACETest: Automated Constraint Extraction for Testing Deep Learning Operators☆17Apr 28, 2026Updated 6 months ago
- Implementation of the model from "Faster sorting algorithms discovered using deep reinforcement learning" that discovered an all-new ult…☆11Aug 29, 2023Updated 3 years ago
- 这是关于软件工程课程设计的代码仓库，我们的项目将计划针对“海外藏中国文物”进行信息采集、关于及在线服务☆16May 24, 2023Updated 3 years ago
- ExtendJ is a Java compiler implemented in reference attribute grammars using JastAdd.☆14Oct 24, 2026Updated last week
- A summary of ideas about transpilation -- work in progress☆23Jun 2, 2023Updated 3 years ago
- Lean4 formalization of "A Simplified Round-by-round Soundness Proof of FRI"☆11Apr 1, 2026Updated 7 months ago
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆14Jul 29, 2026Updated 3 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆13Oct 1, 2026Updated last month
- ☆14Dec 24, 2024Updated last year
- Proposal for the next generation of course-oriented IR.☆10Dec 24, 2021Updated 4 years ago
- ☆48Oct 27, 2025Updated last year
- Repository of experiment for the paper☆10Feb 5, 2024Updated 2 years ago
- Artifact for ESEC/FSE'23 paper "NeuRI: Diversifying DNN Generation via Inductive Rule Inference"☆33Nov 13, 2023Updated 2 years ago
- Graspan-G is a GPU-based version of Graspan.☆10May 26, 2021Updated 5 years ago