Duc-Than Nguyen
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 1 in the filters
on a stage with
- Lennart Beringeronce
- Shengyi Wangonce
- William Manskyonce
who talks about the same things
one talk is not yet a subject
| title | conference | date |
|---|---|---|
| Compositional Verification of Concurrent C Programs with Search Structure Templat... | CPP 2024 | 2024-01-15 |
Implements Krishna et al.’s search-structure templates inside Verified Software Toolchain (VST) to prove C implementations of fine-grained concurrent search… | ||
| nothing matches | ||