Synthesizing Loop-Free Programs with Rust and Z3 (2020)

Write your take first — we'll ask for email only when you're ready to publish.