Duy-Khanh Le

Publication Activity (10 Years)

Years Active: 2012-2015
Publications (10 Years): 2

Top Topics

Formal Verification

Resource Management

Top Venues

Publications

Sergio Ruocco, Duy-Khanh Le
Efficient Persistence of Financial Transactions in NVM-based Cloud Data Centers. ICCCRI (2015)
Duy-Khanh Le, Wei-Ngan Chin, Yong Meng Teo
Threads as Resource for Concurrency Verification. PEPM (2015)
Nguyen Quang-Hung, Duy-Khanh Le, Nam Thoai, Nguyen Thanh Son
Heuristics for Energy-Aware VM Allocation in HPC Clouds. FDSE (2014)
Nguyen Quang-Hung, Nam Thoai, Nguyen Thanh Son, Duy-Khanh Le
Energy-Aware Lease Scheduling in Virtualized Data Centers. CoRR (2014)
Duy-Khanh Le, Wei-Ngan Chin, Yong Meng Teo
An Expressive Framework for Verifying Deadlock Freedom. ATVA (2013)
Duy-Khanh Le, Wei-Ngan Chin, Yong Meng Teo
Verification of Static and Dynamic Barrier Synchronization Using Bounded Permissions. ICFEM (2013)
Nguyen Quang-Hung, Nam Thoai, Nguyen Thanh Son, Duy-Khanh Le
Energy-Aware Lease Scheduling in Virtualized Data Centers. HPSC (2012)
Huu-Thien-Tan Nguyen, Duy-Khanh Le
An Approach to Improving Quality of Crawlers Using Naïve Bayes for Classifier and Hyperlink Filter. ICCCI (1) (2012)
Duy-Khanh Le, Wei-Ngan Chin, Yong Meng Teo
Variable Permissions for Concurrency Verification. ICFEM (2012)