모임 기록

모임 기록

2025-02-02

• PyTorch Internal: Eager Mode & Graph Mode by @skyobserver
• C stdlib isn’t threadsafe and even safe Rust didn’t save us by @b8
• Tail Call Dispatch Technique by @corona10

2024-08-11

• JuliaCon 2024 리뷰 by @skyobserver
• AVX-512로 tolower() 구현하기 by @b8
• The Python Language Summit 2024 리뷰 by @corona10
• LLVM Known Bits Analysis by @박한범

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 @다믜