| | Compilation of JavaScript to WASM, Part 3: Partial Evaluation (cfallin.org) |
| 4 points by luu 3 months ago | past |
|
| | Cranelift's Regalloc2, Used by Wasmtime and Rust (2022) (cfallin.org) |
| 1 point by fanf2 4 months ago | past |
|
| | Compiling JavaScript to WASM: partial evaluation, weval, and the first Futamura (cfallin.org) |
| 4 points by fanf2 9 months ago | past |
|
| | Correct register allocation in Cranelift by fuzzing with a symbolic checker (cfallin.org) |
| 2 points by fanf2 9 months ago | past |
|
| | Compiling JavaScript to Wasm: partial evaluation and the 1st Futamura projection (cfallin.org) |
| 3 points by fanf2 9 months ago | past |
|
| | Compilation of JavaScript to WASM, Part 3: Partial Evaluation (cfallin.org) |
| 1 point by tambourine_man 10 months ago | past |
|
| | Compilation of JavaScript to WASM, Part 3: Partial Evaluation (cfallin.org) |
| 6 points by cfallin 10 months ago | past | 1 comment |
|
| | Compilation of JavaScript to WASM, Part 2: Ahead-of-Time vs. JIT (cfallin.org) |
| 93 points by cfallin 10 months ago | past | 8 comments |
|
| | Path Generics in Rust: A Sketch Proposal for Simplicity and Generality (cfallin.org) |
| 1 point by lukastyrychtr on June 22, 2024 | past | 1 comment |
|
| | Path Generics in Rust: A Sketch Proposal for Simplicity and Generality (cfallin.org) |
| 2 points by matt_d on June 13, 2024 | past | 1 comment |
|
| | Safe flexible aliasing with deferred borrows in Rust [pdf] (cfallin.org) |
| 1 point by fanf2 on June 11, 2024 | past |
|
| | Attempt at running SpiderMonkey in a WASM module (cfallin.org) |
| 2 points by cassepipe on Oct 13, 2023 | past |
|
| | Faster JavaScript on WebAssembly: Portable Baseline Interpreter and Future Plans (cfallin.org) |
| 4 points by cfallin on Oct 11, 2023 | past |
|
| | Cranelift's Instruction Selector DSL, Isle: Term-Rewriting Made Practical (cfallin.org) |
| 14 points by ingve on Jan 21, 2023 | past | 1 comment |
|
| | Cranelift's Instruction Selector DSL, Isle: Term-Rewriting Made Practical (cfallin.org) |
| 2 points by cfallin on Jan 20, 2023 | past |
|
| | Cranelift, Part 4: A New Register Allocator (cfallin.org) |
| 156 points by cfallin on June 9, 2022 | past | 16 comments |
|
| | Cranelift, Part 3: Correctness in Register Allocation (cfallin.org) |
| 101 points by lukastyrychtr on March 19, 2021 | past | 9 comments |
|
| | Correctness in Register Allocation: Fuzzing with a Symbolic Checker (cfallin.org) |
| 2 points by ingve on March 17, 2021 | past |
|
| | Cranelift, Part 3: Correctness in Register Allocation (cfallin.org) |
| 3 points by fanf2 on March 16, 2021 | past |
|
| | Cranelift, Part 3: Correctness in Register Allocation (cfallin.org) |
| 4 points by cfallin on March 15, 2021 | past | 2 comments |
|
| | Cranelift, Part 2: Compiler Efficiency, CFGs, and a Branch Peephole Optimizer (cfallin.org) |
| 141 points by lukastyrychtr on Feb 20, 2021 | past | 18 comments |
|
| | Cranelift, Part 2: Compiler Efficiency, CFGs, and a Branch Peephole Optimizer (cfallin.org) |
| 14 points by PoignardAzur on Feb 13, 2021 | past |
|
| | Branch Peephole Optimizer (cfallin.org) |
| 1 point by sfink on Jan 25, 2021 | past |
|
| | Cranelift, Part 2: Compiler Efficiency, CFGs, and a Branch Peephole Optimizer (cfallin.org) |
| 2 points by cfallin on Jan 22, 2021 | past |
|
| | A New Back End for Cranelift: Instruction Selection (cfallin.org) |
| 108 points by goranmoomin on Sept 19, 2020 | past | 8 comments |
|
| | A New Backend for Cranelift, Part 1: Instruction Selection (cfallin.org) |
| 3 points by cfallin on Sept 18, 2020 | past |
|
