fitzgen (he/him) (Jan 13 2020 at 16:49): fitzgen (he/him) (Jan 13 2020 at 16:49):https://arxiv.org/pdf/1809.02161.pdf
Nuno Lopes and John Regehr
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
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.
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: Oct 23 2024 at 20:03 UTC