lishangyu-hkust/OSVBench external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

lishangyu-hkust/OSVBench

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/lishangyu-hkust/OSVBench)

Close

lishangyu-hkust / OSVBenchView on GitHubMore

• External links
• Readme badge

(AAAI 2026) OSVBench, a new benchmark for evaluating Large Language Models (LLMs) in generating complete specification code pertaining to operating system kernel verification tasks.

☆13May 13, 2025Updated 9 months ago

Alternatives and similar repositories for OSVBench

Users that are interested in OSVBench are comparing it to the libraries listed below

• DeepSoftwareAnalytics / Telly

  View on GitHub
  Replication package for ISSTA2023 paper - Towards Efficient Fine-tuning of Pre-trained Code Models: An Experimental Study and Beyond
  ☆23Apr 9, 2023Updated 2 years ago
• wangyouze / Trust-videoLLMs

  View on GitHub
  ☆33Nov 25, 2025Updated 3 months ago
• juyongjiang / awesome-multi-modal-recommendation

  View on GitHub
  A curated list of awesome multi-modal recommendation.
  ☆10Mar 16, 2022Updated 3 years ago
• KegangWangCCNU / PhysBench

  View on GitHub
  A large-scale training and benchmarking framework for rPPG.
  ☆10Nov 26, 2024Updated last year
• shuzhenggao / ICL4code

  View on GitHub
  ☆12Aug 9, 2023Updated 2 years ago
• optimatch / optimatch

  View on GitHub
  ☆11May 14, 2024Updated last year
• isLinXu / OpenMMLab-Learn-Exercise

  View on GitHub
  openmmlab learn and exercise
  ☆11May 29, 2023Updated 2 years ago
• rtsao / css-in-js-perf-tests

  View on GitHub
  CSS-in-JS performance tests
  ☆10Jan 4, 2017Updated 9 years ago
• xyq7 / Human-Contribution-Measurement

  View on GitHub
  ☆13Jun 4, 2025Updated 8 months ago
• JohnnyPeng18 / TypeFix

  View on GitHub
  This is the tool released in ICSE 2024 paper "Domain Knowledge Matters: Improving Prompts with Fix Templates for Repairing Python Type Er…
  ☆17Jun 5, 2023Updated 2 years ago
• Sense-GVT / unig3d_point-e

  View on GitHub
  ☆15May 17, 2023Updated 2 years ago
• interpolants / couplings

  View on GitHub
  ☆11Jun 3, 2024Updated last year
• shuzhenggao / sbllm

  View on GitHub
  ☆14Aug 18, 2025Updated 6 months ago
• LiuJF1226 / Mono4DGS-HDR

  View on GitHub
  [ICLR 2026] Mono4DGS-HDR: High Dynamic Range 4D Gaussian Splatting from Alternating-exposure Monocular Videos
  ☆26Jan 26, 2026Updated last month
• MiZhenxing / alpha_visualizer

  View on GitHub
  Visualizing point clouds with transparency in Switch-NeRF (ICLR2023)
  ☆13Mar 27, 2023Updated 2 years ago
• stevejaehyeok / MoCo-NeRF

  View on GitHub
  ☆11Jul 17, 2024Updated last year
• pial08 / SemVulDet

  View on GitHub
  ☆10Jul 19, 2023Updated 2 years ago
• giorgiomarcias / MPMCThreadPool

  View on GitHub
  A flexible, fast, multiple-producer, thread pool
  ☆14Nov 24, 2017Updated 8 years ago
• cuixiaorui / mini-vite

  View on GitHub
  实现 mini vite ，学习 vite 原理
  ☆13Sep 19, 2021Updated 4 years ago
• rubeea / focal_phi_loss_mmsegmentation

  View on GitHub
  ☆13Dec 13, 2022Updated 3 years ago
• ReliableCoding / REPEAT

  View on GitHub
  ☆10Apr 15, 2023Updated 2 years ago
• qingsongedu / ICML2022-FEDformer

  View on GitHub
  Source code of ICML'22 paper: FEDformer: Frequency Enhanced Decomposed Transformer for Long-term Series Forecasting
  ☆10Jun 10, 2022Updated 3 years ago
• ali-ghanbari / deepmufl-ase-2023

  View on GitHub
  Mutation-based Fault Localization of Deep Neural Networks
  ☆10Jan 25, 2024Updated 2 years ago
• iSEngLab / LLM4UT_Empirical

  View on GitHub
  [ISSTA 2025] A Large-scale Empirical Study on Fine-tuning Large Language Models for Unit Testing
  ☆13Feb 9, 2025Updated last year
• CocaVul / Coca

  View on GitHub
  Code for ICSE'24 Paper
  ☆14Apr 21, 2024Updated last year
• juyongjiang / VFedPCA-VFedAKPCA

  View on GitHub
  Source Code & Datasets for "Vertical Federated Principal Component Analysis and Its Kernel Extension on Feature-wise Distributed Data"
  ☆11May 20, 2022Updated 3 years ago
• squaresLab / SOAR

  View on GitHub
  Synthesis API Refactor
  ☆12May 17, 2022Updated 3 years ago
• ASE-REEF / REEF-script

  View on GitHub
  ☆15Aug 26, 2023Updated 2 years ago
• zhongyingji / CVT-xRF

  View on GitHub
  CVT-xRF: Contrastive In-Voxel Transformer for 3D Consistent Radiance Fields from Sparse Inputs (CVPR2024)
  ☆17Jun 14, 2024Updated last year
• sevenc-nanashi / roblotwitter

  View on GitHub
  Honeypot.
  ☆12Apr 8, 2024Updated last year
• zhangj111 / ConditionBugs

  View on GitHub
  ☆15Jan 17, 2024Updated 2 years ago
• Xin-Cheng-Wen / Comment4Vul

  View on GitHub
  ☆18Mar 18, 2024Updated last year
• ml-resources / neuralnetwork-programming

  View on GitHub
  Neural Networks with Tensorflow
  ☆12Jun 9, 2018Updated 7 years ago
• Xin-Cheng-Wen / LIVABLE

  View on GitHub
  ☆13Feb 29, 2024Updated 2 years ago
• nchen909 / CodeAttention

  View on GitHub
  CAT-probing: A Metric-based Approach to Interpret How Pre-trained Models for Programming Language Attend Code Structure, EMNLP 2022
  ☆13Dec 10, 2022Updated 3 years ago
• llm-conditioned-diffusion / OmniDiffusion

  View on GitHub
  ☆14Jul 17, 2024Updated last year
• awsm-research / ChatGPT4Vul

  View on GitHub
  ☆16Nov 24, 2023Updated 2 years ago
• WIP2022 / DataSampling4DLVD

  View on GitHub
  ☆14Mar 1, 2023Updated 2 years ago
• DandanGuo1993 / reweight-imbalance-classification-with-OT

  View on GitHub
  ☆13Nov 8, 2022Updated 3 years ago