跳转到内容
Jason's Study

编译器 / 编程语言理论 · 论文 · 第 2 组

待复核

返回论文全景索引

本分块共 27 条，稳定上限为 100 条。

论文Slug难度可信状态简介
Self / PIC — 内联缓存的诞生self-picunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
SIMULA 67 — 面向对象的诞生simula-67unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Smalltalk-80smalltalk-80unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Soufflé — 把 Datalog 编译成 C++ 让程序分析跑得动souffle-datalogunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
SSA — 静态单赋值形式ssaunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Stainless — 让编译器替你证明 Scala 函数真的满足规约stainless-2017unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Standard ML — 让编译器替你把类型补完standard-mlunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Steensgaard 指针分析 — 用等价合并把指针分析压到几乎线性steensgaard-pointerunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
STM Shavit-Touitou — 把”加锁”改成”事务”的源头stm-shavit-touitouunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Strongtalk — 可以装可以卸的 Smalltalk 类型系统strongtalkunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
System F — 让类型也能像参数一样被传递system-f-reynolds-1974unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
TASO — 让机器自己发现深度学习图重写规则taso-2019unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Template Haskell — 让 Haskell 在编译期把代码当数据玩template-haskellunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Theorems for Free — 类型签名直接给定理theorems-for-freeunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Tomita GLR — 让 LR 解析器扛得住歧义文法tomita-glrunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
TraceMonkey — 只编”真的走过的那一条路”tracemonkeyunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Trees that Grow — 可扩展的语法树设计trees-that-growunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Triton 2019 — 让 Python 写出贴近 cuBLAS 的 GPU kerneltriton-2019unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Triton — 让 Python 程序员也能写出贴近 cuBLAS 的 GPU kerneltriton-llmunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Turchin Supercompilation — 让编译器把程序模拟一遍再写回去turchin-supercompilationunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
TVM — 让一份模型能在所有硬件上跑得快tvmunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
TVM OSDI 2018 — 把 Halide 思想搬到深度学习tvm-2018unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Vellvm — 在 Coq 里给 LLVM IR 写一份机器证明的语义vellvmunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Wadler Prettier — 函数式优雅打印器wadler-prettierunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
WAM — 让 Prolog 跑得像编译型语言的抽象机器wam-warrenunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
XLA — 给 TensorFlow / JAX 装一台真正的张量编译器xla-compilerunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Z3 2008 — 把 SMT 工程化到工业默认z3-2008unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。

上一组