magic3007 / autograd

🎈 A C++ code generator for the automatic derivation of tensors with linear indexes. Implementation for the lesson Compiling Technology(2020 Spring, advised by Yun Liang) in Peking University.

Hi there 👋

Hi, I'm Jing Mai, a third-year Ph.D. student 🚀 in the Department of Computer Science at Peking University associated with CECA. I am a member of the PKU-IDEA Lab, advised by 👨🏽‍💼Prof. @Yibo Lin.

My research focuses are machine learning-assisted EDA; my broader interests include MLSys, concurrency and probabilistic modeling.

Previously, I received the B.S. degree in Computer Science and Technology from Peking University in 2021.

I am also an open-source enthusiast and maintainer. I learned a lot from the open-source community and I love how collaboration and knowledge sharing happened through open-source.

📈 my github stats:

autograd's Issues

Meeting Progress[04/25/2020]

看懂下面给的资料, 得出思路

• Halide的一个自动求导工作 https://people.csail.mit.edu/tzumao/gradient_halide/gradient_halide.pdf
• Halide自动求导代码 https://github.com/halide/Halide/blob/master/src/Derivative.cpp
• TVM自动求导代码 apache/tvm#2498
• 二维卷积反向传播推导 https://zhuanlan.zhihu.com/p/61898234
• 线性下标变换下求导方法 https://arxiv.org/abs/1711.01348

下次开会时间: 05/16/2020 21:00

Meeting Progress[04/11/2020]

• 确认BNF @magic3007
• Token Analysis & Syntax Analysis. 了解lex & yacc的用法
• 提前了解lab2内容 @easypickings

下次开会时间:
04/18/2020 21:00

Meeting Progress[04/18/2020]

形如A[i,j] op B[j,k]的Einstein求和（op为*|/|//|%）的计算：为每个不在LHS中出现的变量j生成一重For循环

TODO:

• 确认Einstein求和式中的下标变量范围：变量r的范围是否会依赖另一个变量p？（e.g. p in [0,5), r in [0,3), p+r in [0,6)）/ 是否会生成for r = 0 to p的代码
• 词法分析RHS部分修改：引入新的Non-terminal分别表示RHS +|- RHS和RHS *|/|//|% RHS的情况
• 确认生成的C++代码是否保证Statement都在内循环里 / 是否会出现A<5,5>[i,j]=D<5,5>[i,j]+B<5,7>[i,k]*C<7,5>[k,j]的情况
• 汇报bug：BNF无法处理case10括号的情况

建议大家都安装docker跑通代码

Meeting Progress[04/25/2020]

分工

• @easypickings 给定ast, 生成kernel的主体部分
• @zhanghaoyu9931 文档, 各部分需要与其他同学交流 https://demo.codimd.org/qj5AoS6jRYuXrkhWOkV8xg?both
• @narcissusLZX 利用第三方json库, 读入并生成函数签名
• @magic3007 给定字符串生成AST