Search

Your search keyword '"Sui, Yulei"' showing total 8 results

Search Constraints

Start Over You searched for: Author "Sui, Yulei" Remove constraint Author: "Sui, Yulei" Publication Type eBooks Remove constraint Publication Type: eBooks
8 results on '"Sui, Yulei"'

Search Results

1. Hash Consed Points-To Sets

2. Per-Dereference Verification of Temporal Heap Safety via Adaptive Context-Sensitive Analysis

4. Live Path CFI Against Control Flow Hijacking Attacks

5. Incremental Analysis for Probabilistic Programs

6. Self-inferencing Reflection Resolution for Java

7. Region-Based Selective Flow-Sensitive Pointer Analysis

8. SPAS: Scalable Path-Sensitive Pointer Analysis on Full-Sparse SSA

Catalog

Books, media, physical & digital resources