Login / Signup
Ngoc-Khai Nguyen
Publication Activity (10 Years)
Years Active: 2016-2022
Publications (10 Years): 3
Top Topics
Confidence Bounds
Multithreading
Speculative Execution
Multi Threaded
Top Venues
SoICT
ICTAC
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)