Built something? We create video reels & spotlights for GitHub projects.Promote your project →
Catalog / zhaoxiahust / klee_modify
Public GitHub Catalog Discovered Sep 25, 2026

zhaoxiahust / klee_modify

modify klee to support thread and multiloop

View repository on GitHub ↗ View creator profile Browse directory

About this discovery

Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.

#3436372GitHub System ID
zhaoxiahustOrganization / User
PublicVisibility
ActiveCatalog Status

More from zhaoxiahust

↗

zhaoxiahust/GPGPU-sim_LowCostNoC

In this project, I design a Low-Cost NoC for GPGPU based on its traffic characteristics. After my paper is accepted, the source code would be published to the public

Discovered
↗

zhaoxiahust/GPGPU-sim_CheckBoard

In this project, I recover the work of Micro10 ``Throughput-effective on-chip networks for manycore accelerators''.

Discovered
↗

zhaoxiahust/GPGPU-sim_MultiNode

A version of GPGPU-sim that can use multiple compute nodes to accelerate its simulation speed. It can accelerate the simulation by a factor of up to 3.9 with a maximum error rate of 0.11\% on four simulation hosts. The detailed information is in "Exploiting Parallelism in the Simulation of GPGPU Program"

Discovered
↗

zhaoxiahust/GPGPU-sim_MultiCore

In this project, I use pthread to parallel the simulation of GPGPU-sim. If you want to learn more detail information, you can find my paper "Exploiting Parallelism in the Simulation of GPGPU Program"

Discovered
FOR MAINTAINERS

Built something? Put it in front of millions of developers.

We make a short reel about your project and post it across YouTube, Instagram, Threads, and X. Send a link, we do the rest.