EasyChair Smart SlideDocs/Log in
Author: Yulei Sui

This page shows all presentations of this author published in EasyChair Smart Slide.

Fast and Precise Handling of Positive Weight Cycles for Field-sensitive Pointer Analysis

Fast and Precise Handling of Positive Weight Cycles for Field-sensitive Pointer Analysis

Yuxiang Lei and Yulei Sui

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

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

Hua Yan, Shiping Chen, Yulei Sui, Changwei Zou, Yueqian Zhang and Jingling Xue

Presentations in this collection: 2
Copyright © 2002 – 2024 EasyChair