Changming Xu
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
all 5 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Input-Relational Verification of Deep Neural Networks | PLDI 2024 | 2024-06-24 |
A verifier that reasons about multiple executions builds a DiffPoly abstract domain to track concrete and symbolic difference bounds layer by layer, produces… | ||
| Exploring Practical Vulnerabilities of Machine Learning-based Wireless Systems | NSDI 2023 | 2023-04-17 |
RAFA (RAdio Frequency Attack) implements a robust wireless UAP that models channel distortion and sample misalignment to craft over-the-air perturbations. A… | ||
| nothing matches | ||