8 results on '"Sui, Yulei"'
Search Results
2. Fast and Precise Handling of Positive Weight Cycles for Field-Sensitive Pointer Analysis
3. 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
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.