SMT paper accepted at IEEE S&P (Oakland)

https://micchie.net/files/smt-oakland26.pdf