Duc-Than Nguyen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2022–2026
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ESOP | A Formal Interface for Concurrent Search Structure Templates. | Duc-Than Nguyen, William Mansky |
| 2024 | CPP | Compositional Verification of Concurrent C Programs with Search Structure Templates. | Duc-Than Nguyen, Lennart Beringer, William Mansky, Shengyi Wang |
| 2022 | PLDI | 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 |