A fantastic talk by Shirley Yang at the A-Mobile 2021 workshop this year. In it, she describes exciting results showing that using simple program features, you can predict path satisfiability and get a speedup for symbolic execution-type analysis. Below is a video of the presentation, and you can also just view the slides.