Yuekang Li
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Bingwei Pengonce
- Haoyu Wangonce
- Jiaxu Zhaoonce
all 14 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| From Constraints to Cracks: Constraint Semantic Inconsistencies as | USENIX Security '25 | 2025-08-13 |
Empirical study finds over 86% of embedded-system vulnerabilities trace to mismatched input constraints across front end, back-end explicit, and back-end… | ||
| Drowzee: Metamorphic Testing for Fact-conflicting Hallucination Detection in Large(…) | OOPSLA 2024 | 2024-10-20 |
Drowzee is a logic-programming–driven metamorphic tester that crawls Wikipedia to build a KB, applies Prolog rules (negation, symmetric, inverse, transitive… | ||
| nothing matches | ||