Duy-Khanh Le

Threads as Resource for Concurrency Verification

Wei-Ngan Chin, Yong Meng Teo, Duy-Khanh Le, 2015, PEPM.

An Approach to Improving Quality of Crawlers Using Naïve Bayes for Classifier and Hyperlink Filter

Duy-Khanh Le, Huu-Thien-Tan Nguyen, Duy-Khanh Le, 2012, ICCCI.

Heuristics for Energy-Aware VM Allocation in HPC Clouds

Nam Thoai, Nguyen Thanh Son, Nguyen Quang-Hung, 2014, FDSE.

An Expressive Framework for Verifying Deadlock Freedom

Wei-Ngan Chin, Yong Meng Teo, Duy-Khanh Le, 2013, ATVA.

Efficient Persistence of Financial Transactions in NVM-based Cloud Data Centers

Sergio Ruocco, Duy-Khanh Le, 2015, 2015 International Conference on Cloud Computing Research and Innovation (ICCCRI).

Energy-Aware Lease Scheduling in Virtualized Data Centers

Nam Thoai, Nguyen Thanh Son, Nguyen Quang-Hung, 2012, HPSC.

Verification of Static and Dynamic Barrier Synchronization Using Bounded Permissions

Wei-Ngan Chin, Yong Meng Teo, Duy-Khanh Le, 2013, ICFEM.

Variable Permissions for Concurrency Verification

Wei-Ngan Chin, Yong Meng Teo, Duy-Khanh Le, 2012, ICFEM.