Shengyi Wang
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
- Duc-Than Nguyenonce
- Lennart Beringeronce
- William Manskyonce
who talks about the same things
- Qinxiang Cao8 talks
- Anshuman Mohan6 talks
- Yu Wang16 talks
- Linzhang Wang6 talks
- Yuting Wang5 talks
- Ke Wang11 talks
| 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 | ||