Ctrl+K

모임 기록

모임 기록#

2024-03-03#

  • Progress Share PEP 703 by @corona10

  • 타입과 다형성(Type and Polymorphism) by @skyobserver

  • Back to the Building Blocks by @b8

2023-11-26#

  • A JIT compiler for CPython by @corona10

  • AlphaDev by @skyobserver

  • 양자컴퓨팅 by @b8

2023-09-24#

  • FuncyTuner: Auto-tuning Scientific Applications With Per-loop Compilation by @skyobserver

  • SuperOptimization by @박한범

2023-08-06#

  • ESMeta Family Overview: 기계화 명세를 이용한 자바스크립트 언어의 설계와 구현 by @flow

  • rustc bootstrapping by @b8

  • PEP 703 – Making the Global Interpreter Lock Optional In CPython by @corona10

2023-06-25#

  • rustc overview by @b8

  • Exploring a Tier 2 Interpreter for CPython by @corona10

  • PyTorch 2.0 (and 2.x) by @skyobserver

  • Rambling about libm by @yurume

  • 코드 변형 검증의 과제 by @박한범

2023-05-14#

  • MLGO: a Machine Learning Guided Compiler Optimizations Framework by @corona10

  • MOJO: a new programming language for all AI developers by @b8

  • LLVM Compiler Optimizing Pass Study by @박한범

2023-03-26#

  • Programming Language Sementics: Big-step semantics and Small-step semantics by @다믜

  • Progress of F2J.jl (Fortran to Julia Transpiler) by @skyobserver

  • CPython and LLVM-BOLT by @corona10

2023-02-05#

  • Intermediate Representations by @skyobserver

  • Optimizing Lua using run-time type specialization by @corona10

  • GCC Optimization Levels Revisited by @ㅅ_ㅅ

  • Floating Point Numbers in Programming Languages by @yurume

2022-11-27#

  • Introduction to SSA by @corona10

  • TVM: An Automated End-to-End Optimizing Compiler for Deep Learning by @skyobserver

2022-10-30#

  • Copy-and-Patch Compilation by @corona10

  • The Deep Learning Compiler: A Comprehensive Survey by @skyobserver

2022-09-25#

  • Inline Caching Meet Quickening by @corona10

  • Efficient Detection of Determinacy Races in Cilk Programs by @skyobserver

  • 카일루아 뒷이야기 by @yurume

2022-08-07#

  • Virtual Machine Warmup Blows Hot and Cold by @corona10

  • Tapir: Embedding ForkJoin Parallelism into LLVM’s Intermediate Representation by @skyobserver

  • CPU 친화적인 기법들에 대한 간단한 소개 by @ArtBlnd

2022-06-05#

  • “Faster CPython”: Past, Present and Future by @corona10

  • Multithreading in Julia by @skyobserver

  • 컴파일러의 이해 by @catry

2022-04-17#

  • Run interpreters in parallel by @corona10

  • Julia Memory Management by @skyobserver

  • SPIR-V IR Specification by @ㅅ_ㅅ

2022-03-13#

  • Python Memory Management by @skyobserver

  • DFA minimization - Hopcroft’s algorithm by @다믜

2022-02-13#

  • A History of Compiler before 1960 by @sanxiyn

  • The construction of high-performance virtual machines for dynamic languages : Abstract Machine by @corona10

  • Introduction to Julia by @skyobserver

  • Glushkov’s construction algorithm by @ㅅ_ㅅ

Note

@sanxiyn:

  • 툴킷을 공유해서 노력을 아끼자는건 좋은데 이미 CPython의 ASDL처럼 CPython만 쓰는 툴킷이 되는건 아닐까?

  • VM 구현시 스택머신을 많이 사용하는 이유가 무엇일까?

  • Julia 타입을 사용해서 코드를 최적화하는데 동적 타입 언어라서 런타임 최적화를 위한 JIT가 강제되고 그래서 스타트업이 느려서 명령행 프로그램 같은데에는 불리함이 있다.

@ArtBlnd:

  • 1960년에도 구현과 독립된 아키텍처라는 개념이 있었나?

2022-01-16#

  • BOLT:A Practical Binary Optimizer for Data Centers and Beyond by @corona10

  • 컴파일러의 이해 by @Catry

2021-12-18#

  • Introduction to MLIR by @corona10

  • 모던 CPU 아키텍처와 최적화 by @ArtBlnd

  • DFA to Turing Machine by @skyobserver

2021-11-21#

  • The construction of high-performance virtual machines for dynamic languages. : Virtual Machines by @corona10

  • Introduction to Compiler by @skyobserver

  • Formalization of Programming Languages by @다믜

Contents