Ngoc-Khai Nguyen

Publication Activity (10 Years)

Years Active: 2016-2022
Publications (10 Years): 3

Top Topics

Confidence Bounds

Speculative Execution

Top Venues

Int. J. Softw. Eng. Knowl. Eng.

Publications

Ngoc-Khai Nguyen, Anh-Hoang Truong, Duc-Hanh Dang
Finding Memory Bound of Cloned Objects in Software Transactional Memory Programs. Int. J. Softw. Eng. Knowl. Eng. 32 (6) (2022)
Ngoc-Khai Nguyen, Anh-Hoang Truong
A Compositional Type Systems for Finding Log Memory Bounds of Transactional Programs. SoICT (2017)
Anh-Hoang Truong, Ngoc-Khai Nguyen, Dang Van Hung, Duc-Hanh Dang
Calculating Statically Maximum Log Memory Used by Multi-threaded Transactional Programs. ICTAC (2016)