Xiaofan Sun
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 2 in the filters
on a stage with
- Rajiv Guptaonce
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Build Safer Modern C++ Application: Mix Assertion, Logging, Unit Testing and Fuzzing with ZeroErr | CppCon 2024 | 2024-09-15 |
ZeroErr is a header-only C++11 library that actually combines assertion, logging, unit testing and structure-aware fuzzing into one framework. Assertions log… | ||
| SSRD: Shapes and Summaries for Race Detection in Concurrent Data Structures | ISMM 2024 | 2024-06-25 |
SSRD implements summarization-guided concolic testing that generates function summaries from unit testing (capturing pointer-pointee relations and symbolic… | ||
| nothing matches | ||