ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs. - John Toman; Ren Siqi; Kohei Suenaga; Atsushi Igarashi; Naoki Kobayashi 001 (ESOP, 2020)