Lazy Basic Block Versioning续 Interprocedural Type Specialization of JavaScript Programs Without Type Analysis 来自ECOOP2016，是在Simple and Effective Type Check Removal through Lazy Basic Block Versioning基础上实现的，主要将BBV扩展到interprocedura 2022-01-13 paper阅读 optimization compiler
Lazy Basic Block Versioning Simple and Effective Type Check Removal through Lazy Basic Block Versioning，这篇论文来自ECOOP2015，介绍了一种可以有效消除类型检查的技术，用于动态类型语言的JIT编译。 2022-01-03 paper阅读 type system optimization
Functional programming compiler optimization Can a functional programming language compiler optimize as well as an imperative programming language compiler in practice?在搜索FP优化的时候看到这么一个问题 2021-12-31 PL optimization
Is sound gradual typing dead 解读 Is sound gradual typing dead? 主要研究sound gradual typing在编译中的收益问题，结论认为通过gradual type来指导编译优化是一件不划算的事情。 简介动态类型语言在构建（或者生长）出复杂软件系统的时候会因为缺少可靠的类型信息而变得难以维护。一种解决方法是通过扩展语言，增量的增加类型信息。Gradual typing就是通过type annota 2021-12-01 paper阅读 type system
费力的dex字节码转换器 闲话三个多月磨磨唧唧，终于拿出了一版稍微有那么点样的开源工具–dedx。 链接https://github.com/penguin-wwy/dedx 2019-12-05 Open Source Project jvm bytecode
关于try-with-resources不知道的事 谁来背锅try-with-resource是Java 1.7中新增的，来打开资源，而无需手动关闭语法糖。官方介绍如下： The try-with-resources statement is a try statement that declares one or more resources.A resource is an object that must be closed after t 2019-06-19 Other bytecode Java
LLVM Pass从添加到执行的过程 clang的过渡要想搞清楚Pass添加和执行的过程首先要清楚如何从编译前段的clang过渡到LLVM。 当AST构建完成之后交给ASTConsumer的子类BackendConsumer处理。首先将会通过CodeGenerator来完成从AST到IR的转换。转换完成之后调用HandleTranslationUnit 2018-04-14 Compiler LLVM Compiler
赋值语句返回的原罪 今天翻看王垠的Blog，有一篇引起了我的注意 Yoda 表示法错在哪里 。 其实这是一个古老的问题，用王垠的话讲这是一个典型的“先辈的罪”（Sins of our Forefathers）。我更愿意叫它“历史遗留问题”。 2018-03-27 Other C++
C++17 string_view string_viewC++17的标准中，string_view是一个比较惊喜的东西，有机会用于字符串相关操作的优化。string_view的设计思路类似于slice，通过片段应用减少buffer的复制。 2018-01-27 C++ C++