BoundWarden: Thread-enforced spatial memory safety through compile-time transformations. - Smith Dhumbumroong; Krerk Piromsopa (Sci. Comput. Program., 2020)