1. 6

One of the inventors of separation logic summarizes its history, how it works, challenges it had, how it was scaled to millions of lines of code, theoretical surprises, and future directions.

  1.