Haoyu Wang
where else to find them
no profile links on file
what they talk about
all 5 in the filters
where they keep going back
- OOPSLA2 editions2020–2024
on a stage with
- Guanqin Zhangonce
- Heming Cuionce
- Kailong Wangonce
all 16 in the filters
who talks about the same things
- Linzhang Wang6 talks
- Ke Wang11 talks
- Yu Wang16 talks
- Yulei Sui8 talks
- Hao Wang10 talks
- Mingzhe Wang3 talks
| title | conference | date |
|---|---|---|
| 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… | ||
| EVMBT: A Binary Translation Scheme for Upgrading EVM Smart Contracts to WASM | LCTES 2024 | 2024-06-24 |
EVMBT implements a binary translation pipeline that lifts EVM bytecode into LLVM IR via devirtualization of the EVM stack and resolves indirect jumps with… | ||
| BREWasm: A General Static Binary Rewriting Framework for WebAssembly | SAS 2023 | 2023-10-22 |
[SAS23] BREWasm: A General Static Binary Rewriting Framework for WebAssembly
Shangtong Cao, Ningyu He, Yao Guo, Haoyu Wang
Binary rewriting is a widely… | ||
| Flow2Vec: Value-Flow-Based Precise Code Embedding | OOPSLA 2020 | 2020-11-15 |
Builds an interprocedural value-flow graph from LLVM IR (IVFG) and uses CFL-reachability to filter only realizable call/return paths, formulates reachability… | ||
| nothing matches | ||