Calculating Statically Maximum Log Memory Used by Multi-threaded Transactional Programs. - Anh-Hoang Truong; Ngoc-Khai Nguyen; Dang Van Hung; Duc-Hanh Dang (ICTAC, 2016)

A Compositional Type Systems for Finding Log Memory Bounds of Transactional Programs. - Ngoc-Khai Nguyen; Anh-Hoang Truong (SoICT, 2017)

Finding Memory Bound of Cloned Objects in Software Transactional Memory Programs. - Ngoc-Khai Nguyen; Anh-Hoang Truong; Duc-Hanh Dang (Int. J. Softw. Eng. Knowl. Eng., 2022)