ROIFE BLOG

roife 的魔法科见闻

[形式语言] 05 Pushdown Automaton

Posted by roife on Tue, Oct 17, 2023

[形式语言] 04 Context-free Grammar

Posted by roife on Sun, Oct 15, 2023

[形式语言] 03 Regular Expression and Regular Language

Posted by roife on Sat, Sep 23, 2023

[TaPL] 16 Metatheory of Subtyping

Posted by roife on Fri, Jul 7, 2023

[TaPL] 15 Subtyping

Posted by roife on Wed, Jun 28, 2023

[PLDI'95] Global Code Motion/Global Value Numbering

Posted by roife on Wed, May 24, 2023

[CC'13] Simple and Efficient Construction of Static Single Assignment Form

Posted by roife on Fri, May 19, 2023

LLVM IR Parser

Posted by roife on Sun, Jan 8, 2023

[ICCAD'17] Reusability is FIRRTL ground: Hardware construction languages, compiler frameworks, and transformations

Posted by roife on Sun, Nov 6, 2022

[PLDI'20] LLHD: A Multi-Level Intermediate Representation for Hardware Description Languages

Posted by roife on Fri, Nov 4, 2022