Duc-Than Nguyen

According to our database, Duc-Than Nguyen authored at least 4 papers between 2015 and 2026.

Collaborative distances:

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

2026

A Formal Interface for Concurrent Search Structure Templates.

Duc-Than Nguyen, William Mansky

Proceedings of the Programming Languages and Systems, 2026

2024

Compositional Verification of Concurrent C Programs with Search Structure Templates.

Duc-Than Nguyen, Lennart Beringer, William Mansky, Shengyi Wang

Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024

2022

Compass: strong and compositional library specifications in relaxed memory separation logic.

Hoang-Hai Dang, Jaehwang Jung, Jaemin Choi, Duc-Than Nguyen, William Mansky, Jeehoon Kang, Derek Dreyer

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2015

Efficient Privacy Preserving Data Audit in Cloud.

Hai-Van Dang, Thai-Son Tran, Duc-Than Nguyen, Thach V. Bui, Dinh-Thuc Nguyen

Proceedings of the Advanced Computational Methods for Knowledge Engineering - Proceedings of 3rd International Conference on Computer Science, Applied Mathematics and Applications, 2015