Weihua Zhang
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 7 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| JavART: a Lightweight Rule-Based JIT Compiler Using Translation Rules Extracted from(…) | OOPSLA 2025 | 2025-10-16 |
Prototype JIT for Android 14 uses translation rules learned offline from existing JITs, extracts ~5k rules in ~10 minutes, verifies them with symbolic… | ||
| Unleashing the Power of Learning: An Enhanced Learning-Based Approach for Dynamic Binary Translation | USENIX ATC '19 | 2019-07-10 |
Enhanced learning extracts translation rules from paired guest/host binaries, uses symbolic execution + SMT-based equivalence checking, and integrates learned… | ||
| nothing matches | ||