Archive

2026

Jul 26 Compiled Cognition: When Agents Should Stop Thinking Jan 31 从一到万的屠龙魔法书（4）：[CGO'26 C4ML] 通向编译器自我进化之路：用AlphaEvolve进化LLVM/XLA Jan 26 从一到万的屠龙魔法书（3）：[ICLR'26] HeuriGym：评测智能体解组合优化--迎接LLM的下半场 Jan 20 从一到万的屠龙魔法书（2）：Dato：面向数据流架构的Task编程模型 Jan 15 从一到万的屠龙魔法书（1）：[CGO'26] 面向Hopper和Blackwell GPU的自动化warp specialization

2025

Dec 31 PhD第四年 - 加速世界中的存在主义

2024

Dec 31 PhD第三年 - 漂泊与归途 May 27 Allo：用软件方法论设计硬件加速器 Apr 28 ASPLOS'24 Attendence Summary

2023

Dec 28 剖析 FPGA 加速大模型推理的潜力 Sep 11 PhD第二年 - 自由而热烈 Apr 17 NSDI'23 Attendence Summary Mar 31 ASPLOS'23 Virtual Attendence Summary Feb 01 Tips for CS PhD Application

2022

Oct 02 Challenge of Data Layout in High-Level Synthesis Sep 01 PhD第一年 - 启程新世界

2021

Jun 10 CCC2021 Jun 05 HLS Examples May 22 2021 Fall CS PhD 申请回顾 Apr 11 C++动态库生成与调用 Jan 19 Pynq & Zynq SoC Tutorial Jan 18 VizTracer Jan 08 Matplotlib Snippets

2020

Dec 01 DGL分布式训练 Oct 15 HLS for Deep Learning Applications May 12 Jekyll/Liquid使用指南 May 08 Overleaf服务器端配置 May 01 Binary Neural Network (BNN) Apr 26 HeteroCL安装 Apr 23 Property buffers for concurrent graph jobs Apr 20 LaTeX常用格式调整指南 Apr 13 Intel ICPC Compiler Apr 07 Bash指令速查 Apr 06 PageRank Delta Apr 02 TVM - Relay IR Pass Mar 31 VS Code远端服务器(WSL/SSH)配置 Mar 26 TVM Overview Mar 26 TVM - 代码生成流程 Mar 25 TVM - Relay IR计算图可视化 Mar 24 静态程序分析 (SPA) Mar 21 TVM - GCN Mar 20 TVM - GEMM优化 Mar 19 TVM - Tensor Expression Mar 19 再谈DSL Mar 17 TVM - 安装 Mar 11 Vivado HLS in a Nutshell Mar 10 图表示学习（4）- 图神经网络加速器 Mar 05 软件2.0时代与TVM Mar 04 图表示学习（3）- 图神经网络系统 Feb 24 图表示学习（0）- 图的基本理论 Feb 10 图表示学习（2）- 图神经网络 Feb 06 图表示学习（1）- 图嵌入 Feb 01 程序综合与编译

2019

Sep 15 CCF-ADL-105《面向大数据的系统软件与系统结构》 Jul 31 机器学习与组合优化 Jul 23 Pin动态指令分析工具 Jul 14 LegUp使用及源码分析 Jun 27 配色与字体索引 Jun 27 Git操作指南 May 11 分布式深度学习-基本概念 Apr 29 Continuous Passing Style (CPS) Apr 21 关系型/非关系型数据库 Apr 02 性能分析器 Apr 01 C++模板元编程 Mar 31 C++面向对象编程 Mar 31 C++泛型编程 Mar 31 C/C++计时 Mar 20 网络编程——套接字 Mar 16 gdb调试指南 Mar 16 C与汇编混编 Mar 14 RPC通信协议 Mar 14 C/C++多线程 Mar 14 C语言常用操作 Mar 11 OS初始化 Mar 07 x86架构与汇编语言 Mar 05 操作系统环境配置 Mar 03 AVX指令集 Feb 27 原子操作 Feb 25 Skylake架构简析 Feb 24 Makefile编写规则 Feb 22 LLVM Feb 19 CPU/内存监视器 Feb 16 Prolog入门 Feb 15 静态程序分析 Feb 15 CS-Related Books & Courses (Updating) Feb 13 黄金时代！ Feb 12 高层次综合 Feb 12 领域特定语言 Feb 11 GRE官方索引(OG) Feb 09 缘生Halide Feb 08 高级编程语言vs硬件描述语言 Feb 08 FPGA结构、编译与应用 Feb 08 Tensor Virtual Machine (TVM) Jan 31 Tools Setup! Jan 31 深度学习框架与图分析框架的异同 Jan 30 Why blog?