Stream: cranelift

Topic: Superoptimization and future of optimizing compilers


view this post on Zulip fitzgen (he/him) (Jan 13 2020 at 16:49):

https://arxiv.org/pdf/1809.02161.pdf

Nuno Lopes and John Regehr

view this post on Zulip Pat Hickey (Jan 13 2020 at 18:14):

related - preprint from folks at KTH, they got some decent results hooking up Souper to the llvm wasm pipeline as-is https://www.monperrus.net/martin/superoptimization-wasm.pdf

view this post on Zulip fitzgen (he/him) (Jan 13 2020 at 18:53):

blogged: Synthesizing Loop-Free Programs

https://fitzgeraldnick.com/2020/01/13/synthesizing-loop-free-programs.html

This is the blog post on counterexample-guided iterative synthesis of component-based programs I talked about in today's meeting. Same technique that Souper uses at its core.

view this post on Zulip acfoltzer (Jan 13 2020 at 18:59):

ahhh very cool stuff. I did my ICFP contest attempt in 2013 using those papers and the Python Z3 bindings... Rust would've been much nicer as I actually spent most of the time trying to figure out why my Python wasn't working


Last updated: Dec 23 2024 at 12:05 UTC