GeeLaw / bio-siteLinks
Yet another academic homepage builder.
☆25Updated 5 years ago
Alternatives and similar repositories for bio-site
Users that are interested in bio-site are comparing it to the libraries listed below
Sorting:
- My Curriculum Vitae☆62Updated 4 years ago
- ☆77Updated 3 years ago
- Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.☆70Updated 2 years ago
- Chinese Translation for Philip Guo's The PhD Grind☆87Updated 2 years ago
- PyTorch compilation tutorial covering TorchScript, torch.fx, and Slapo☆17Updated 2 years ago
- https://nnsmith-asplos.rtfd.io Artifact of "NNSmith: Generating Diverse and Valid Test Cases for Deep Learning Compilers" ASPLOS'23☆11Updated 2 years ago
- 北京大学本科生毕业论文 latex 模版，基于 pkuthss 1.9.0 修改☆26Updated 3 years ago
- TVMFuzz: fuzzing tensor-level intermediate representation in TVM☆30Updated 5 years ago
- This is the project repository of our ESEC/FSE 2021 paper: A Comprehensive Study of Deep Learning Compiler Bugs.☆23Updated 2 years ago
- ☆15Updated 3 years ago
- a data collection of related work: Toward Understanding Deep Learning Framework Bugs☆16Updated 2 years ago
- https://csstipendrankings.org☆216Updated last month
- My paper/code reading notes in Chinese☆46Updated 5 months ago
- DafnyBench: A Benchmark for Formal Software Verification☆49Updated 11 months ago
- A tool for cross-checking Verilog compilers☆13Updated 6 months ago
- Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.☆21Updated 5 years ago
- GPU-enabled Hardware Fuzzer using Genetic Algorithm☆19Updated 2 years ago
- Book reading☆15Updated 5 years ago
- AutoCAT: Reinforcement Learning for Automated Exploration of Cache-Timing Attacks☆46Updated 2 years ago
- A source-to-source compiler for optimizing CUDA dynamic parallelism by aggregating launches☆15Updated 6 years ago
- Code associated with the paper **Fine-tuning Language Models over Slow Networks using Activation Compression with Guarantees**.☆27Updated 2 years ago
- General system research material (not limited to paper) reading notes.☆22Updated 4 years ago
- MobiSys#114☆22Updated 2 years ago
- PKU LaTeX☆64Updated 2 weeks ago
- 兆京大学班车预约 for Humans™☆29Updated last week
- Some CS notes during Jiawei's undergrad.☆32Updated 3 years ago
- This repo stores a more profound view of Computer Architecture: A Quantitative Approach that tells multi-tenancy, virtualize, fine graine…☆26Updated last year
- ☆26Updated 4 years ago
- LLM4HWDesign Starting Toolkit☆18Updated last year
- The MiniDecaf compilers.☆67Updated 4 years ago