| | Compiling JavaScript to WASM: partial evaluation, weval, and the first Futamura (cfallin.org) |
|
4 points by fanf2 13 days ago | past | discuss
|
|
| | Correct register allocation in Cranelift by fuzzing with a symbolic checker (cfallin.org) |
|
2 points by fanf2 27 days ago | past
|
|
| | Compiling JavaScript to Wasm: partial evaluation and the 1st Futamura projection (cfallin.org) |
|
3 points by fanf2 43 days ago | past
|
|
| | Compilation of JavaScript to WASM, Part 3: Partial Evaluation (cfallin.org) |
|
1 point by tambourine_man 44 days ago | past
|
|
| | Compilation of JavaScript to WASM, Part 3: Partial Evaluation (cfallin.org) |
|
6 points by cfallin 44 days ago | past | 1 comment
|
|
| | Compilation of JavaScript to WASM, Part 2: Ahead-of-Time vs. JIT (cfallin.org) |
|
93 points by cfallin 45 days ago | past | 8 comments
|
|
| | Path Generics in Rust: A Sketch Proposal for Simplicity and Generality (cfallin.org) |
|
1 point by lukastyrychtr 3 months ago | past | 1 comment
|
|
| | Path Generics in Rust: A Sketch Proposal for Simplicity and Generality (cfallin.org) |
|
2 points by matt_d 4 months ago | past | 1 comment
|
|
| | Safe flexible aliasing with deferred borrows in Rust [pdf] (cfallin.org) |
|
1 point by fanf2 4 months ago | past
|
|
| | Attempt at running SpiderMonkey in a WASM module (cfallin.org) |
|
2 points by cassepipe 12 months ago | 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
|
|
