corpus.blog
41554 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a0875d-c9bf-737d-9cf6-88e5df9ff145

Cranelift, Part 3: Correctness in Register Allocation

cfallin.org · published 15 March 2021

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at cfallin.org Wayback capture
1blogs citing
First cited
13 Sept 2022
Most recent
13 Sept 2022
Rank this month
not ranked
Links from this post
51
Words captured
8,038

Cited by

Blog
In the post
Date
Nick Fitzgerald
Security and Correctness in Wasmtime Read at the source ↗
13 Sept 2022

Links from this post

Link
Host
https://github.com/bytecodealliance/wasmtime/tree/main/cranelift
github.com
https://en.wikipedia.org/wiki/Fuzzing
en.wikipedia.org
https://en.wikipedia.org/wiki/Test_oracle
en.wikipedia.org
https://github.com/bytecodealliance/regalloc.rs
github.com
https://github.com/bytecodealliance/regalloc.rs/tree/main/lib/src/checker.rs
github.com
https://en.wikipedia.org/wiki/Register_allocation
en.wikipedia.org
https://en.wikipedia.org/wiki/Just-in-time_compilation
en.wikipedia.org
https://searchfox.org/mozilla-central/rev/38ed718a101aca27db25984413c052ccd8c0ceda/js/src/jit/CacheIRCompiler.h
searchfox.org
https://en.wikipedia.org/wiki/Combinatorial_optimization
en.wikipedia.org
https://en.wikipedia.org/wiki/NP-completeness
en.wikipedia.org
https://en.wikipedia.org/wiki/Optimal_substructure
en.wikipedia.org
https://dl.acm.org/doi/10.1145/330249.330250
dl.acm.org
https://github.com/bytecodealliance/regalloc.rs/tree/main/lib/src/linear_scan
github.com
https://github.com/bytecodealliance/regalloc.rs/blob/main/lib/src/bt_main.rs
github.com
https://compcert.org/
compcert.org
https://github.com/bytecodealliance/regalloc.rs/blob/main/fuzz/fuzz_targets/bt.rs
github.com
https://github.com/google/oss-fuzz/blob/4a6021021043bddfa017df7d0aea26ad76edbba0/projects/wasmtime/build.sh
github.com
https://github.com/google/oss-fuzz/
github.com
https://en.wikipedia.org/wiki/Abstract_interpretation
en.wikipedia.org
https://github.com/bytecodealliance/regalloc.rs/blob/109455ce4cea07a6e8d87e06d200c1318605c0ea/lib/src/checker.rs
github.com
https://github.com/bytecodealliance/regalloc.rs/blob/d1956e08b5a3d6759bccf067c9739cd1a8c23be9/lib/src/checker.rs
github.com
https://en.wikipedia.org/wiki/Lattice_(order
en.wikipedia.org
https://commons.wikimedia.org/wiki/File:Hasse_diagram_of_powerset_of_3.svg
commons.wikimedia.org
https://creativecommons.org/licenses/by-sa/3.0/deed.en
creativecommons.org
https://en.wikipedia.org/wiki/Data-flow_analysis
en.wikipedia.org
https://en.wikipedia.org/wiki/Product_order
en.wikipedia.org
https://github.com/bytecodealliance/regalloc.rs/pull/86
github.com
https://searchfox.org/mozilla-central/source/js/src/jit-test/tests/wasm/ref-types/stackmaps1.js
searchfox.org
https://searchfox.org/mozilla-central/source/js/src/jit-test/tests/wasm/ref-types/stackmaps2.js
searchfox.org
https://searchfox.org/mozilla-central/source/js/src/jit-test/tests/wasm/ref-types/stackmaps3.js
searchfox.org
https://cakeml.org/
cakeml.org
https://kar.kent.ac.uk/71304/1/paper.pdf
kar.kent.ac.uk
https://dl.acm.org/doi/abs/10.1145/3192366.3192377
dl.acm.org
https://xavierleroy.org/publi/validation-regalloc.pdf
xavierleroy.org
https://homepages.dcc.ufmg.br/~fernando/publications/papers/SAS07.pdf
homepages.dcc.ufmg.br
https://github.com/bytecodealliance/rfcs/pull/8
github.com
https://bytecodealliance.zulipchat.com/
bytecodealliance.zulipchat.com
https://www.reddit.com/u/po8
reddit.com
https://www.reddit.com/r/rust/comments/m5w3y4/cranelift_part_3_correctness_in_register/gr2w3i5/
reddit.com
https://homepages.dcc.ufmg.br/~fernando/
homepages.dcc.ufmg.br
https://en.wikipedia.org/wiki/Register_renaming
en.wikipedia.org
https://en.wikipedia.org/wiki/Millennium_Prize_Problems
en.wikipedia.org
https://en.wikipedia.org/wiki/Structured_programming
en.wikipedia.org
https://link.springer.com/chapter/10.1007/978-3-642-37051-9_1
link.springer.com
https://www.di.ens.fr/~cousot/publications.www/CousotCousot-POPL-77-ACM-p238--252-1977.pdf
di.ens.fr
https://en.wikipedia.org/wiki/Gary_Kildall
en.wikipedia.org
https://dl.acm.org/doi/10.1145/512927.512945
dl.acm.org
https://en.wikipedia.org/wiki/CP/M
en.wikipedia.org
https://en.wikipedia.org/wiki/Frances_Allen
en.wikipedia.org
https://www.cs.columbia.edu/~suman/secure_sw_devel/p1-allen.pdf
cs.columbia.edu
https://en.wikipedia.org/wiki/IA-64
en.wikipedia.org