1
SMT Solving on an iPhone (2018)
Why buy an expensive desktop computer when your iPhone is a faster SMT solver?
I'm a Principal Applied Scientist at Amazon Web Services, where I work on the Amazon S3 object storage service. My research spans formal methods, programming languages, and systems.
Visit cs.utexas.edu/~bornholt → On Hacker News Aug 2020 – Aug 2020
Why buy an expensive desktop computer when your iPhone is a faster SMT solver?