Ngoc-Khai Nguyen

According to our database, Ngoc-Khai Nguyen authored at least 3 papers between 2016 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2022

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

2017

A Compositional Type Systems for Finding Log Memory Bounds of Transactional Programs.

Ngoc-Khai Nguyen, Anh-Hoang Truong

Proceedings of the Eighth International Symposium on Information and Communication Technology, 2017

2016

Calculating Statically Maximum Log Memory Used by Multi-threaded Transactional Programs.

Anh-Hoang Truong, Ngoc-Khai Nguyen, Dang Van Hung, Duc-Hanh Dang

Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016