流霞祭司曌曦潆 (zhaosiying12138)

zhaosiying12138

Geek Repo

Company:流月城先进偃甲技术研究院

Location:无言伽蓝

Home Page:https://www.zhihu.com/people/zhaosiying12138

Github PK Tool:Github PK Tool

流霞祭司曌曦潆's repositories

PDG_demo

A toy implementation about Program Dependence Graph using LLVM

Language:C++Stargazers:10Issues:2Issues:0

klee

Implement PDG AutoVectorization on KLEE Symbolic Execution Engine

Language:C++License:NOASSERTIONStargazers:3Issues:0Issues:0

Reduciablility_Demo

A toy implement about Testing Reduciablility of any Flowgraph

Language:C++Stargazers:3Issues:1Issues:0
Stargazers:1Issues:0Issues:0

gpgpu-sim_distribution

GPGPU-Sim provides a detailed simulation model of contemporary NVIDIA GPUs running CUDA and/or OpenCL workloads. It includes support for features such as TensorCores and CUDA Dynamic Parallelism as well as a performance visualization tool, AerialVisoin, and an integrated energy model, GPUWattch.

Language:C++License:NOASSERTIONStargazers:1Issues:0Issues:0

CMU-program-analysis.github.io

Public-facing course info for program analysis materials.

Language:TeXLicense:GPL-3.0Stargazers:0Issues:0Issues:0
Language:JavaStargazers:0Issues:0Issues:0

isl

Integer Set Library (source repository: http://repo.or.cz/w/isl.git)

Language:CLicense:MITStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

trt-samples-for-hackathon-cn

Simple samples for TensorRT programming

Language:Jupyter NotebookLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0