Linking pages
- The Story of the Flash Fill Feature in Excel | SIGPLAN Blog https://blog.sigplan.org/2021/09/14/the-story-of-the-flash-fill-feature-in-excel/ 46 comments
- Verification Competitions – Alastair Reid – Researcher at Intel https://alastairreid.github.io/verification-competitions/ 12 comments
- Synthesizing Small Programs for Big Impact | SIGPLAN Blog https://blog.sigplan.org/2020/08/12/synthesizing-small-programs-for-big-impact/ 0 comments
- Synthesizing Loop-Free Programs with Rust and Z3 https://fitzgeraldnick.com/2020/01/13/synthesizing-loop-free-programs.html 0 comments