Luận án Tiến sĩ Công nghệ thông tin: Hệ thống kiểu để ước lượng tĩnh tài nguyên sử dụng của chương trình giao dịch
Luận án được hoàn thành với mục tiêu nhằm giúp người lập trình viết chương trình đơn giản hơn, tuy nhiên, nếu không quản lý tốt số log được sinh ra cũng như tài nguyên tiêu thụ của chương trình thì nguy cơ xảy ra các lỗi thiếu bộ nhớ hoặc các giao dịch phải chạy lại nhiều lần làm giảm hiệu suất của chương trình. Khi đó người lập trình sẽ không yên tâm để sử dụng cơ chế này.